Aspects (Academic) > Science / Technology Aspects

Cover for Reiner H Hnle · Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers - Communications in Computer (Paperback Book) [2012 edition] (2012)

Leveraging Applications of Forma... (2012)

Cover for Steve Liang · Web and Wireless Geographical Information Systems: 12th International Symposium, W2GIS 2013, Banff, Canada, April 4-5, 2013, Proceedings - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2013 edition] (2013)

Web and Wireless Geographical In... (2013)

Cover for Weidong Huang · Human Factors in Augmented Reality Environments (Paperback Book) [2013 edition] (2014)

Human Factors in Augmented Reali... (2014)

Cover for Grant N Pierce · Advanced Bioactive Compounds Countering the Effects of Radiological, Chemical and Biological Agents: Strategies to Counter Biological Damage - NATO Science for Peace and Security Series A: Chemistry and Biology (Paperback Book) [2013 edition] (2013)

Advanced Bioactive Compounds Cou... (2013)

Cover for Weixia Xu · Computer Engineering and Technology: 17th National Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers - Communications in Computer and Information Science (Paperback Book) [2013 edition] (2013)

Computer Engineering and Technol... (2013)

Cover for Minho Lee · Neural Information Processing: 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II - Theoretical Computer Science and General Issues (Paperback Book) [2013 edition] (2013)

Neural Information Processing: 2... (2013)

Cover for Nelson Tang · Chemical Diagnostics: From Bench to Bedside - Topics in Current Chemistry (Hardcover Book) [2014 edition] (2013)

Chemical Diagnostics: From Bench... (2013)

Cover for Poika Isokoski · Haptics: Perception, Devices, Mobility, and Communication: 8th International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part II - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2012 edition] (2012)

Haptics: Perception, Devices, Mo... (2012)

Cover for Uma Lakshmipathy · Pluripotent Stem Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [2013 edition] (2013)

Pluripotent Stem Cells: Methods ... (2013)

Uma Lakshmipathy

Cover for Tibor Bosse · Human Aspects in Ambient Intelligence: Contemporary Challenges and Solutions - Atlantis Ambient and Pervasive Intelligence (Hardcover Book) [2013 edition] (2013)

Human Aspects in Ambient Intelli... (2013)

Cover for Gilles Barthe · Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Formal Methods for Open Object-B... (2008)

Cover for Mihail Barboiu · Constitutional Dynamic Chemistry - Topics in Current Chemistry (Hardcover Book) (2012)

Constitutional Dynamic Chemistry... (2012)

Cover for Xiaolin Li · Cloud Computing for Data-intensive Applications (Hardcover Book) (2014)

Cloud Computing for Data-intensi... (2014)

Cover for Purang Abolmaesumi · Information Processing in Computer Assisted Interventions: Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012, Proceedings - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) [2012 edition] (2012)

Information Processing in Comput... (2012)

Purang Abolmaesumi

Cover for Andrei Voronkov · Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues (Paperback Book) [2013 edition] (2013)

Programming Logics: Essays in Me... (2013)

Andrei Voronkov

Cover for Ali Selamat · Intelligent Information and Database Systems: 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Intelligent Information and Data... (2013)

Cover for Alexander Gelbukh · Computational Linguistics and Intelligent Text Processing: 14th International Conference, Cicling 2013, Samos, Greece, March 24-30, 2013 : Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) [Annotated edition] (2013)

Annotated edition

Computational Linguistics and In... (2013)

Alexander Gelbukh

Cover for Thomas Roefer · RoboCup 2011: Robot Soccer World Cup XV - Lecture Notes in Artificial Intelligence (Paperback Book) [2012 edition] (2012)

RoboCup 2011: Robot Soccer Worl... (2012)

Cover for Maria Angeles Fernandez-izquierdo · Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2013, Castellon de la Plana, Spain, June 6-7, 2013, Proceedings - Lecture Notes in Business Information Processing (Paperback Book) [2013 edition] (2013)

Modeling and Simulation in Engin... (2013)

Maria Angeles Fernandez-izquierdo

Cover for Vipul Jain · Automotive Radar Sensors in Silicon Technologies (Hardcover Book) (2012)

Automotive Radar Sensors in Sili... (2012)

Cover for Doug Lea · Coordination Models and Languages: 10th International Conference, Coordination 2008, Oslo, Norway, June 4-6, 2008, Proceedings - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2008)

Coordination Models and Language... (2008)

Cover for Giuseppe Da Prato · Hyperbolicity: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.i.m.e.) Held in Cortona (Arezzo), Italy, June 24 - July 2, 1976 - Cime Summer Schools (Paperback Book) (2012)

Hyperbolicity: Lectures Given at... (2012)

Giuseppe Da Prato

Cover for Jens Palsberg · Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)

Semantics and Algebraic Specific... (2009)

Cover for Ying Tan · Advances in Swarm Intelligence: Third International Conference, Icsi 2012, Shenzhen, China, June 17-20, 2012, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2012)

Advances in Swarm Intelligence: ... (2012)

Cover for Michel Abdalla · Pairing-based Cryptography -- Pairing 2012: 5th International Conference, Cologne, Germany, May 16-18, 2012 : Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2013)

Pairing-based Cryptography -- Pa... (2013)

Cover for Lingyang Song · Resource Management for Device-to-device Underlay Communication - Springerbriefs in Computer Science (Paperback Book) (2013)

Resource Management for Device-t... (2013)

Cover for Dietmar Hildenbrand · Foundations of Geometric Algebra Computing - Geometry and Computing (Paperback Book) [2013 edition] (2015)

Foundations of Geometric Algebra... (2015)

Dietmar Hildenbrand

Cover for Christian Enz · MEMS-based Circuits and Systems for Wireless Communication - Integrated Circuits and Systems (Hardcover Book) (2012)

MEMS-based Circuits and Systems ... (2012)

Cover for Simon G Sprecher · Brain Development: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [2014 edition] (2013)

Brain Development: Methods and P... (2013)

Simon G Sprecher

Cover for Karen M Polizzi · Synthetic Biology - Methods in Molecular Biology (Hardcover Book) [2013 edition] (2013)

Synthetic Biology - Methods in M... (2013)

Karen M Polizzi

1
69
70
71
72
165