Comparor Shopping Experience

Programmiersprachen

11,919 Ergebnis(s)

Vorschläge für Programmiersprachen

Transactions on Pattern Languages of Programming III

Transactions on Pattern Languages of Programming III

(9783642386756) | Pattern Languages of Programming

Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Springer Berlin Heidelberg (9783642390302 / 133 black & white illustrations, biograp) | Software Architecture

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His ... Notes in Computer Science, Band 7860)

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His ... Notes in Computer Science, Band 7860)

(9783642381638 / 26 black & white illustrations, biograph)

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Springer Berlin Heidelberg (9783642382291 / 55 black & white illustrations, biograph) | And Formal Methods

Implementations of Logic Programming Systems

Implementations of Logic Programming Systems

Springer US (9781461361572)

Object-Oriented Metamethods

Object-Oriented Metamethods

Springer New York (9781461272632) | Object-Oriented Metamethods

Compiler Technology: Tools, Translators and Language Implementation

Compiler Technology: Tools, Translators and Language Implementation

Springer US (9781461377849) | Beng Kee Kiong, Compiler Technology

Variational Object-Oriented Programming Beyond Classes and Inheritance

Variational Object-Oriented Programming Beyond Classes and Inheritance

Springer US (9781461375746) | Variational Object-Oriented Programming Beyond

Behavioral Specifications Of Businesses and Systems

Behavioral Specifications Of Businesses and Systems

Springer US (9781461373834) | Of Businesses and Systems

Data Structure Programming

Data Structure Programming

(9781461272236)

Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited ... Notes in Computer Science, Band 7784)

Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited ... Notes in Computer Science, Band 7784)

Springer Berlin Heidelberg (9783642378898) | Languages and Technologies X

Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures

Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures

Springer Berlin Heidelberg (9783642360534 / 72 black & white illustrations, biograph) | Software Engineering

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

(9783642358609 / 72 black & white illustrations, biograph)

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer Berlin Heidelberg (9783642358869 / 129 black & white illustrations, biograp)

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Springer Berlin Heidelberg (9783642356315 / 93 black & white illustrations, biograph)

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer Berlin Heidelberg (9783642357046 / 4 black & white illustrations, biography) | Unifying Theories of Programming

Multiprocessor Execution of Logic Programs

Multiprocessor Execution of Logic Programs

Springer US (9781461362005 / biography) | Multiprocessor Execution of Logic

The Interaction of Compilation Technology and Computer Architecture

The Interaction of Compilation Technology and Computer Architecture

Springer US (9781461361541 / biography) | Of Compilation Technology and

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

(9783642357428 / 131 black & white illustrations, biograp)

Network and Parallel Computing: 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings

Springer Berlin Heidelberg (9783642356056 / 253 black & white illustrations, biograp)

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Springer Berlin Heidelberg (9783642353079 / 64 black & white illustrations)

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected ... Notes in Computer Science, Band 7257)

Springer Berlin Heidelberg (9783642344060 / 19776769) | Application of Functional

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

Springer Berlin Heidelberg (9783642351815 / 19859641)

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... Notes in Computer Science, Band 7261)

Springer Berlin Heidelberg (9783642341878 / 95 black & white illustrations, biograph)

The Croatian Language in the Digital Age

The Croatian Language in the Digital Age

(9783642308819)

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... Notes in Computer Science, Band 7571)

Springer Berlin Heidelberg (9783642340048 / 51 black & white illustrations, biograph)

The Maltese Language in the Digital Age

The Maltese Language in the Digital Age

Springer-Verlag GmbH (9783642306808 / 19113878)

Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

Springer-Verlag GmbH (9783642331817 / 78 black & white illustrations, biograph)

The Polish Language in the Digital Age

The Polish Language in the Digital Age

Springer-Verlag GmbH (9783642308109 / 19068294)

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Springer Berlin Heidelberg (9783642335112 / 19453982)

The Estonian Language in the Digital Age

The Estonian Language in the Digital Age

Springer-Verlag GmbH (9783642307843 / 19129601)

The Italian Language in the Digital Age

The Italian Language in the Digital Age

(9783642307751)

The Catalan Language in the Digital Age

The Catalan Language in the Digital Age

Springer-Verlag GmbH (9783642306778 / 19113753)

System Level Design of Reconfigurable Systems-on-Chip

System Level Design of Reconfigurable Systems-on-Chip

Springer US (9781441938640 / 14507709)

Many-Valued Logics 2: Automated Reasoning and Practical Applications

Many-Valued Logics 2: Automated Reasoning and Practical Applications

(9783642084171 / 17 black & white illustrations, 11 black)

Duration Calculus: A Formal Approach to Real-Time Systems

Duration Calculus: A Formal Approach to Real-Time Systems

(9783642074042 / 20 black & white illustrations)

Filter

Anzeigen/verbergen vollständige Liste