Udgivelser fra Springer-Verlag Berlin and Heidelberg Gm

Cover for Maurice H Ter Beek · Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

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

Maurice H Ter Beek

Cover for Paul G Spirakis · Algorithms and Complexity: 8th International Conference, Ciac 2013, Barcelona, Spain, May 22-24, 2013. Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Pocketbok) (2013)

Pocketbok

Algorithms and Complexity: 8th I... (2013)

Paul G Spirakis

Cover for T-h Hubert Chan · Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Theory and Applications of Model... (2013)

T-h Hubert Chan

Cover for Gabriela Csurka · Computer Vision, Imaging and Computer Graphics - Theory and Applications: International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012. Revised Selected Papers - Communications in Computer and Information Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Computer Vision, Imaging and Com... (2013)

Gabriela Csurka

Innbunden bok

2014 edition

Information Systems for Small an... (2013)

Jan Devos

Innbunden bok

Second Edition 2013 edition

Web Dynpro ABAP for Practitioners (2013)

Ulrich Gellert

Cover for Shlomi Dolev · Optical Supercomputing: 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Optical Supercomputing: 4th Inte... (2013)

Shlomi Dolev

Cover for Bob Mulder · Advances in Aerospace Guidance, Navigation and Control: Selected Papers of the Second CEAS Specialist Conference on Guidance, Navigation and Control (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Advances in Aerospace Guidance, ... (2013)

Bob Mulder

Cover for Joaquim Gabriel · Biomedical Engineering Systems and Technologies: 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers - Communications in Computer and Information Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Biomedical Engineering Systems a... (2013)

Joaquim Gabriel

Innbunden bok

2013 edition

Values of Our Times: Contemporar... (2013)

Deshun Li

Innbunden bok

2013 edition

Diversity, Biomineralization and... (2013)

Wei Lin

Cover for Arjan Kuijper · Scale Space and Variational Methods in Computer Vision: 4th International Conference, SSVM 2013, Schloss Seggau, Graz, Austria, June 2-6, 2013, Proceedings - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Scale Space and Variational Meth... (2013)

Arjan Kuijper

Innbunden bok

2014 edition

Grundlagen und Grenzen der Leist... (2013)

Stephan Porten

Innbunden bok

German, 2013 edition

Schlanke Logistikprozesse: Handb... (2013)

Willibald A Gunthner

Innbunden bok

2014 edition

Handbuch Honorararztrecht: Praxi... (2014)

Stephan Porten

Innbunden bok

2nd ed. 2014 edition

Moving Objects Management: Model... (2014)

Xiaofeng Meng

Cover for Maria Angeles Fernandez-izquierdo · Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2013, Castellon de la Plana, Spain, June 6-7, 2013, Proceedings - Lecture Notes in Business Information Processing (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Modeling and Simulation in Engin... (2013)

Maria Angeles Fernandez-izquierdo

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 (Pocketbok) (2013)

Pocketbok

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

Philipp Cimiano

Cover for Ronghuai Huang · The New Development of Technology Enhanced Learning: Concept, Research and Best Practices - Lecture Notes in Educational Technology (Innbunden bok) [2014 edition] (2014)

Innbunden bok

2014 edition

The New Development of Technolog... (2014)

Ronghuai Huang

Cover for Cris L Luengo Hendriks · Mathematical Morphology and Its Applications to Signal and Image Processing: 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Mathematical Morphology and Its ... (2013)

Cris L Luengo Hendriks

Innbunden bok

2013 edition

Introduction to Probability and ... (2013)

Milan Holicky

Innbunden bok

1st ed. 2013 edition

The Road to Privatization of Hig... (2013)

Li Wang

Cover for Hubert Baumeister · Agile Processes in Software Engineering and Extreme Programming: 14th International Conference, Xp 2013, Vienna, Austria, June 3-7, 2013, Proceedings - Lecture Notes in Business Information Processing (Pocketbok) (2013)

Pocketbok

Agile Processes in Software Engi... (2013)

Hubert Baumeister

Cover for Peggy Cellier · Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Formal Concept Analysis: 11th In... (2013)

Peggy Cellier

Innbunden bok

2013 edition

Yarrowia lipolytica: Genetics, G... (2013)

Gerold Barth

Cover for Carmen Fernandez-gago · Trust Management VII: 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013, Proceedings - IFIP Advances in Information and Communication Technology (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Trust Management VII: 7th IFIP W... (2013)

Carmen Fernandez-gago

Cover for Niels Peek · Artificial Intelligence in Medicine: 14th Conference on Artificial Intelligence in Medicine, Aime 2013, Murcia, Spain, May 29 - June 1, 2013, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Pocketbok) (2013)

Pocketbok

Artificial Intelligence in Medic... (2013)

Niels Peek

Cover for Armin Haller · Web Information Systems Engineering: Combined WISE 2011 and 2012 Workshops, Sydney, Australia, October 13-14, 2011 and Paphos, Cyprus, November 28-30, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Web Information Systems Engineer... (2013)

Armin Haller

Cover for Miroslaw Pawlak · Issues in Teaching, Learning and Testing Speaking in a Second Language - Second Language Learning and Teaching (Innbunden bok) [2015 edition] (2014)

Innbunden bok

2015 edition

Issues in Teaching, Learning and... (2014)

Miroslaw Pawlak

Cover for Leif E Peterson · Computational Intelligence Methods for Bioinformatics and Biostatistics: 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012. Revised Selected Papers - Lecture Notes in Bioinformatics (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Computational Intelligence Metho... (2013)

Leif E Peterson

Pocketbok

2014 edition

Drilling of Polymer-Matrix Compo... (2013)

Vijayan Krishnaraj

Cover for Thomas Johansson · Advances in Cryptology - Eurocrypt 2013: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Pocketbok) (2013)

Pocketbok

Advances in Cryptology - Eurocry... (2013)

Thomas Johansson

Cover for Vitaly Yu. Topolov · Piezo-Active Composites: Orientation Effects and Anisotropy Factors - Springer Series in Materials Science (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Piezo-Active Composites: Orienta... (2013)

Vitaly Yu. Topolov

Pocketbok

1994. Reprint 2013 of the 1994 edition

Collected Works - Springer Colle... (2013)

Harald Cramer

Pocketbok

2014 edition

Verhaltenssuchte: Grundlagen, Di... (2014)

Karl Mann

Cover for Witold Abramowicz · Business Information Systems: 16th International Conference, BIS 2013, Poznan, Poland, June 19-21, 2013, Proceedings - Lecture Notes in Business Information Processing (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Business Information Systems: 16... (2013)

Witold Abramowicz

Cover for Heinrich C Mayr · Information Systems: Methods, Models, and Applications: 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers - Lecture Notes in Business Information Processing (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Information Systems: Methods, Mo... (2013)

Heinrich C Mayr

Cover for Zhong-Ke Gao · Nonlinear Analysis of Gas-Water / Oil-Water Two-Phase Flow in Complex Networks - SpringerBriefs in Applied Sciences and Technology (Pocketbok) [2014 edition] (2014)

Pocketbok

2014 edition

Nonlinear Analysis of Gas-Water ... (2014)

Zhong-Ke Gao

Cover for Juha Raikka · Adaptation and Autonomy: Adaptive Preferences in Enhancing and Ending Life - Studies in Applied Philosophy, Epistemology and Rational Ethics (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Adaptation and Autonomy: Adaptiv... (2013)

Juha Raikka

Cover for Jozef Zivcak · Methodology, Models and Algorithms in Thermographic Diagnostics - Topics in Intelligent Engineering and Informatics (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Methodology, Models and Algorith... (2013)

Jozef Zivcak

Innbunden bok

2013 edition

Cleft Lip and Palate Primary Repair (2014)

Bing Shi

Innbunden bok

3rd ed. 2014 edition

Pathology of Melanocytic Nevi an... (2014)

Raymond L Barnhill

Pocketbok

2014 edition

Bone and Joint Injuries: Trauma ... (2014)

Hans Jorg Oestern

Cover for Ershi Qi · The 19th International Conference on Industrial Engineering and Engineering Management: Assistive Technology of Industrial Engineering (Pocketbok) [2014 edition] (2013)

Pocketbok

2014 edition

The 19th International Conferenc... (2013)

Ershi Qi

Innbunden bok

2014 edition

Compressed Sensing & Sparse Filt... (2013)

Avishy Y Carmi

Cover for Vassilis Tsaoussidis · Wired / Wireless Internet Communication: 11th International Conference, Wwic 2013, St. Petersburg, Russia, June 5-7, 2013, Proceedings - Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications (Pocketbok) (2013)

Pocketbok

Wired / Wireless Internet Commun... (2013)

Vassilis Tsaoussidis

Innbunden bok

2014 edition

Epigenetic Therapy of Cancer: Pr... (2014)

Michael Lubbert

Cover for Don Passey · Next Generation of Information Technology in Educational Management: 10th IFIP WG 3.7 Conference, ITEM 2012, Bremen, Germany, August 5-8, 2012, Revised Selected Papers - IFIP Advances in Information and Communication Technology (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Next Generation of Information T... (2013)

Don Passey

Cover for Shengxiang Yang · Evolutionary Computation for Dynamic Optimization Problems - Studies in Computational Intelligence (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Evolutionary Computation for Dyn... (2013)

Shengxiang Yang

Innbunden bok

2014 edition

Ionospheric Prediction and Forec... (2013)

Bruno Zolesi

Cover for Ershi Qi · The 19th International Conference on Industrial Engineering and Engineering Management: Engineering Management (Pocketbok) [2014 edition] (2013)

Pocketbok

2014 edition

The 19th International Conferenc... (2013)

Ershi Qi

Cover for Miroslaw Pawlak · Error Correction in the Foreign Language Classroom: Reconsidering the Issues - Second Language Learning and Teaching (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Error Correction in the Foreign ... (2013)

Miroslaw Pawlak

Cover for Erik Hofmann · Performance Measurement and Incentive Systems in Purchasing: More Than Just Savings - Professional Supply Management (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Performance Measurement and Ince... (2013)

Erik Hofmann

Cover for Ershi Qi · The 19th International Conference on Industrial Engineering and Engineering Management: Engineering Economics Management (Pocketbok) [2014 edition] (2013)

Pocketbok

2014 edition

The 19th International Conferenc... (2013)

Ershi Qi

Pocketbok

2014 edition

International Asia Conference on... (2013)

Ershi Qi

Innbunden bok

2014 edition

Design of Special Planar Linkage... (2013)

Jingshan Zhao

Innbunden bok

2013 edition

Urban Air Quality in Europe - Th... (2013)

Mar Viana

Innbunden bok

2014 edition

History of Social Law in Germany (2013)

Michael Stolleis

Cover for Osmar Zaiane · Advances in Artificial Intelligence: 26th Canadian Conference on Artificial Intelligence, Canadian Ai 2013, Regina, Canada, May 28-31, 2013, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Pocketbok) (2013)

Pocketbok

Advances in Artificial Intellige... (2013)

Osmar Zaiane

Cover for Zengqi Sun · Proceedings of 2013 Chinese Intelligent Automation Conference: Intelligent Automation & Intelligent Technology and Systems - Lecture Notes in Electrical Engineering (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Proceedings of 2013 Chinese Inte... (2013)

Zengqi Sun

Innbunden bok

2013 edition

The Demilitarized Zone (DMZ) of ... (2013)

Kwi-Gon Kim

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

Innbunden bok

2013 edition

Proceedings of 2013 Chinese Inte... (2013)

Zengqi Sun

Innbunden bok

2013 edition

Heavy Metal Stress in Plants (2013)

Francisco Javier Corpas

Cover for Daniel Maucher · Erfolgsmessung beim Investitionsgutereinkauf: Eine alleinige Frage von Savings? - Advanced Purchasing & SCM (Pocketbok) [2014 edition] (2014)

Pocketbok

2014 edition

Erfolgsmessung beim Investitions... (2014)

Daniel Maucher

Pocketbok

2013 edition

Neuro-Organisationskultur: Moder... (2013)

Garo D. Reisyan

Innbunden bok

2014 edition

Oil Pollution in the Baltic Sea ... (2013)

Andrey G Kostianoy

Cover for Francois Fremont · Young-Type Interferences with Electrons: Basics and Theoretical Challenges in Molecular Collision Systems - Springer Series on Atomic, Optical, and Plasma Physics (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Young-Type Interferences with El... (2013)

Francois Fremont

Cover for Selmin Nurcan · Enterprise, Business-Process and Information Systems Modeling: 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013, Proceedings - Lecture Notes in Business Informatio (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Enterprise, Business-Process and... (2013)

Selmin Nurcan

Innbunden bok

2013 edition

Dictyostelids: Evolution, Genomi... (2013)

Maria Romeralo

Cover for Xavier Franch · Advanced Information Systems Engineering Workshops: CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013, Proceedings - Lecture Notes in Business Information Processing (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Advanced Information Systems Eng... (2013)

Xavier Franch

Cover for Christine Julien · Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings - Lecture Not (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Coordination Models and Language... (2013)

Christine Julien

Cover for Ngoc-thanh Nguyen · Transactions on Computational Collective Intelligence - Lecture Notes in Computer Science / Transactions on Computational Collective Intelligence (Pocketbok) (2013)

Pocketbok

Transactions on Computational Co... (2013)

Ngoc-thanh Nguyen

Innbunden bok

1st ed. 2014. Corr. 2nd printing 2013 edition

Towards the Re-Industrialization... (2013)

Engelbert Westkamper

Cover for Miguel a Aon · Systems Biology of Metabolic and Signaling Networks: Energy, Mass and Information Transfer - Springer Series in Biophysics (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Systems Biology of Metabolic and... (2013)

Miguel a Aon

Cover for Daniel Veit · Foundations of Digital Government: Leading and Managing in the Digital Era - Springer Texts in Business and Economics (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Foundations of Digital Governmen... (2013)

Daniel Veit

Pocketbok

Hybrid Metaheuristics - Lecture ... (2013)

Maria J Blesa

Cover for Miroslaw Kutylowski · Information Security and Cryptology: 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Pocketbok) (2013)

Pocketbok

Information Security and Cryptol... (2013)

Miroslaw Kutylowski

Pocketbok

3. utgave

Differentialgeometrie Und Minima... (2013)

Jost-hinrich Eschenburg

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

Innbunden bok

2013 edition

Proceedings of 2013 Chinese Inte... (2013)

Zengqi Sun

Cover for Vincenzo Bonifaci · Experimental Algorithms: 12th International Symposium, Sea 2013, Rome, Italy, June 5-7, 2013, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Pocketbok) (2013)

Pocketbok

Experimental Algorithms: 12th In... (2013)

Vincenzo Bonifaci

Cover for Lorenzo Cavallaro · Information Security Theory and Practice: Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Pocketbok) (2013)

Pocketbok

Information Security Theory and ... (2013)

Lorenzo Cavallaro

Innbunden bok

2014 edition

Synthesis and Modifications of P... (2013)

Roberto Paolesse

Cover for Andrei a Bulatov · Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Computer Science - Theory and Ap... (2013)

Andrei a Bulatov

Cover for Jim Dowling · Distributed Applications and Interoperable Systems: 13th Ifip Wg 6.1 International Conference, Dais 2013, Held As Part of the 8th International Federated Conference on Distributed Computing Techniques, Discotec 2013, Florence, Italy, June 3-5, 2013, Proce (Pocketbok) (2013)

Pocketbok

Distributed Applications and Int... (2013)

Jim Dowling

Innbunden bok

2013 edition

Plasticity: Modeling & Computation (2013)

Ronaldo I. Borja

Innbunden bok

2014 edition

Mental Health Informatics - Stud... (2013)

Margaret Lech

Cover for Amr Youssef · Progress in Cryptology - Africacrypt 2013: 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Pocketbok) (2013)

Pocketbok

Progress in Cryptology - Africac... (2013)

Amr Youssef

Innbunden bok

2014 edition

Emerging Therapies in Neurorehab... (2013)

Jose L Pons

Cover for Andrzej Dziech · Multimedia Communications, Services and Security: 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings - Communications in Computer and Information Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Multimedia Communications, Servi... (2013)

Andrzej Dziech

Cover for Jianyong Wang · Web-age Information Management - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Pocketbok) (2013)

Pocketbok

Web-age Information Management -... (2013)

Jianyong Wang

Innbunden bok

2013 edition

Application of Integrable System... (2013)

C.B. Wang

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 (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Information Processing in Comput... (2013)

Dean Barratt

Innbunden bok

2013 edition

Software Product Quality Control (2013)

Stefan Wagner

Cover for Maria Paola Bonacina · Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Automated Deduction -- CADE-24: ... (2013)

Maria Paola Bonacina

Cover for Moonis Ali · Recent Trends in Applied Artificial Intelligence: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA / AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013, Proceedings - Lecture Notes in (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Recent Trends in Applied Artific... (2013)

Moonis Ali

Cover for Elena S. Prassas · Engineering Economics and Finance for Transportation Infrastructure - Springer Tracts on Transportation and Traffic (Innbunden bok) [2013 edition] (2013)

Innbunden bok

2013 edition

Engineering Economics and Financ... (2013)

Elena S. Prassas

Innbunden bok

2013 edition

Yarrowia lipolytica: Biotechnolo... (2013)

Gerold Barth

Innbunden bok

Security, Privacy and Trust in C... (2013)

Surya Nepal

Cover for Bharat Vagadia · Enterprise Governance: Driving Enterprise Performance Through Strategic Alignment - Management for Professionals (Innbunden bok) [2014 edition] (2013)

Innbunden bok

2014 edition

Enterprise Governance: Driving E... (2013)

Bharat Vagadia

Cover for Dirk Beyer · Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS / FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Pro (Pocketbok) [2013 edition] (2013)

Pocketbok

2013 edition

Formal Techniques for Distribute... (2013)

Dirk Beyer

Utgivere Springer-Verlag Berlin and Heidelberg Gm