Publishers Springer-Verlag Berlin and Heidelberg Gm

Cover for Peter Flaschel · Keynesianische Makrookonomik: Zins, Beschaftigung, Inflation und Wachstum - Springer-Lehrbuch (Paperback Book) [3. Aufl. 2012 edition] (2012)

3. Aufl. 2012 edition

Keynesianische Makrookonomik: Zi... (2012)

Cover for Volker a Erdmann · From Nucleic Acids Sequences to Molecular Medicine - RNA Technologies (Hardcover Book) [2012 edition] (2012)

From Nucleic Acids Sequences to ... (2012)

Volker a Erdmann

Cover for Christian M Ller-Mai · Frakturen auf einen Blick (Paperback Book) [2015 edition] (2014)

Frakturen auf einen Blick (2014)

Christian M Ller-Mai

Cover for Qipeng P Zheng · Handbook of CO2 in Power Systems - Energy Systems (Hardcover Book) (2012)

Handbook of CO2 in Power Systems... (2012)

Cover for Claudio Maccone · Mathematical SETI: Statistics, Signal Processing, Space Missions - Astronomy and Planetary Sciences (Hardcover Book) [2012 edition] (2012)

Mathematical SETI: Statistics, S... (2012)

Claudio Maccone

Cover for Leszek Plaskota · Monte Carlo and Quasi-Monte Carlo Methods 2010 - Springer Proceedings in Mathematics & Statistics (Hardcover Book) [2012 edition] (2012)

Monte Carlo and Quasi-Monte Car... (2012)

Leszek Plaskota

Cover for Suresh Chandra Satapathy · Proceedings of the International Conference on Information Systems Design and Intelligent Applications 2012 (India 2012) held in Visakhapatnam, India, January 2012 - Advances in Intelligent and Soft Computing (Paperback Book) [2012 edition] (2012)

Proceedings of the International... (2012)

Suresh Chandra Satapathy

Cover for Piotr Lipi Ski · Towards Modern Collaborative Knowledge Sharing Systems - Studies in Computational Intelligence (Hardcover Book) [2012 edition] (2012)

Towards Modern Collaborative Kno... (2012)

Cover for Theodor Borangiu · Service Orientation in Holonic and Multi-Agent Manufacturing Control - Studies in Computational Intelligence (Hardcover Book) [2012 edition] (2012)

Service Orientation in Holonic a... (2012)

Theodor Borangiu

Cover for Chunfeng Liu · Information Computing and Applications, Part II: Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II - Communications in Computer and Information Science (Paperback Book) (2011)

Information Computing and Applic... (2011)

Cover for Jakub Bielak · Applying Cognitive Grammar in the Foreign Language Classroom: Teaching English Tense and Aspect - Second Language Learning and Teaching (Hardcover Book) [2013 edition] (2013)

Applying Cognitive Grammar in th... (2013)

Cover for Ahmad Taher Azar · Modelling and Control of Dialysis Systems: Volume 1: Modeling Techniques of Hemodialysis Systems - Studies in Computational Intelligence (Hardcover Book) [2013 edition] (2012)

Modelling and Control of Dialysi... (2012)

Ahmad Taher Azar

Cover for Tim A. Majchrzak · Improving Software Testing: Technical and Organizational Developments - SpringerBriefs in Information Systems (Paperback Book) (2012)

Improving Software Testing: Tech... (2012)

Tim A. Majchrzak

Cover for Ernesto Sanchez · Industrial Applications of Evolutionary Algorithms - Intelligent Systems Reference Library (Hardcover Book) (2012)

Industrial Applications of Evolu... (2012)

Ernesto Sanchez

Cover for Nicholas Mantis · Ricin and Shiga Toxins: Pathogenesis, Immunity, Vaccines and Therapeutics - Current Topics in Microbiology and Immunology (Hardcover Book) [2012 edition] (2012)

Ricin and Shiga Toxins: Pathogen... (2012)

Nicholas Mantis

Cover for Lotfi A. Zadeh · Computing with Words: Principal Concepts and Ideas - Studies in Fuzziness and Soft Computing (Hardcover Book) [2012 edition] (2012)

Computing with Words: Principal ... (2012)

Cover for Kit Yan Chan · Computational Intelligence Techniques for New Product Design - Studies in Computational Intelligence (Hardcover Book) [2012 edition] (2012)

Computational Intelligence Techn... (2012)

Cover for Hime Aguiar e Oliveira Junior · Stochastic Global Optimization and Its Applications with Fuzzy Adaptive Simulated Annealing - Intelligent Systems Reference Library (Hardcover Book) [2012 edition] (2012)

Stochastic Global Optimization a... (2012)

Hime Aguiar e Oliveira Junior

Cover for Ulrich Rueckert · Advances in Autonomous Mini Robots: Proceedings of the 6-th AMiRE Symposium (Hardcover Book) [2012 edition] (2012)

Advances in Autonomous Mini Robo... (2012)

Ulrich Rueckert

Cover for Michael P Peterson · Online Maps with APIs and WebServices - Lecture Notes in Geoinformation and Cartography (Hardcover Book) (2012)

Online Maps with APIs and WebSer... (2012)

Michael P Peterson

Cover for Jan Vom Brocke · Green Business Process Management: Towards the Sustainable Enterprise (Hardcover Book) [2012 edition] (2012)

Green Business Process Managemen... (2012)

Cover for Reiner Wichert · Ambient Assisted Living: 5. AAL-Kongress 2012 Berlin, Germany, January 24-25, 2012 - Advanced Technologies and Societal Change (Hardcover Book) [2012 edition] (2012)

Ambient Assisted Living: 5. AAL-... (2012)

Cover for Francesco Marinello · Acoustic Scanning Probe Microscopy - NanoScience and Technology (Hardcover Book) [2013 edition] (2012)

Acoustic Scanning Probe Microsco... (2012)

Francesco Marinello

Cover for Maren Heidemann · Does International Trade Need a Doctrine of Transnational Law?: Some Thoughts at the Launch of a European Contract Law - SpringerBriefs in Law (Paperback Book) [2012 edition] (2012)

Does International Trade Need a ... (2012)

Maren Heidemann

Cover for Chunfeng Liu · Information Computing and Applications: Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I - Communications in Computer and Information Science (Paperback Book) (2011)

Information Computing and Applic... (2011)

Cover for Kazuhiro Kondo · Subjective Quality Measurement of Speech: Its Evaluation, Estimation and Applications - Signals and Communication Technology (Hardcover Book) [2012 edition] (2012)

Subjective Quality Measurement o... (2012)

Cover for Nacer M\'sirdi · Sustainability in Energy and Buildings: Proceedings of the 3rd International Conference on Sustainability in Energy and Buildings (SEB11) - Smart Innovation, Systems and Technologies (Hardcover Book) [2012 edition] (2012)

Sustainability in Energy and Bui... (2012)

Cover for Naci Balkan · Semiconductor Modeling Techniques - Springer Series in Materials Science (Hardcover Book) (2012)

Semiconductor Modeling Technique... (2012)

Cover for Dinesh K Maheshwari · Bacteria in Agrobiology: Plant Probiotics (Hardcover Book) [2012 edition] (2012)

Bacteria in Agrobiology: Plant P... (2012)

Dinesh K Maheshwari

Cover for Rainer E. Zimmermann · Kreativitat und Form: Programm eines Glasperlenspiels zum Experimentieren mit Wissen (Hardcover Book) [2012 edition] (2012)

Kreativitat und Form: Programm e... (2012)

Rainer E. Zimmermann

Cover for Fabio Remondino · TOF Range-Imaging Cameras (Hardcover Book) [2013 edition] (2013)

TOF Range-Imaging Cameras (2013)

Fabio Remondino

Cover for Benni Thiebes · Landslide Analysis and Early Warning Systems: Local and Regional Case Study in the Swabian Alb, Germany - Springer Theses (Hardcover Book) [2012 edition] (2012)

Landslide Analysis and Early War... (2012)

Cover for N.s. Manjarekar · Nonlinear Control Synthesis for Electrical Power Systems Using Controllable Series Capacitors - Springerbriefs in Applied Sciences and Technology (Paperback Book) (2012)

Nonlinear Control Synthesis for ... (2012)

N.s. Manjarekar

Cover for Kurosh Madani · Computational Intelligence: Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010 - Studies in Computational Intelligence (Hardcover Book) [2012 edition] (2012)

Computational Intelligence: Revi... (2012)

Cover for Egui Zhu · Information Technology and Agricultural Engineering - Advances in Intelligent and Soft Computing (Paperback Book) [2012 edition] (2012)

Information Technology and Agric... (2012)

Cover for Thomas G Davies · Fragment-Based Drug Discovery and X-Ray Crystallography - Topics in Current Chemistry (Hardcover Book) (2012)

Fragment-Based Drug Discovery an... (2012)

Thomas G Davies

Cover for Ingrid Mann · Nanodust in the Solar System: Discoveries and Interpretations - Astrophysics and Space Science Library (Hardcover Book) [2012 edition] (2012)

Nanodust in the Solar System: Di... (2012)

Cover for Gani Stamov · Almost Periodic Solutions of Impulsive Differential Equations - Lecture Notes in Mathematics (Paperback Book) (2012)

Almost Periodic Solutions of Imp... (2012)

Cover for Roberto Moreno-diaz · Computer Aided Systems Theory -- EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I - Theoretical Computer Science and General Issues (Paperback Book) (2012)

Computer Aided Systems Theory --... (2012)

Roberto Moreno-diaz

Cover for Sabo Sambath · Frontiers in Computer Education - Advances in Intelligent and Soft Computing (Paperback Book) [2012 edition] (2012)

Frontiers in Computer Education ... (2012)

Cover for Rene Lamour · Differential-Algebraic Equations: A Projector Based Analysis - Differential-Algebraic Equations Forum (Paperback Book) (2013)

Differential-Algebraic Equations... (2013)

Cover for Ahmad Azar · Modeling and Control of Dialysis Systems: Volume 2: Biofeedback Systems and Soft Computing Techniques of Dialysis - Studies in Computational Intelligence (Hardcover Book) [2013 edition] (2012)

Modeling and Control of Dialysis... (2012)

Cover for Isaak M. Khalatnikov · From the Atomic Bomb to the Landau Institute: Autobiography. Top Non-Secret (Hardcover Book) [2012 edition] (2012)

From the Atomic Bomb to the Land... (2012)

Isaak M. Khalatnikov

Cover for Mauro D Onofrio · Fifty Years of Quasars: From Early Observations and Ideas to Future Research - Astrophysics and Space Science Library (Hardcover Book) [2012 edition] (2012)

Fifty Years of Quasars: From Ear... (2012)

Mauro D Onofrio

Cover for Lixiong Shao · Chemical Transformations of Vinylidenecyclopropanes - SpringerBriefs in Molecular Science (Paperback Book) [2012 edition] (2012)

Chemical Transformations of Viny... (2012)

Cover for Roberto Moreno D Az · Computer Aided Systems Theory -- EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)

Computer Aided Systems Theory --... (2012)

Roberto Moreno D Az

Cover for Claudia Backes · Noncovalent Functionalization of Carbon Nanotubes: Fundamental Aspects of Dispersion and Separation in Water - Springer Theses (Hardcover Book) [2012 edition] (2012)

Noncovalent Functionalization of... (2012)

Cover for Thomas Gold · Taking the Back off the Watch: A Personal Memoir - Astrophysics and Space Science Library (Hardcover Book) [2012 edition] (2012)

Taking the Back off the Watch: A... (2012)

Cover for Carsten Tschierske · Liquid Crystals: Materials Design and Self-assembly - Topics in Current Chemistry (Hardcover Book) [2012 edition] (2012)

Liquid Crystals: Materials Desig... (2012)

Carsten Tschierske

Cover for Challa Ssr Kumar · UV-VIS and Photoluminescence Spectroscopy for Nanomaterials Characterization (Hardcover Book) [2013 edition] (2013)

UV-VIS and Photoluminescence Spe... (2013)

Challa Ssr Kumar

Cover for Helen Irving · Plant Signaling Peptides - Signaling and Communication in Plants (Hardcover Book) (2012)

Plant Signaling Peptides - Signa... (2012)

Cover for Longbing Cao · Agents and Data Mining Interaction: 7th International Workshop, Admi 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2012)

Agents and Data Mining Interacti... (2012)

Cover for Daniel Dolk · Modeling for Decision Support in Network-Based Services: The Application of Quantitative Modeling to Service Science - Lecture Notes in Business Information Processing (Paperback Book) (2012)

Modeling for Decision Support in... (2012)

Cover for Dezan Shira & Associates · China's Neighbors: Who is Influencing China and Who China is Influencing in the New Emerging Asia - China Briefing (Paperback Book) [3rd ed. 2012 edition] (2012)

3rd ed. 2012 edition

China's Neighbors: Who is Influe... (2012)

Dezan Shira & Associates

Cover for Dezan Shira & Associates · Doing Business in India - India Briefing (Paperback Book) [3rd ed. 2012 edition] (2012)

3rd ed. 2012 edition

Doing Business in India - India ... (2012)

Dezan Shira & Associates

Cover for Gyoergy Inzelt · Conducting Polymers: A New Era in Electrochemistry - Monographs in Electrochemistry (Hardcover Book) [2nd ed. 2012 edition] (2012)

2nd ed. 2012 edition

Conducting Polymers: A New Era i... (2012)

Cover for Dezan Shira & Associates · The Yangtze River Delta: Business Guide to the Shanghai Region - China Briefing (Paperback Book) [5th ed. 2012 edition] (2012)

5th ed. 2012 edition

The Yangtze River Delta: Busines... (2012)

Dezan Shira & Associates

Cover for Marek Orlik · Self-Organization in Electrochemical Systems II: Spatiotemporal Patterns and Control of Chaos - Monographs in Electrochemistry (Hardcover Book) [2013 edition] (2012)

Self-Organization in Electrochem... (2012)

Cover for Akira Hirose · Complex-Valued Neural Networks - Studies in Computational Intelligence (Hardcover Book) [2nd ed. 2012 edition] (2012)

2nd ed. 2012 edition

Complex-Valued Neural Networks -... (2012)

Cover for Abbas Mohammadi · RF Transceiver Design for MIMO Wireless Communications - Lecture Notes in Electrical Engineering (Hardcover Book) [2012 edition] (2012)

RF Transceiver Design for MIMO W... (2012)

Abbas Mohammadi

Cover for Subhas C Mukhopadhyay · Smart Sensing Technology for Agriculture and Environmental Monitoring - Lecture Notes in Electrical Engineering (Hardcover Book) [2012 edition] (2012)

Smart Sensing Technology for Agr... (2012)

Subhas C Mukhopadhyay

Cover for Javed Ahsan · Fuzzy Semirings with Applications to Automata Theory - Studies in Fuzziness and Soft Computing (Hardcover Book) [2012 edition] (2012)

Fuzzy Semirings with Application... (2012)

Cover for Marco Wiering · Reinforcement Learning: State-of-the-Art - Adaptation, Learning, and Optimization (Hardcover Book) [2012 edition] (2012)

Reinforcement Learning: State-of... (2012)

Cover for Hitoshi Iba · Practical Applications of Evolutionary Computation to Financial Engineering: Robust Techniques for Forecasting, Trading and Hedging - Adaptation, Learning, and Optimization (Hardcover Book) [2012 edition] (2012)

Practical Applications of Evolut... (2012)

Cover for Gyoezoe G. Lang · Laser Techniques for the Study of Electrode Processes - Monographs in Electrochemistry (Hardcover Book) [2012 edition] (2012)

Laser Techniques for the Study o... (2012)

Gyoezoe G. Lang

Cover for Michael J Dinneen · Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers - Th (Paperback Book) [2012 edition] (2012)

Computation, Physics and Beyond:... (2012)

Michael J Dinneen

Cover for Maria Bielikova · Sofsem 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings - Lecture Notes in Computer Science / Theoretical Compute (Paperback Book) (2012)

Sofsem 2012: Theory and Practice... (2012)

Maria Bielikova

Cover for Per-Olov Johansson · The Economics of Evaluating Water Projects: Hydroelectricity Versus Other Uses (Hardcover Book) [2012 edition] (2012)

The Economics of Evaluating Wate... (2012)

Per-Olov Johansson

Cover for Marek Orlik · Self-Organization in Electrochemical Systems I: General Principles of Self-organization. Temporal Instabilities - Monographs in Electrochemistry (Hardcover Book) [2013 edition] (2012)

Self-Organization in Electrochem... (2012)

Cover for Bruce L. Yoder · Steric Effects in the Chemisorption of Vibrationally Excited Methane on Nickel - Springer Theses (Hardcover Book) [2012 edition] (2012)

Steric Effects in the Chemisorpt... (2012)

Cover for Maarten a T M Broekmans · Proceedings of the 10th International Congress for Applied Mineralogy (ICAM) (Hardcover Book) [2012 edition] (2012)

Proceedings of the 10th Internat... (2012)

Maarten a T M Broekmans

Cover for Andrzej Grabowski · Juristic Concept of the Validity of Statutory Law: A Critique of Contemporary Legal Nonpositivism (Hardcover Book) (2013)

Juristic Concept of the Validity... (2013)

Andrzej Grabowski

Cover for Markus Q. Huber · On Gauge Fixing Aspects of the Infrared Behavior of Yang-Mills Green Functions - Springer Theses (Hardcover Book) [2012 edition] (2012)

On Gauge Fixing Aspects of the I... (2012)

Markus Q. Huber

Cover for David Riano · Knowledge Representation for Health-Care: AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers - Lecture Notes in Artificial Intelligence (Paperback Book) (2012)

Knowledge Representation for Hea... (2012)

Cover for Christian Suchan · Analyse und Gestaltung leistungsfahiger IS-Architekturen: Modellbasierte Methoden aus Forschung und Lehre in der Praxis (Hardcover Book) [2012 edition] (2012)

Analyse und Gestaltung leistungs... (2012)

Christian Suchan

Cover for Helen Forgasz · Towards Equity in Mathematics Education: Gender, Culture, and Diversity - Advances in Mathematics Education (Hardcover Book) [2012 edition] (2012)

Towards Equity in Mathematics Ed... (2012)

Cover for Honghua Tan · Knowledge Discovery and Data Mining (Book) [2012 edition] (2012)

Knowledge Discovery and Data Mining (2012)

Cover for Honghua Tan · Technology for Education and Learning - Advances in Intelligent and Soft Computing (Paperback Book) (2012)

Technology for Education and Lea... (2012)

Cover for Cai-Nicolas Ziegler · Mining for Strategic Competitive Intelligence: Foundations and Applications - Studies in Computational Intelligence (Hardcover Book) [2012 edition] (2012)

Mining for Strategic Competitive... (2012)

Cai-Nicolas Ziegler

Cover for Alberto L Pez Basaguren · The Ways of Federalism in Western Countries and the Horizons of Territorial Autonomy in Spain: Volume 2 (Hardcover Book) (2013)

The Ways of Federalism in Wester... (2013)

Alberto L Pez Basaguren

Cover for Alberto L Pez Basaguren · The Ways of Federalism in Western Countries and the Horizons of Territorial Autonomy in Spain: Volume 1 (Hardcover Book) (2013)

The Ways of Federalism in Wester... (2013)

Alberto L Pez Basaguren

Cover for Jaime Klapp · Fluid Dynamics in Physics, Engineering and Environmental Applications - Environmental Science and Engineering (Hardcover Book) [2013 edition] (2012)

Fluid Dynamics in Physics, Engin... (2012)

Cover for Changmin Chun · Cross-border Transactions of Intermediated Securities: A Comparative Analysis in Substantive Law and Private International Law (Hardcover Book) [2012 edition] (2012)

Cross-border Transactions of Int... (2012)

Cover for Shigeru Kunugi · Polymers in Nanomedicine - Advances in Polymer Science (Hardcover Book) [2012 edition] (2012)

Polymers in Nanomedicine - Advan... (2012)

Cover for John F Cryan · Behavioral Neurogenetics - Current Topics in Behavioral Neurosciences (Hardcover Book) [2012 edition] (2012)

Behavioral Neurogenetics - Curre... (2012)

Cover for Jia Luo · Affective Computing and Intelligent Interaction - Advances in Intelligent and Soft Computing (Paperback Book) [2012 edition] (2012)

Affective Computing and Intellig... (2012)

Cover for Gary Lee · Advances in Intelligent Systems: Selected papers from 2012 International Conference on Control Systems (ICCS 2012), March 1-2, Hong Kong - Advances in Intelligent and Soft Computing (Paperback Book) [2012 edition] (2012)

Advances in Intelligent Systems:... (2012)

Cover for Jaroslav Nesetril · Sparsity: Graphs, Structures, and Algorithms - Algorithms and Combinatorics (Hardcover Book) [2012 edition] (2012)

Sparsity: Graphs, Structures, an... (2012)

Jaroslav Nesetril

Cover for Alfonso Sousa-poza · Population Dynamics in Muslim Countries: Assembling the Jigsaw (Hardcover Book) [2012 edition] (2012)

Population Dynamics in Muslim Co... (2012)

Alfonso Sousa-poza

Cover for Giuseppe Guglielmi · Osteoporosis and Bone Densitometry Measurements - Medical Radiology (Hardcover Book) [2013 edition] (2013)

Osteoporosis and Bone Densitomet... (2013)

Giuseppe Guglielmi

Cover for Josep Maria Bech Serrat · Selling Tourism Services at a Distance: An Analysis of the EU Consumer Acquis (Hardcover Book) [2012 edition] (2012)

Selling Tourism Services at a Di... (2012)

Josep Maria Bech Serrat

Cover for Fatiha Alabau-Boussouira · Control of Partial Differential Equations: Cetraro, Italy 2010, Editors: Piermarco Cannarsa, Jean-Michel Coron - Lecture Notes in Mathematics (Paperback Book) [2012 edition] (2012)

Control of Partial Differential ... (2012)

Fatiha Alabau-Boussouira

Cover for Bernhard Mescheder · Wettbewerbsvorteile durch Wissen: Knowledge Management, CRM und Change Management verbinden (Hardcover Book) [2012 edition] (2012)

Wettbewerbsvorteile durch Wissen... (2012)

Bernhard Mescheder

Cover for Peter Tschmuck · Music Business and the Experience Economy: The Australasian Case (Hardcover Book) [2013 edition] (2013)

Music Business and the Experienc... (2013)

Cover for Joaquin Garcia-alfaro · Foundations and Practice of Security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers - Security and Cryptology (Paperback Book) (2012)

Foundations and Practice of Secu... (2012)

Joaquin Garcia-alfaro

Cover for Vartika Jain · Pharmacology of Bombax ceiba Linn. - SpringerBriefs in Pharmacology and Toxicology (Paperback Book) [2012 edition] (2012)

Pharmacology of Bombax ceiba Lin... (2012)

Cover for Rami M. Olwan · Intellectual Property and Development: Theory and Practice (Hardcover Book) (2013)

Intellectual Property and Develo... (2013)

Cover for Frank A. Coutelieris · Transport Processes in Porous Media - Advanced Structured Materials (Hardcover Book) [2012 edition] (2012)

Transport Processes in Porous Me... (2012)

Frank A. Coutelieris

Cover for Yves Christen · Epigenetics, Brain and Behavior - Research and Perspectives in Neurosciences (Hardcover Book) [2012 edition] (2012)

Epigenetics, Brain and Behavior ... (2012)

Cover for Derrick G. Kourie · The Correctness-by-Construction Approach to Programming (Hardcover Book) [2012 edition] (2012)

The Correctness-by-Construction ... (2012)

Derrick G. Kourie