Aspects (Academic) > Science / Technology Aspects

Cover for Madhavan Mukund · Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Automated Technology for Verific... (2012)

Madhavan Mukund

Cover for Lindsay Groves · Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, Icfem 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceeding - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2013)

Formal Methods and Software Engi... (2013)

Cover for Li Xu · Network and System Security: 6th International Conference, Nss 2012, Wuyishan, Fujian, China, November 21-23, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2012)

Network and System Security: 6th... (2012)

Cover for Veljko Milutinovic · Guide to DataFlow Supercomputing: Basic Concepts, Case Studies, and a Detailed Example - Computer Communications and Networks (Hardcover Book) [2015 edition] (2015)

Guide to DataFlow Supercomputing... (2015)

Veljko Milutinovic

Cover for Palm Kalifa · Thermodestruction D'ef Uents Gazeux (Paperback Book) (2018)

Thermodestruction D'ef Uents Gazeux (2018)

Cover for Muhammad Ali Babar · Software Architecture Knowledge Management: Theory and Practice (Paperback Book) [2009 edition] (2014)

Software Architecture Knowledge ... (2014)

Muhammad Ali Babar

Cover for Jose Manuel Ferrandez Vicente · Natural and Artificial Models in Computation and Biology: 5th International Work-conference on the Interplay Between Natural and Artificial Computation, Iwinac 2013, Mallorca, Spain, June 10-14, 2013. Proceedings - Lecture Notes in Computer Science (Paperback Book) (2013)

Natural and Artificial Models in... (2013)

Jose Manuel Ferrandez Vicente

Cover for G Alan Wang · Intelligence and Security Informatics: Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Intelligence and Security Inform... (2013)

Cover for Bahman Zohuri · Dimensional Analysis and Self-Similarity Methods for Engineers and Scientists (Hardcover Book) [2015 edition] (2015)

Dimensional Analysis and Self-Si... (2015)

Cover for Erwin Stein · The History of Theoretical, Material and Computational Mechanics - Mathematics Meets Mechanics and Engineering - Lecture Notes in Applied Mathematics and Mechanics (Paperback Book) [2014 edition] (2013)

The History of Theoretical, Mate... (2013)

Cover for Tatiana Tropina · Self and Co regulation in Cybercrime Cybersecurity and National Security (Book) [2015 edition] (2015)

Self and Co regulation in Cyberc... (2015)

Tatiana Tropina

Cover for Maciej Koutny · Transactions on Petri Nets and Other Models of Concurrency VIII - Transactions on Petri Nets and Other Models of Concurrency (Paperback Book) [2013 edition] (2013)

Transactions on Petri Nets and O... (2013)

Cover for Takashi Washio · Emerging Trends in Knowledge Discovery and Data Mining: Pakdd 2012 International Workshops: Dmhm, Geodoc, 3clust, and Dsdm, Kuala Lumpur, Malaysia, May 29 - June 1, 2012, Revised Selected Papers - Lecture Notes in Computer Science / Lecture Notes in Artif (Paperback Book) (2013)

Emerging Trends in Knowledge Dis... (2013)

Cover for Johannes Gerstmayr · Multibody System Dynamics, Robotics and Control (Hardcover Book) [2013 edition] (2013)

Multibody System Dynamics, Robot... (2013)

Johannes Gerstmayr

Cover for Elettra Venosa · Software Radio: Sampling Rate Selection, Design and Synchronization - Analog Circuits and Signal Processing (Hardcover Book) [2012 edition] (2011)

Software Radio: Sampling Rate Se... (2011)

Cover for Kohei Arai · Intelligent Systems in Science and Information 2014 - Studies in Computational Intelligence (Hardcover Book) [2015 edition] (2015)

Intelligent Systems in Science a... (2015)

Cover for Alvaro Moreno · Biological Autonomy: A Philosophical and Theoretical Enquiry - History, Philosophy and Theory of the Life Sciences (Hardcover Book) [2015 edition] (2015)

Biological Autonomy: A Philosoph... (2015)

Cover for Margunn Aanestad · Nordic Contributions in IS Research: 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013, Proceedings - Lecture Notes in Business Information Processing (Paperback Book) [2013 edition] (2013)

Nordic Contributions in IS Resea... (2013)

Margunn Aanestad

Cover for Jan Schaffner · Multi Tenancy for Cloud-Based In-Memory Column Databases: Workload Management and Data Placement - In-Memory Data Management Research (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2015)

Softcover reprint of the original 1st ed. 2014 edition

Multi Tenancy for Cloud-Based In... (2015)

Cover for Kan Zheng · Mobile and Ubiquitous Systems: Computing, Networking, and Services: 9th International Conference, Mobiquitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers - Lecture Notes of the Institute for Computer Sciences, Social-informatics an (Paperback Book) (2013)

Mobile and Ubiquitous Systems: C... (2013)

Cover for Mihaela Gadjeva · The Complement System: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [2014 edition] (2013)

The Complement System: Methods a... (2013)

Mihaela Gadjeva

Cover for Jan Jurjens · Engineering Secure Software and Systems: 5th International Symposium, Essos 2013, Paris, France, February 27 - March 1, 2013 : Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2013)

Engineering Secure Software and ... (2013)

Cover for Rainer Mahrwald · Modern Organocatalyzed Methods in Carbohydrate Chemistry - SpringerBriefs in Molecular Science (Paperback Book) [2015 edition] (2015)

Modern Organocatalyzed Methods i... (2015)

Rainer Mahrwald

Cover for Carman Neustaedter · Connecting Families: The Impact of New Communication Technologies on Domestic Life (Paperback Book) [2013 edition] (2014)

Connecting Families: The Impact ... (2014)

Carman Neustaedter

Cover for Bonnet Jean Pierre · Pedagogies Sportives (Paperback Book) (2018)

Pedagogies Sportives (2018)

Bonnet Jean Pierre

Cover for Bob Coecke · Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Computation, Logic, Games, and Q... (2013)

Cover for Xiao Liu · The Design of Cloud Workflow Systems - Springerbriefs in Computer Science (Paperback Book) (2011)

The Design of Cloud Workflow Sys... (2011)

Cover for Miguel Mujica Mota · Applied Simulation and Optimization: In Logistics, Industrial and Aeronautical Practice (Hardcover Book) [2015 edition] (2015)

Applied Simulation and Optimizat... (2015)

Miguel Mujica Mota

Cover for Juha K Rkk Inen · Combinatorial Pattern Matching - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2012)

Combinatorial Pattern Matching -... (2012)

Juha K Rkk Inen

Cover for Mainak Chatterjee · Distributed Computing and Networking: 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) (2013)

Distributed Computing and Networ... (2013)

Mainak Chatterjee

1
71
72
73
74
165