Aspects (Academic) > Science / Technology Aspects

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

DNA Nanotechnology: From Structu... (2013)

Cover for Alessandro Minelli · Arthropod Biology and Evolution: Molecules, Development, Morphology (Hardcover Book) [2013 edition] (2013)

Arthropod Biology and Evolution:... (2013)

Alessandro Minelli

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

Handbook of Reference Electrodes (2013)

Cover for Catherine Belzung · Neurogenesis and Neural Plasticity - Current Topics in Behavioral Neurosciences (Hardcover Book) [2013 edition] (2013)

Neurogenesis and Neural Plastici... (2013)

Catherine Belzung

Cover for Peters, James F, III · Transactions on Rough Sets XVI - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Transactions on Rough Sets XVI -... (2013)

Peters, James F, III

Cover for Susheel Kalia · Polysaccharide Based Graft Copolymers (Hardcover Book) [2013 edition] (2013)

Polysaccharide Based Graft Copol... (2013)

Cover for Evangelia Mitleton-kelly · Co-evolution of Intelligent Socio-technical Systems: Modelling and Applications in Large Scale Emergency and Transport Domains - Understanding Complex Systems (Hardcover Book) [2013 edition] (2013)

Co-evolution of Intelligent Soci... (2013)

Evangelia Mitleton-kelly

Cover for Jian Yang · Intelligent Science and Intelligent Data Engineering: Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Intelligent Science and Intellig... (2013)

Cover for Maria Paola Bonacina · Automated Reasoning and Mathematics: Essays in Memory of William W. McCune - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Automated Reasoning and Mathemat... (2013)

Maria Paola Bonacina

Cover for Nir Piterman · Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lect (Paperback Book) [2013 edition] (2013)

Tools and Algorithms for the Con... (2013)

Cover for Erzsebet Csuhaj-varju · Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Membrane Computing: 13th Interna... (2013)

Erzsebet Csuhaj-varju

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 Angelos D Keromytis · Security and Privacy in Communication Networks: 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunication (Paperback Book) [2013 edition] (2013)

Security and Privacy in Communic... (2013)

Angelos D Keromytis

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 Chittaranjan Kole · Genomics and Breeding for Climate-Resilient Crops: Vol. 1 Concepts and Strategies (Hardcover Book) [2013 edition] (2013)

Genomics and Breeding for Climat... (2013)

Chittaranjan Kole

Cover for Ana Fred · Knowledge Discovery, Knowledge Engineering and Knowledge Management: Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers - Communications in Computer and Information Science (Paperback Book) [2013 edition] (2013)

Knowledge Discovery, Knowledge E... (2013)

Cover for Manuel Grana · Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Knowledge Engineering, Machine L... (2013)

Cover for Robert Trappl · Your Virtual Butler: The Making-of - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Your Virtual Butler: The Making-... (2013)

Cover for Jiadong Sun · China Satellite Navigation Conference (CSNC) 2013 Proceedings: BeiDou / GNSS Navigation Applications * Test & Assessment Technology * User Terminal Technology - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2013)

China Satellite Navigation Confe... (2013)