Comparor Shopping Experience

Programmiersprachen Springer

681 Ergebnis(s)

Aktive Filter

Vorschläge für Programmiersprachen Springer

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Vasteras, Sweden, June/July 2006 Proceedings: 9th International ... Notes in Computer Science, 4063, Band 4063)

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Vasteras, Sweden, June/July 2006 Proceedings: 9th International ... Notes in Computer Science, 4063, Band 4063)

(9783540356288 / 1)

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

(9783319952451) | Principles of Modeling

Transactions on Aspect-Oriented Software Development I

Transactions on Aspect-Oriented Software Development I

(9783540329725 / 1)

Computational Geometry on Surfaces: Performing Computational Geometry on the Cylinder, the Sphere, the Torus, and the Cone

Computational Geometry on Surfaces: Performing Computational Geometry on the Cylinder, the Sphere, the Torus, and the Cone

(9781402002021) | Computational Geometry on

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning: Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European ... Notes in Computer Science, 4865, Band 4865)

(9783540779476)

Transferring Information Literacy Practices

Transferring Information Literacy Practices

(9789811377426) | Transferring Information Literacy Practices

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers

(9783540882817)

The Beauty of Fractals: Images of Complex Dynamical Systems

The Beauty of Fractals: Images of Complex Dynamical Systems

(9783540158516 / biography) | The Beauty of Fractals

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, ... Notes in Computer Science, Band 2131)

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, ... Notes in Computer Science, Band 2131)

(9783540426097 / Illustrations) | Recent Advances, And Message

Methods of Cut-Elimination

Methods of Cut-Elimination

(9789400703193 / biography) | Methods of Cut-Elimination

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

(9783642008665 / biography)

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

(9783540346944 / Illustrations)

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010 ... Notes in Computer Science, 5987, Band 5987)

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010 ... Notes in Computer Science, 5987, Band 5987)

(9783642121036)

Complexity in Polish Phonotactics: On Features, Weights, Rankings and Preferences

Complexity in Polish Phonotactics: On Features, Weights, Rankings and Preferences

(9789811372988) | Complexity in Polish Phonotactics

Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Springer (9783642314759 / biography) | High Performance Computing

Software Architecture: 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

Software Architecture: 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

(9783642151132 / Illustrations) | Software Architecture

Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

(9783319122137 / 91 black & white illustrations, biograph)

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... Notes in Computer Science, 4899, Band 4899)

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... Notes in Computer Science, 4899, Band 4899)

(9783540779643 / biography)

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

(9783540410300 / Illustrations) | Checking and Software

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail ... Notes in Computer Science, Band 11495)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail ... Notes in Computer Science, Band 11495)

(9783030187439) | And Security of

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

(9783642182747) | And Abstract

Software Process Modeling

Software Process Modeling

(9781441937100)

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

(9783030171261)

Evaluation of Novel Approaches to Software Engineering: 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected ... Computer and Information Science, Band 230)

Evaluation of Novel Approaches to Software Engineering: 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected ... Computer and Information Science, Band 230)

(9783642233906 / 102 black & white illustrations, biograp) | Novel Approaches to Software

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

(9783540781622 / biography) | And Abstract

Multimedia Introduction to Programming Using Java

Multimedia Introduction to Programming Using Java

(9780387226811 / 13922884)

The Parametric Lambda Calculus: A Metamodel for Computation

The Parametric Lambda Calculus: A Metamodel for Computation

(9783642057465) | The Parametric Lambda Calculus

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

(9783540457725 / biography) | Engineering Languages and

The Unified Modeling Language: Technical Aspects and Applications

The Unified Modeling Language: Technical Aspects and Applications

(9783790811056 / 43 black & white illustrations, 15 black) | The Unified Modeling Language

Coordination of Internet Agents: Models, Technologies, and Applications

Coordination of Internet Agents: Models, Technologies, and Applications

(9783642074882 / 89 black & white illustrations, 16 black) | Coordination of Internet Agents

Optimized ASIP Synthesis from Architecture Description Language Models

Optimized ASIP Synthesis from Architecture Description Language Models

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

(9781849967020)

Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06

Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06

(9789048175499) | For Embedded Systems

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

(9783642082306 / 87 black & white illustrations)

The Semantics And Proof Theory Of The Logic Of Bunched Implications

The Semantics And Proof Theory Of The Logic Of Bunched Implications

(9789048160723 / biography)

Constraint and Integer Programming: Toward a Unified Methodology

Constraint and Integer Programming: Toward a Unified Methodology

(9781461347194 / biography) | Constraint and Integer Programming

Filter

Anzeigen/verbergen vollständige Liste