Aspects (Academic) > Science / Technology Aspects

Cover for Chris Hawblitzel · Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Certified Programs and Proofs: S... (2012)

Chris Hawblitzel

Cover for Jose Bravo · Ubiquitous Computing and Ambient Intelligence: 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Ubiquitous Computing and Ambient... (2012)

Cover for Karl Aberer · Social Informatics: 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Social Informatics: 4th Internat... (2012)

Cover for Yuhang Yang · Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 5 - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2013)

Proceedings of the 2nd Internati... (2013)

Cover for Yuhang Yang · Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 1 - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2013)

Proceedings of the 2nd Internati... (2013)

Cover for Yuhang Yang · Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 4 - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2013)

Proceedings of the 2nd Internati... (2013)

Cover for Hector Zenil · Irreducibility and Computational Equivalence: 10 Years After Wolfram's A New Kind of Science - Emergence, Complexity and Computation (Hardcover Book) [2013 edition] (2012)

Irreducibility and Computational... (2012)

Cover for Gary T Leavens · Transactions on Aspect-Oriented Software Development IX - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Transactions on Aspect-Oriented ... (2012)

Cover for Shaz Qadeer · Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Runtime Verification: Third Inte... (2013)

Cover for Aldo G S Ventre · Multicriteria and Multiagent Decision Making with Applications to Economics and Social Sciences - Studies in Fuzziness and Soft Computing (Hardcover Book) [2013 edition] (2013)

Multicriteria and Multiagent Dec... (2013)

Aldo G S Ventre

Cover for Shipeng Li · Advances in Multimedia Modeling: 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Advances in Multimedia Modeling:... (2013)

Cover for Shipeng Li · Advances in Multimedia Modeling: 19th International Conference, MMM 2012, Huangshan, China, January 7-9, 2012, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Advances in Multimedia Modeling:... (2013)

Cover for Kiriakos N Kutulakos · Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Trends and Topics in Computer Vi... (2012)

Kiriakos N Kutulakos

Cover for Bertrand Meyer · Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Tools for Practical Software Ver... (2012)

Cover for Heather D Pfeiffer · Conceptual Structures for Discovering Knowledge: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Conceptual Structures for Discov... (2013)

Heather D Pfeiffer

Cover for Marina Gavrilova · Transactions on Computational Science XVII - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Transactions on Computational Sc... (2013)

Marina Gavrilova

Cover for Roberto Giacobazzi · Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Verification, Model Checking, an... (2013)

Roberto Giacobazzi

Cover for Bernhard Beckert · Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Formal Methods for Components an... (2013)

Bernhard Beckert

Cover for Samares Kar · High Permittivity Gate Dielectric Materials - Springer Series in Advanced Microelectronics (Hardcover Book) (2013)

High Permittivity Gate Dielectri... (2013)

Cover for Carl-fredrik Mandenius · Measurement, Monitoring, Modelling and Control of Bioprocesses - Advances in Biochemical Engineering / Biotechnology (Hardcover Book) [2013 edition] (2013)

Measurement, Monitoring, Modelli... (2013)

Carl-fredrik Mandenius

Cover for Gourab Ghoshal · Complex Networks IV: Proceedings of the 4th Workshop on Complex Networks CompleNet 2013 - Studies in Computational Intelligence (Hardcover Book) [2013 edition] (2013)

Complex Networks IV: Proceedings... (2013)

Cover for Anshuman Khare · Mitigating Climate Change: The Emerging Face of Modern Cities - Springer Environmental Science and Engineering (Hardcover Book) [2013 edition] (2013)

Mitigating Climate Change: The E... (2013)

Cover for Dinesh K Maheshwari · Bacteria in Agrobiology: Crop Productivity (Hardcover Book) [2013 edition] (2013)

Bacteria in Agrobiology: Crop Pr... (2013)

Dinesh K Maheshwari

Cover for Guenther Witzany · Viruses: Essential Agents of Life (Paperback Book) [2012 edition] (2014)

Viruses: Essential Agents of Life (2014)

Guenther Witzany

Cover for Joseph Seckbach · Polyextremophiles: Life Under Multiple Forms of Stress - Cellular Origin, Life in Extreme Habitats and Astrobiology (Paperback Book) [2013 edition] (2015)

Polyextremophiles: Life Under Mu... (2015)

Joseph Seckbach

Cover for Andre Preumont · Twelve Lectures on Structural Dynamics - Solid Mechanics and Its Applications (Paperback Book) [2013 edition] (2015)

Twelve Lectures on Structural Dy... (2015)

Cover for George Dobre · Power Transmissions: Proceedings of the 4th International Conference, held at Sinaia, Romania, June 20 -23, 2012 - Mechanisms and Machine Science (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2015)

Softcover reprint of the original 1st ed. 2013 edition

Power Transmissions: Proceedings... (2015)

Cover for Jan Tolleneer · Athletic Enhancement, Human Nature and Ethics: Threats and Opportunities of Doping Technologies - International Library of Ethics, Law, and the New Medicine (Paperback Book) [2013 edition] (2015)

Athletic Enhancement, Human Natu... (2015)

Cover for Makoto Fujiwara · LEAP 2011: Proceedings 10th International Conference on Low Energy Antiproton Physics (Paperback Book) [2013 edition] (2015)

LEAP 2011: Proceedings 10th Inte... (2015)

Makoto Fujiwara

Cover for Ying Fu · Physical Models of Semiconductor Quantum Devices (Paperback Book) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)

Softcover reprint of the original 2nd ed. 2014 edition

Physical Models of Semiconductor... (2015)