Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

(9783642391750)

ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings

ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings

Springer Berlin Heidelberg (9783540183532 / 7129527)

Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers ... Notes in Computer Science, 1260, Band 1260)

Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers ... Notes in Computer Science, 1260, Band 1260)

Springer Berlin Heidelberg (9783540631743 / Illustrations)

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Springer Berlin Heidelberg (9783540102502 / 6901536)

Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979

Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979

Springer Berlin Heidelberg (9783540097457 / 6884728)

Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism

Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism

Springer Berlin Heidelberg (9783540591733 / 6902998)

The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L

The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L

Springer Berlin Heidelberg (9783540151876 / 6896396)

Grammar and L Forms: An Introduction

Grammar and L Forms: An Introduction

Springer Berlin Heidelberg (9783540102335 / 3 tables)

Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977

Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977

Springer Berlin Heidelberg (9783540083429 / 6886625)

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag GmbH (9783642307287 / 105 black & white illustrations, biograp)

Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Springer-Verlag GmbH (9783642295164 / 82 black & white illustrations, biograph)

Object-Oriented Technology

Object-Oriented Technology

(9783319204413 / 40 black & white illustrations, biograph) | Object-Oriented Technology

Advances in Robot Kinematics and Computational Geometry

Advances in Robot Kinematics and Computational Geometry

(9780792329831)

The WordNet in Indian Languages

The WordNet in Indian Languages

(9789811019074)

Non-Functional Requirements in Software Engineering

Non-Functional Requirements in Software Engineering

(9780792386667)

Constructive Models

Constructive Models

Springer US (9781461369325) | Constructive Models

Handbook of Tables for Order Statistics from Lognormal Distributions with Applications

Handbook of Tables for Order Statistics from Lognormal Distributions with Applications

(9780792356349)

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms For Uncertainty And Defeasible Reasoning

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms For Uncertainty And Defeasible Reasoning

(9789048156030 / biography)

A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems

A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems

(9780792354871)

Fundamentals and Standards in Hardware Description Languages

Fundamentals and Standards in Hardware Description Languages

(9780792325130)

System-on-Chip Methodologies & Design Languages

System-on-Chip Methodologies & Design Languages

(9780792373933)

Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 2005 and Hakodate, Japan, May ... Notes in Computer Science, Band 3859)

Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 2005 and Hakodate, Japan, May ... Notes in Computer Science, Band 3859)

(9783540681427 / biography)

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Springer-Verlag GmbH (9783642043673 / biography)

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected ... Notes in Computer Science, Band 5421)

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected ... Notes in Computer Science, Band 5421)

(9783642016479 / biography)

Functional Programming, Glasgow 1991: Proceedings Of The 1991 Glasgow Workshop On Functional Programming, Portree, Isle Of Skye, 1214 August 1991

"Functional Programming, Glasgow 1991": "Proceedings Of The 1991 Glasgow Workshop On Functional Programming, Portree, Isle Of Skye, 1214 August 1991"

(9783540197607 / biography) | Functional Programming

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science, 3210, Band 3210)

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science, 3210, Band 3210)

(9783540230243 / 1)

Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

Springer-Verlag GmbH (9783642307928 / 75 black & white illustrations, biograph)

Online Harassment

Online Harassment

Springer-Verlag GmbH (9783319785820 / 31871793)

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

(9783319686684) | And Security, String Analysis

Community Informatics Design Applied to Digital Social Systems: Communicational Foundations, Theories and Methodologies

Community Informatics Design Applied to Digital Social Systems: Communicational Foundations, Theories and Methodologies

(9783319653723)

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

(9783030010898) | For Verification and Analysis

Microcomputer

Microcomputer

(9783662377567 / 11 black & white illustrations, biograph) | Kenneth L

Prolog and its Applications: A Japanese perspective

Prolog and its Applications: A Japanese perspective

(9780412377709) | U M I O

Analysis and Design of Algorithms in Combinatorial Optimization

Analysis and Design of Algorithms in Combinatorial Optimization

Springer Vienna (9783211816264 / biography) | Design of Algorithms

Computational Intelligence in Multi-Feature Visual Pattern Recognition: Hand Posture and Face Recognition using Biologically Inspired Approaches

Computational Intelligence in Multi-Feature Visual Pattern Recognition: Hand Posture and Face Recognition using Biologically Inspired Approaches

(9789812870551 / 25 black & white illustrations, 25 colou) | Multi-Feature Visual

Computer Systems

Computer Systems

(9781475780758 / 67 black & white illustrations, biograph) | Computer Systems

Filter

Anzeigen/verbergen vollständige Liste