Aspects (Academic) > Science / Technology Aspects

Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Theoretical Computer Science and General (Pocketbok) [2014 edition] (2014)

Leveraging Applications of Forma... (2014)

Tiziana Margaria

Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and (Pocketbok) [2014 edition] (2014)

Leveraging Applications of Forma... (2014)

Tiziana Margaria

Cover for Zhongzhi Shi · Intelligent Information Processing VII: 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings - IFIP Advances in Information and Communication Technology (Innbunden bok) [2014 edition] (2014)

Intelligent Information Processi... (2014)

Cover for Alexander Kott · Cyber Defense and Situational Awareness - Advances in Information Security (Innbunden bok) (2015)

Cyber Defense and Situational Aw... (2015)

Cover for Cetin Kaya Koc · Open Problems in Mathematics and Computational Science (Innbunden bok) [2014 edition] (2015)

Open Problems in Mathematics and... (2015)

Cover for Kumaran Narayanan · Bacterial Artificial Chromosomes - Methods in Molecular Biology (Innbunden bok) [2nd ed. 2015 edition] (2014)

2nd ed. 2015 edition

Bacterial Artificial Chromosomes... (2014)

Kumaran Narayanan

Cover for Alan C Love · Conceptual Change in Biology: Scientific and Philosophical Perspectives on Evolution and Development - Boston Studies in the Philosophy and History of Science (Innbunden bok) [2015 edition] (2014)

Conceptual Change in Biology: Sc... (2014)

Cover for Carlos M Palmeira · Mitochondrial Regulation: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) (2014)

Mitochondrial Regulation: Method... (2014)

Carlos M Palmeira

Cover for Shondra M Pruett-miller · Chromosomal Mutagenesis - Methods in Molecular Biology (Innbunden bok) [2nd ed. 2015 edition] (2014)

2nd ed. 2015 edition

Chromosomal Mutagenesis - Method... (2014)

Shondra M Pruett-miller

Cover for Bruce G Allen · Nuclear G-Protein Coupled Receptors: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [2015 edition] (2014)

Nuclear G-Protein Coupled Recept... (2014)

Cover for Janine Cossy · Synthesis of Saturated Oxygenated Heterocycles II: 7- to 16-Membered Rings - Topics in Heterocyclic Chemistry (Innbunden bok) [2014 edition] (2014)

Synthesis of Saturated Oxygenate... (2014)

Cover for Nicolas Christin · Financial Cryptography and Data Security: 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2014 edition] (2014)

Financial Cryptography and Data ... (2014)

Nicolas Christin

Cover for Chittaranjan Hota · Distributed Computing and Internet Technology: 9th International Conference, Icdcit 2013, Bhubaneshwar, India, February 5-8, 2013: Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Pocketbok) (2013)

Distributed Computing and Intern... (2013)

Chittaranjan Hota

Cover for Martin Atzmueller · Modeling and Mining Ubiquitous Social Media: International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers - Lecture Notes in Artificial Intelligence (Pocketbok) [2012 edition] (2012)

Modeling and Mining Ubiquitous S... (2012)

Martin Atzmueller

Cover for Dr. Mark J. Jackson · High Performance Grinding and Advanced Cutting Tools - Springerbriefs in Applied Sciences and Technology (Pocketbok) (2012)

High Performance Grinding and Ad... (2012)

Dr. Mark J. Jackson

Cover for Alejandro Hevia · Progress in Cryptology - Latincrypt 2012: 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10 2012 : Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Pocketbok) (2012)

Progress in Cryptology - Latincr... (2012)

Alejandro Hevia

Cover for John Hock Lye Pang · Lead Free Solder: Mechanics and Reliability (Innbunden bok) (2011)

Lead Free Solder: Mechanics and ... (2011)

John Hock Lye Pang

Cover for Johannes Furnkranz · Discovery Science: 16th International Conference, Ds 2013, Singapore, October 6-9, 2013, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Pocketbok) (2013)

Discovery Science: 16th Internat... (2013)

Johannes Furnkranz

Cover for Peter J Verveer · Advanced Fluorescence Microscopy: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [2015 edition] (2014)

Advanced Fluorescence Microscopy... (2014)

Peter J Verveer

Cover for Ying Tan · Advances in Swarm Intelligence - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Pocketbok) (2013)

Advances in Swarm Intelligence -... (2013)

Cover for Fabio Patern · Ambient Intelligence: Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2012 edition] (2012)

Ambient Intelligence: Third Inte... (2012)

Cover for Peng Zhou · Computational Peptidology - Methods in Molecular Biology (Innbunden bok) [2015 edition] (2015)

Computational Peptidology - Meth... (2015)

Cover for Michael N. Fried · Edmond Halley's Reconstruction of the Lost Book of Apollonius's Conics: Translation and Commentary - Sources and Studies in the History of Mathematics and Physical Sciences (Innbunden bok) [2012 edition] (2011)

Edmond Halley's Reconstruction o... (2011)

Michael N. Fried

Cover for Minho Lee · Neural Information Processing: 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III - Theoretical Computer Science and General Issues (Pocketbok) [2013 edition] (2013)

Neural Information Processing: 2... (2013)

Cover for Khabib Mustofa · Information and Communication Technology: International Conference, Ict-eurasia 2013, Yogyakarta, Indonesia, March 25-29, 2013, Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Pocketbok) (2013)

Information and Communication Te... (2013)

Cover for Michael R Berthold · Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications - Lecture Notes in Computer Science (Pocketbok) [2012 edition] (2012)

Bisociative Knowledge Discovery:... (2012)

Michael R Berthold

Cover for Walter Binder · Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings - Programming and Software Engineering (Pocketbok) [2013 edition] (2013)

Software Composition: 12th Inter... (2013)

Cover for Enrique Ortega-Rivas · Non-thermal Food Engineering Operations - Food Engineering Series (Innbunden bok) [2012 edition] (2012)

Non-thermal Food Engineering Ope... (2012)

Enrique Ortega-Rivas

Cover for Bjoern H Menze · Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers - Image Processing, Computer Vision, Pattern Recognition, and Graph (Pocketbok) [2013 edition] (2013)

Medical Computer Vision: Recogni... (2013)

Cover for Mingsong Chen · System-Level Validation: High-Level Modeling and Directed Test Generation Techniques (Pocketbok) (2014)

System-Level Validation: High-Le... (2014)

1
50
51
52
53
165