Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Concurrency: Theory, Language, and Architecture: UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings

"Concurrency: Theory, Language, and Architecture": UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings

Springer Berlin Heidelberg (9783540539322 / 14 black & white illustrations, biograph)

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

Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

(9783540297352 / 1) | Programming Languages and Systems

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 3442, Band 3442)

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 3442, Band 3442)

(9783540254201 / Illustrations)

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Springer Berlin Heidelberg (9783540679592 / biography) | Theory and

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, L??beck, Germany, February 27 - March 1, 1997 Proceedings: 14th Annual ... Notes in Computer Science, 1200, Band 1200)

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, L??beck, Germany, February 27 - March 1, 1997 Proceedings: 14th Annual ... Notes in Computer Science, 1200, Band 1200)

Springer Berlin Heidelberg (9783540626169 / 6945104)

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: ... Notes in Computer Science, 796, Band 796)

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: ... Notes in Computer Science, 796, Band 796)

Springer Berlin Heidelberg (9783540579809 / 6906534) | High-Performance Computing and Networking

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

(9783540609834) | Extensions of Logic Programming

Constraint Databases and Applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings

Constraint Databases and Applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings

Springer Berlin Heidelberg (9783540607946 / 6943927) | Constraint Databases and Applications

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

(9783642386961)

ANNA A Language for Annotating Ada Programs: Reference Manual

ANNA A Language for Annotating Ada Programs: Reference Manual

Springer Berlin Heidelberg (9783540179801 / 6891024) | Language for Annotating Ada

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

(9783540207665 / biography) | CASL User Manual

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 3465)

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 3465)

(9783540256977 / Illustrations) | Formal Methods for

Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 3444, Band 3444)

Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 3444, Band 3444)

(9783540254355 / biography) | Programming Languages and, On Programming

Deductive and Object-Oriented Databases: Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings

Deductive and Object-Oriented Databases: Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings

Springer Berlin Heidelberg (9783540575306 / 1) | Deductive and Object-Oriented Databases

Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation

Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation

(9783540231356 / Illustrations)

Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets

Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets

(9781441929051)

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

(9783540619291 / biography) | For Industrial Applications

Loop Parallelization

Loop Parallelization

(9780792394556) | Loop Parallelization

Computational Linguistics and Intelligent Text Processing: 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings ... Notes in Computer Science, 2945, Band 2945)

Computational Linguistics and Intelligent Text Processing: 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings ... Notes in Computer Science, 2945, Band 2945)

(9783540210061 / Illustrations) | And Intelligent Text

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)

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Springer US (9780792397700 / 6865240) | With Parallelism and Persistence

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings ... Notes in Computer Science, 844, Band 844)

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings ... Notes in Computer Science, 844, Band 844)

Springer Berlin Heidelberg (9783540584025 / 6937587) | Implementation and Logic Programming

Business Component-Based Software Engineering

Business Component-Based Software Engineering

(9781402072079) | Business Component-Based Software Engineering

Animal Feed Formulation: Economic and Computer Applications

Animal Feed Formulation: Economic and Computer Applications

(9780442013356) | Animal Feed Formulation

Software Prototyping in Data and Knowledge Engineering

Software Prototyping in Data and Knowledge Engineering

(9780792360162) | Data and

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)

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

(9783540210023 / Illustrations) | Theory and Practice

Mathematical Theory of Control Systems Design

Mathematical Theory of Control Systems Design

(9780792337249) | Of Control Systems

Neural Networks in Optimization

Neural Networks in Optimization

(9780792365150) | Neural Networks

The Semantics And Proof Theory Of The Logic Of Bunched Implications

The Semantics And Proof Theory Of The Logic Of Bunched Implications

(9789048160723 / biography)

Visual Languages and Applications

Visual Languages and Applications

(9781441940032) | Visual Languages and

Constraint and Integer Programming: Toward a Unified Methodology

Constraint and Integer Programming: Toward a Unified Methodology

(9781461347194 / biography) | Constraint and Integer Programming

Lancelot: A Fortran Package For Large-Scale Nonlinear Optimization

Lancelot: A Fortran Package For Large-Scale Nonlinear Optimization

Springer Berlin Heidelberg (9783642081392 / 38 black & white illustrations, 24 black)

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, ... Notes in Computer Science, Band 7590)

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, ... Notes in Computer Science, Band 7590)

(9783642336652 / 298 black & white illustrations) | Engineering Languages and

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ...

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ...

Springer Berlin Heidelberg (9783540582335 / 1) | And Term

Filter

Anzeigen/verbergen vollständige Liste