Publishers Springer-Verlag Berlin and Heidelberg Gm

Cover for Frank Tr Ger · Springer Handbook of Lasers and Optics (Book) [2nd ed. 2012 edition] (2012)

2nd ed. 2012 edition

Springer Handbook of Lasers and ... (2012)

Cover for Luca Prodi · Luminescence Applied in Sensor Science - Topics in Current Chemistry (Hardcover Book) [2011 edition] (2011)

Luminescence Applied in Sensor S... (2011)

Cover for Sumeet Dua · Information Intelligence, Systems, Technology and Management: 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011. Proceedings - Communications in Computer and Information Science (Paperback Book) (2011)

Information Intelligence, System... (2011)

Cover for Alexander Gelbukh · Computational Linguistics and Intelligent Text Processing: 12th International Conference, Cicling 2011, Tokyo, Japan, February 20-26, 2011. Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Computational Linguistics and In... (2011)

Alexander Gelbukh

Cover for Brian Malloy · Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2011)

Software Language Engineering: T... (2011)

Cover for Dietlinde Lau · Algebra Und Diskrete Mathematik 1 (Paperback Book) [3rd 3., Korr. U. Erw. Aufl. 2011 edition] (2011)

3rd 3., Korr. U. Erw. Aufl. 2011 edition

Algebra Und Diskrete Mathematik 1 (2011)

Cover for Juval Portugali · Complexity, Cognition and the City - Understanding Complex Systems (Hardcover Book) [2011 edition] (2011)

Complexity, Cognition and the Ci... (2011)

Juval Portugali

Cover for Volker a Erdmann · Non Coding RNAs in Plants - RNA Technologies (Hardcover Book) [2011 edition] (2011)

Non Coding RNAs in Plants - RNA ... (2011)

Volker a Erdmann

Cover for Bing Liu · Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data - Data-Centric Systems and Applications (Hardcover Book) [2nd ed. 2011 edition] (2011)

2nd ed. 2011 edition

Web Data Mining: Exploring Hyper... (2011)

Cover for Liqiu Wang · Advances in Transport Phenomena: 2010 - Advances in Transport Phenomena (Hardcover Book) [2010 edition] (2011)

Advances in Transport Phenomena:... (2011)

Cover for Michael Hulsmann · Autonomous Cooperation and Control in Logistics: Contributions and Limitations - Theoretical and Practical Perspectives (Hardcover Book) [2011 edition] (2011)

Autonomous Cooperation and Contr... (2011)

Michael Hulsmann

Cover for Shengming Ma · Asymmetric Catalysis from a Chinese Perspective - Topics in Organometallic Chemistry (Hardcover Book) (2011)

Asymmetric Catalysis from a Chin... (2011)

Cover for Andreas Koch · Reconfigurable Computing: Architectures, Tools and Applications: 7th International Symposium, Arc 2011, Belfast, Uk, March 23-25, 2011, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Reconfigurable Computing: Archit... (2011)

Cover for Reinhard F H Ttl · Globaler Wandel Und Regionale Entwicklung: Anpassungsstrategien in Der Region Berlin-Brandenburg (Hardcover Book) [2011 edition] (2011)

Globaler Wandel Und Regionale En... (2011)

Reinhard F H Ttl

Cover for Manfred Heße · Wettbewerbsrecht - Schnell erfasst - Recht - schnell erfasst (Paperback Book) [2. Aufl. 2011 edition] (2011)

2. Aufl. 2011 edition

Wettbewerbsrecht - Schnell erfas... (2011)

Cover for Rainer Muche · Medizinische Statistik mit R und Excel: Einfuhrung in die RExcel- und R-Commander-Oberflachen zur statistischen Auswertung - Springer-Lehrbuch (Paperback Book) [2011 edition] (2011)

Medizinische Statistik mit R und... (2011)

Cover for Javier Larrosa · Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Recent Advances in Constraints: ... (2011)

Cover for Gunnar Floystad · Combinatorial Aspects of Commutative Algebra and Algebraic Geometry: The Abel Symposium 2009 - Abel Symposia (Hardcover Book) (2011)

Combinatorial Aspects of Commuta... (2011)

Gunnar Floystad

Cover for Bertil Gustafsson · Fundamentals of Scientific Computing - Texts in Computational Science and Engineering (Hardcover Book) (2011)

Fundamentals of Scientific Compu... (2011)

Bertil Gustafsson

Cover for Franz-Xaver Kaufmann · Thinking About Social Policy: The German Tradition - German Social Policy (Hardcover Book) (2012)

Thinking About Social Policy: Th... (2012)

Franz-Xaver Kaufmann

Cover for Gert Heinrich · Advanced Rubber Composites - Advances in Polymer Science (Hardcover Book) [2011 edition] (2011)

Advanced Rubber Composites - Adv... (2011)

Cover for Hermann-josef Blanke · The European Union after Lisbon (Book) (2011)

The European Union after Lisbon (2011)

Hermann-josef Blanke

Cover for Paul Warren · Context and Semantics for Knowledge Management: Technologies for Personal Productivity (Hardcover Book) [2011 edition] (2011)

Context and Semantics for Knowle... (2011)

Cover for Norman Schofield · Leadership or Chaos: The Heart and Soul of Politics (Hardcover Book) [2011 edition] (2011)

Leadership or Chaos: The Heart a... (2011)

Norman Schofield

Cover for Norman Schofield · Political Economy of Institutions, Democracy and Voting (Hardcover Book) [2011 edition] (2011)

Political Economy of Institution... (2011)

Norman Schofield

Cover for L Szl Zentai · Maps for the Future: Children, Education and Internet - Lecture Notes in Geoinformation and Cartography (Hardcover Book) (2012)

Maps for the Future: Children, E... (2012)

Cover for Fischedick Manfred · CO2: Abtrennung, Speicherung, Nutzung: Ganzheitliche Bewertung im Bereich von Energiewirtschaft und Industrie (Hardcover Book) [2015 edition] (2015)

CO2: Abtrennung, Speicherung, Nu... (2015)

Fischedick Manfred

Cover for Claus Vielhauer · Biometrics and ID Management: COST 2101 European Workshop, BioID 2011, Brandenburg (Havel), March 8-10, 2011, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Biometrics and ID Management: CO... (2011)

Claus Vielhauer

Cover for Dierk Schleicher · An Invitation to Mathematics: From Competitions to Research (Paperback Book) (2011)

An Invitation to Mathematics: Fr... (2011)

Dierk Schleicher

Cover for Paulina Golinska · Information Technologies in Environmental Engineering: New Trends and Challenges - Environmental Engineering (Hardcover Book) (2011)

Information Technologies in Envi... (2011)

Paulina Golinska

Cover for Juan Andrade Cetto · Informatics in Control, Automation and Robotics: Revised and Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2010 - Lecture Notes in Electrical Engineering (Hardcover Book) (2011)

Informatics in Control, Automati... (2011)

Juan Andrade Cetto

Cover for Vinu V Das · Computer Networks and Information Technologies: Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings - Communications in Computer and Information Science (Paperback Book) (2011)

Computer Networks and Informatio... (2011)

Cover for Rafi Ahmed · Negative Co-Receptors and Ligands - Current Topics in Microbiology and Immunology (Hardcover Book) [2011 edition] (2011)

Negative Co-Receptors and Ligand... (2011)

Cover for Weisi Lin · Multimedia Analysis, Processing and Communications - Studies in Computational Intelligence (Hardcover Book) (2011)

Multimedia Analysis, Processing ... (2011)

Cover for Lodewijk Bos · Future Visions on Biomedicine and Bioinformatics 2: A Liber Amicorum in Memory of Swamy Laxminarayan - Communications in Medical and Care Compunetics (Hardcover Book) [2011 edition] (2011)

Future Visions on Biomedicine an... (2011)

Cover for Joachim Deutscher · Zustandsregelung verteilt-parametrischer Systeme (Hardcover Book) [2012 edition] (2012)

Zustandsregelung verteilt-parame... (2012)

Joachim Deutscher

Cover for L.P. Yarin · The Pi-Theorem: Applications to Fluid Mechanics and Heat and Mass Transfer - Experimental Fluid Mechanics (Hardcover Book) (2012)

The Pi-Theorem: Applications to ... (2012)

Cover for Koichiro Ishibashi · Low Power and Reliable SRAM Memory Cell and Array Design - Springer Series in Advanced Microelectronics (Hardcover Book) [2011 edition] (2011)

Low Power and Reliable SRAM Memo... (2011)

Koichiro Ishibashi

Cover for Yuval Ishai · Theory of Cryptography - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Theory of Cryptography - Lecture... (2011)

Cover for Alex Biryukov · Selected Areas in Cryptography: 17th International Workshop, Sac 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Selected Areas in Cryptography: ... (2011)

Cover for Robert Adler · Topological Complexity of Smooth Random Functions: Ecole d'Ete de Probabilites de Saint-Flour XXXIX-2009 - Lecture Notes in Mathematics (Paperback Book) (2011)

Topological Complexity of Smooth... (2011)

Cover for Sharon Barner · Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Hardware and Software: Verificat... (2011)

Cover for Rainer E. Gruhn · Statistical Pronunciation Modeling for Non-Native Speech Processing - Signals and Communication Technology (Hardcover Book) [2011 edition] (2011)

Statistical Pronunciation Modeli... (2011)

Rainer E. Gruhn

Cover for Mario Bravetti · Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2011 edition] (2011)

Web Services and Formal Methods:... (2011)

Cover for Philipp Blanchard · Random Walks and Diffusions on Graphs and Databases: An Introduction - Springer Series in Synergetics (Hardcover Book) (2011)

Random Walks and Diffusions on G... (2011)

Philipp Blanchard

Cover for Keith Cooper · Languages and Compilers for Parallel Computing: 23rd International Workshop, Lcpc 2010, Houston, Tx, Usa, October 7-9, 2010. Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Languages and Compilers for Para... (2011)

Cover for Jacob Benesty · Optimal Time-Domain Noise Reduction Filters: A Theoretical Study - SpringerBriefs in Electrical and Computer Engineering (Paperback Book) [2011 edition] (2011)

Optimal Time-Domain Noise Reduct... (2011)

Cover for Maitine Bergounioux · Mathematical Image Processing: University of Orleans, France, March 29th - April 1st, 2010 - Springer Proceedings in Mathematics (Hardcover Book) [2011 edition] (2011)

Mathematical Image Processing: U... (2011)

Maitine Bergounioux

Cover for Margaret Armstrong · Plurigaussian Simulations in Geosciences (Hardcover Book) [2nd ed. 2011 edition] (2011)

2nd ed. 2011 edition

Plurigaussian Simulations in Geo... (2011)

Margaret Armstrong

Cover for Ioannis Hatzilygeroudis · Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 - Smart Innovation, Systems and Technologies (Hardcover Book) (2012)

Combinations of Intelligent Meth... (2012)

Ioannis Hatzilygeroudis

Cover for Samuli Niiranen · Information Processing and Biological Systems - Intelligent Systems Reference Library (Hardcover Book) [2011 edition] (2011)

Information Processing and Biolo... (2011)

Samuli Niiranen

Cover for Herbert J. Fromm · Essentials of Biochemistry (Hardcover Book) (2012)

Essentials of Biochemistry (2012)

Herbert J. Fromm

Cover for Evan Francis Keane · The Transient Radio Sky - Springer Theses (Hardcover Book) (2011)

The Transient Radio Sky - Spring... (2011)

Evan Francis Keane

Cover for Ronaldo I Borja · Multiscale and Multiphysics Processes in Geomechanics: Results of the Workshop on Multiscale and Multiphysics Processes in Geomechanics, Stanford, June 23-25, 2010. - Springer Series in Geomechanics and Geoengineering (Hardcover Book) (2011)

Multiscale and Multiphysics Proc... (2011)

Ronaldo I Borja

Cover for Emanuele Bardone · Seeking Chances: From Biased Rationality to Distributed Cognition - Cognitive Systems Monographs (Hardcover Book) [2011 edition] (2011)

Seeking Chances: From Biased Rat... (2011)

Emanuele Bardone

Cover for Aysegul Kibaroglu · Turkey's Water Policy: National Frameworks and International Cooperation (Hardcover Book) [2011 edition] (2011)

Turkey's Water Policy: National ... (2011)

Aysegul Kibaroglu

Cover for Emilio Corchado · Soft Computing Models in Industrial and Environmental Applications, 6th International Conference SOCO 2011 - Advances in Intelligent and Soft Computing (Paperback Book) [2011 edition] (2011)

Soft Computing Models in Industr... (2011)

Emilio Corchado

Cover for Lodewijk Bos · Handbook of Digital Homecare: Successes and Failures - Communications in Medical and Care Compunetics (Hardcover Book) [2011 edition] (2011)

Handbook of Digital Homecare: Su... (2011)

Cover for Meltem Deniz Guner-ozbek · The United Nations Convention on Contracts for the International Carriage of Goods Wholly or Partly by Sea: An Appraisal of the "Rotterdam Rules" (Hardcover Book) (2011)

The United Nations Convention on... (2011)

Meltem Deniz Guner-ozbek

Cover for John Salerno · Social Computing, Behavioral-cultural Modeling and Prediction - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Paperback Book) (2011)

Social Computing, Behavioral-cul... (2011)

Cover for Sergio Albeverio · Hyperfinite Dirichlet Forms and Stochastic Processes - Lecture Notes of the Unione Matematica Italiana (Paperback Book) [2011 edition] (2011)

Hyperfinite Dirichlet Forms and ... (2011)

Sergio Albeverio

Cover for Carmelo Clavero · BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic Methods - Lecture Notes in Computational Science and Engineering (Hardcover Book) [2011 edition] (2011)

BAIL 2010 - Boundary and Interio... (2011)

Carmelo Clavero

Cover for Stefano Ceri · Search Computing - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Paperback Book) (2011)

Search Computing - Lecture Notes... (2011)

Cover for Christina A. Knapek · Phase Transitions in Two-Dimensional Complex Plasmas - Springer Theses (Hardcover Book) [2011 edition] (2011)

Phase Transitions in Two-Dimensi... (2011)

Christina A. Knapek

Cover for Ramesha Chandrappa · Coping with Climate Change: Principles and Asian Context (Hardcover Book) (2011)

Coping with Climate Change: Prin... (2011)

Ramesha Chandrappa

Cover for Marten Van Sinderen · Enterprise Interoperability: Third International IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011, Proceedings - Lecture Notes in Business Information Processing (Paperback Book) (2011)

Enterprise Interoperability: Thi... (2011)

Marten Van Sinderen

Cover for Andrzej T. Slominski · Sensing the Environment: Regulation of Local and Global Homeostasis by the Skin's Neuroendocrine System - Advances in Anatomy, Embryology and Cell Biology (Paperback Book) (2012)

Sensing the Environment: Regulat... (2012)

Andrzej T. Slominski

Cover for Sven Gross · Numerical Methods for Two-phase Incompressible Flows - Springer Series in Computational Mathematics (Hardcover Book) [2011 edition] (2011)

Numerical Methods for Two-phase ... (2011)

Cover for Yong Shi · New State of MCDM in the 21st Century: Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009 - Lecture Notes in Economics and Mathematical Systems (Paperback Book) (2011)

New State of MCDM in the 21st Ce... (2011)

Cover for Robert Gasch · Strukturdynamik (Paperback Book) [2011 edition] (2011)

Strukturdynamik (2011)

Cover for Jim J Hagan · Molecular and Functional Models in Neuropsychiatry - Current Topics in Behavioral Neurosciences (Hardcover Book) [2011 edition] (2011)

Molecular and Functional Models ... (2011)

Cover for Dehuai Zeng · Future Intelligent Information Systems: Volume 1 - Lecture Notes in Electrical Engineering (Hardcover Book) (2011)

Future Intelligent Information S... (2011)

Cover for Andre Dorsman · Financial Aspects in Energy: A European Perspective (Hardcover Book) [2011 edition] (2011)

Financial Aspects in Energy: A E... (2011)

Cover for Jian Lee · Advanced Electrical and Electronics Engineering: Volume 2 - Lecture Notes in Electrical Engineering (Hardcover Book) (2011)

Advanced Electrical and Electron... (2011)

Cover for Arthur Tatnall · Information Technology and Managing Quality Education: 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers - IFIP Advances in Information and Communication (Hardcover Book) [2011 edition] (2011)

Information Technology and Manag... (2011)

Cover for Florin Gorunescu · Data Mining: Concepts, Models and Techniques - Intelligent Systems Reference Library (Hardcover Book) [2011 edition] (2011)

Data Mining: Concepts, Models an... (2011)

Florin Gorunescu

Cover for Sven Helmer · Reasoning in Event-Based Distributed Systems - Studies in Computational Intelligence (Hardcover Book) [2011 edition] (2011)

Reasoning in Event-Based Distrib... (2011)

Cover for Henri Bourles · Linear Time-Varying Systems: Algebraic-Analytic Approach - Lecture Notes in Control and Information Sciences (Paperback Book) (2011)

Linear Time-Varying Systems: Alg... (2011)

Cover for Juan Andrade Cetto · Informatics in Control Automation and Robotics: Revised and Selected Papers from the International Conference on Informatics in Control Automation and Robotics 2009 - Lecture Notes in Electrical Engineering (Hardcover Book) [2011 edition] (2011)

Informatics in Control Automatio... (2011)

Juan Andrade Cetto

Cover for Beniamino Murgante · Geocomputation, Sustainability and Environmental Planning - Studies in Computational Intelligence (Hardcover Book) [2011 edition] (2011)

Geocomputation, Sustainability a... (2011)

Beniamino Murgante

Cover for Markus Pohlmann · Citizenship and Migration in the Era of Globalization: The Flow of Migrants and the Perception of Citizenship in Asia and Europe - Transcultural Research - Heidelberg Studies on Asia and Europe in a Global Context (Paperback Book) (2013)

Citizenship and Migration in the... (2013)

Markus Pohlmann

Cover for Manfred Filtz · Ubungsbuch Elektromagnetische Felder - Springer-Lehrbuch (Paperback Book) [2. Aufl. 2012 edition] (2011)

2. Aufl. 2012 edition

Ubungsbuch Elektromagnetische Fe... (2011)

Cover for Pierpaolo Degano · Formal Aspects of Security and Trust: 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Formal Aspects of Security and T... (2011)

Pierpaolo Degano

Cover for Alberto Marchetti-spaccamela · Theory and Practice of Algorithms in (Computer) Systems - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Theory and Practice of Algorithm... (2011)

Alberto Marchetti-spaccamela

Cover for Yang Cai · Computing with Instinct: Rediscovering Artificial Intelligence - Lecture Notes in Computer Science (Paperback Book) (2011)

Computing with Instinct: Redisco... (2011)

Cover for Sergey D Odintsov · Cosmology, Quantum Vacuum and Zeta Functions: In Honor of Emilio Elizalde - Springer Proceedings in Physics (Hardcover Book) (2011)

Cosmology, Quantum Vacuum and Ze... (2011)

Sergey D Odintsov

Cover for Milan Horniacek · Cooperation and Efficiency in Markets - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [2011 edition] (2011)

Cooperation and Efficiency in Ma... (2011)

Milan Horniacek

Cover for Vasily Popovich · Information Fusion and Geographic Information Systems: Towards the Digital Ocean - Lecture Notes in Geoinformation and Cartography (Hardcover Book) (2011)

Information Fusion and Geographi... (2011)

Vasily Popovich

Cover for Ajay Singh · Bioaugmentation, Biostimulation and Biocontrol - Soil Biology (Hardcover Book) [2011 edition] (2011)

Bioaugmentation, Biostimulation ... (2011)

Cover for Berend Denkena · Spanen (Hardcover Book) (2011)

Cover for Burkhard Vogel · The Sound of Silence: Lowest-Noise RIAA Phono-Amps: Designer's Guide (Hardcover Book) [2nd ed. 2011 edition] (2011)

2nd ed. 2011 edition

The Sound of Silence: Lowest-Noi... (2011)

Cover for Donatello Annaratone · Transient Heat Transfer - SpringerBriefs in Applied Sciences and Technology (Paperback Book) [2011 edition] (2011)

Transient Heat Transfer - Spri... (2011)

Donatello Annaratone

Cover for Meik Doerpinghaus · On the Achievable Rate of Stationary Fading Channels - Foundations in Signal Processing, Communications and Networking (Hardcover Book) [2011 edition] (2011)

On the Achievable Rate of Statio... (2011)

Meik Doerpinghaus

Cover for Alexander Isaev · Spherical Tube Hypersurfaces - Lecture Notes in Mathematics (Paperback Book) [2011 edition] (2011)

Spherical Tube Hypersurfaces - L... (2011)

Alexander Isaev

Cover for Thomas Strang · Communication Technologies for Vehicles - Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications (Paperback Book) (2011)

Communication Technologies for V... (2011)

Cover for Wolfgang Reinhardt · Advancing Geoinformation Science for a Changing World - Lecture Notes in Geoinformation and Cartography (Hardcover Book) (2011)

Advancing Geoinformation Science... (2011)

Wolfgang Reinhardt

Cover for Ruy Beck · Nanocosmetics and Nanomedicines: New Approaches for Skin Care (Hardcover Book) [2011 edition] (2011)

Nanocosmetics and Nanomedicines:... (2011)

Cover for Dieter Fensel · Foundations for the Web of Information and Services: A Review of 20 Years of Semantic Web Research (Hardcover Book) [2011 edition] (2011)

Foundations for the Web of Infor... (2011)

Cover for Joaquim Filipe · Enterprise Information Systems: 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers - Lecture Notes in Business Information Processing (Paperback Book) (2011)

Enterprise Information Systems: ... (2011)

Cover for Martin Hofmann · Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceed (Paperback Book) [2011 edition] (2011)

Foundations of Software Science ... (2011)