Aspects (Academic) > Science / Technology Aspects

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 P K Giri · Advanced Nanomaterials and Nanotechnology: Proceedings of the 2nd International Conference on Advanced Nanomaterials and Nanotechnology, Dec 8-10, 2011, Guwahati, India - Springer Proceedings in Physics (Hardcover Book) [2013 edition] (2013)

Advanced Nanomaterials and Nanot... (2013)

Cover for Toshiji Kanaya · Glass Transition, Dynamics and Heterogeneity of Polymer Thin Films - Advances in Polymer Science (Hardcover Book) [2013 edition] (2012)

Glass Transition, Dynamics and H... (2012)

Cover for Alessandro Sarti · Neuromathematics of Vision - Lecture Notes in Morphogenesis (Hardcover Book) [2014 edition] (2014)

Neuromathematics of Vision - Lec... (2014)

Alessandro Sarti

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 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