Aspects (Academic) > Science / Technology Aspects

Cover for Society of Automotive Engineers · Proceedings of the FISITA 2012 World Automotive Congress: Volume 13: Noise, Vibration and Harshness (NVH) - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2012)

Proceedings of the FISITA 2012 W... (2012)

Society of Automotive Engineers

Cover for Francisco V Cipolla Ficarra · Advances in New Technologies, Interactive Interfaces and Communicability: Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Advances in New Technologies, In... (2012)

Francisco V Cipolla Ficarra

Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Leveraging Applications of Forma... (2012)

Tiziana Margaria

Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Leveraging Applications of Forma... (2012)

Tiziana Margaria

Cover for Baoxiang Liu · Information Computing and Applications: Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Information Computing and Applic... (2012)

Cover for Wei Lu · Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology & Computing Intelligence - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2012)

Proceedings of the 2012 Internat... (2012)

Cover for Wei Lu · Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2012)

Proceedings of the 2012 Internat... (2012)

Cover for Klaus Pohl · Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology (Hardcover Book) [2012 edition] (2012)

Model-Based Engineering of Embed... (2012)

Cover for Michael Schn Rch · Metalation of Azines and Diazines - Topics in Heterocyclic Chemistry (Hardcover Book) [2013 edition] (2013)

Metalation of Azines and Diazine... (2013)

Michael Schn Rch

Cover for Adolfo Avella · Strongly Correlated Systems: Numerical Methods - Springer Series in Solid-State Sciences (Hardcover Book) [2013 edition] (2013)

Strongly Correlated Systems: Num... (2013)

Cover for Runhe Huang · Active Media Technology: 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

Active Media Technology: 8th Int... (2012)

Cover for Montavon Gr?goire · Neural Networks: Tricks of the Trade - Lecture Notes in Computer Science (Paperback Book) [2nd ed. 2012 edition] (2012)

2nd ed. 2012 edition

Neural Networks: Tricks of the T... (2012)

Montavon Gr?goire

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 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 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 Chunhai Fan · DNA Nanotechnology: From Structure to Function (Hardcover Book) [2013 edition] (2013)

DNA Nanotechnology: From Structu... (2013)

Cover for Gyorgy Inzelt · Handbook of Reference Electrodes (Hardcover Book) [2013 edition] (2013)

Handbook of Reference Electrodes (2013)