Aspects (Academic) > Science / Technology Aspects

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 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 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 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 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 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 Andrea Eugenio Cavanna · Neuroimaging of Consciousness (Hardcover Book) [2013 edition] (2013)

Neuroimaging of Consciousness (2013)

Andrea Eugenio Cavanna

Cover for Weihua Tang · Modified Cyclodextrins for Chiral Separation (Hardcover Book) [2013 edition] (2013)

Modified Cyclodextrins for Chira... (2013)

Cover for Gerhard Erker · Frustrated Lewis Pairs II: Expanding the Scope - Topics in Current Chemistry (Hardcover Book) [2013 edition] (2013)

Frustrated Lewis Pairs II: Expan... (2013)

Cover for Jens Blauert · The Technology of Binaural Listening - Modern Acoustics and Signal Processing (Hardcover Book) [2013 edition] (2013)

The Technology of Binaural Liste... (2013)

Cover for Ildar Batyrshin · Advances in Computational Intelligence: 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part II - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Advances in Computational Intell... (2013)

Ildar Batyrshin

Cover for Ildar Batyrshin · Advances in Artificial Intelligence: 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Advances in Artificial Intellige... (2013)

Ildar Batyrshin

Cover for Matteo Baldoni · Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Declarative Agent Languages and ... (2013)

Cover for Philipp Cimiano · The Semantic Web: Semantics and Big Data: 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings - Lecture Notes in Computer Science (Paperback Book) (2013)

The Semantic Web: Semantics and ... (2013)

Philipp Cimiano

Cover for Zengqi Sun · Proceedings of 2013 Chinese Intelligent Automation Conference: Intelligent Information Processing - Lecture Notes in Electrical Engineering (Hardcover Book) [2013 edition] (2013)

Proceedings of 2013 Chinese Inte... (2013)

Cover for Dean Barratt · Information Processing in Computer-Assisted Interventions: 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Information Processing in Comput... (2013)

Cover for Jose-manuel Colom · Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Application and Theory of Petri ... (2013)

Jose-manuel Colom

Cover for Ding-zhu Du · Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Computing and Combinatorics: 19t... (2013)

Cover for Marina L Gavrilova · Transactions on Computational Science XVIII: Special Issue on Cyberworlds - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Transactions on Computational Sc... (2013)

Marina L Gavrilova