Comparor Shopping Experience

Programmiersprachen

11,919 Ergebnis(s)

Vorschläge für Programmiersprachen

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Notes in Computer Science, 5438, Band 5438)

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Notes in Computer Science, 5438, Band 5438)

(9783642005145 / biography)

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Springer International Publishing (9783319108810 / 97 black & white illustrations, biograph) | Of Computing

Open Source Software for Digital Forensics

Open Source Software for Digital Forensics

(9781489983282 / biography)

Trustworthy Global Computing: 4th International Symposium, T.G.C. 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, T.G.C. 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

(9783642009440 / biography)

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Notes in Computer Science, Band 5504)

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Notes in Computer Science, Band 5504)

(9783642005954 / biography)

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, H.V.C. 2008, Haifa, Israel, October 27-30, 2008, . . ... Notes in Computer Science, 5394, Band 5394)

(9783642017018 / biography)

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Notes in Computer Science, Band 6355)

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Notes in Computer Science, Band 6355)

(9783642175107 / 32210894)

Object-Oriented Application Development Using the Caché Postrelational Database

Object-Oriented Application Development Using the Caché Postrelational Database

(9783642624698) | Kirsten Object-Oriented Application, Object-Oriented Application

Euro-Par 2014: Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Euro-Par 2014: Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Springer International Publishing (9783319098722 / 298 black & white illustrations, biograp) | Parallel Processing

Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering

(9783642639708) | Software Pioneers

Patterns, Programming and Everything

Patterns, Programming and Everything

(9781447160212) | Programming and Everything

Virtual Machines

Virtual Machines

(9781849969802) | Virtual Machines

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Springer Berlin Heidelberg (9783642548291 / 48 black & white illustrations, biograph)

Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

(9783319041315) | Of Declarative Languages

Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

Springer International Publishing (9783319035413 / 40 black & white illustrations, biograph) | Programming Languages and Systems

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Springer International Publishing (9783319035444 / 44 black & white illustrations, biograph) | Certified Programs and Proofs

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

(9781475752687 / biography) | For Open Object-Based

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

(9781475753202 / biography) | Generic Programming

In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman

In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman

(9783642416590 / 121 black & white illustrations, biograp) | Search Of, And practice of

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

(9783319026534 / 156 black & white illustrations, biograp) | Software Language Engineering

Workload Characterization for Computer System Design

Workload Characterization for Computer System Design

(9781461369738) | For Computer System Design

Computational Logic

Computational Logic

(9783642636707 / , black & white illustrations) | Springer Berlin, Computational Logic

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Springer Berlin Heidelberg (9783642386121 / NUSTBK20171230-C0115803)

Ada 95

Ada 95

(9781461264323)

C Programming: The Essentials for Engineers and Scientists

C Programming: The Essentials for Engineers and Scientists

(9781461271611)

Transactions on Aspect-Oriented Software Development X

Transactions on Aspect-Oriented Software Development X

Springer Berlin Heidelberg (9783642369636 / 76 black & white illustrations, biograph)

Software and Data Technologies: 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Software and Data Technologies: 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

(9783642295775 / 99 black & white illustrations, biograph)

Software and Data Technologies: 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Software and Data Technologies: 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Springer Berlin Heidelberg (9783642361760 / 90 black & white illustrations, biograph)

Evaluation of Novel Approaches to Software Engineering: 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected ... Computer and Information Science, Band 275)

Evaluation of Novel Approaches to Software Engineering: 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected ... Computer and Information Science, Band 275)

Springer Berlin Heidelberg (9783642323409 / 102 black & white illustrations, biograp)

Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, ... Notes in Computer Science, Band 7680)

Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, ... Notes in Computer Science, Band 7680)

Springer Berlin Heidelberg (9783642359910 / 112 black & white illustrations, biograp)

Transactions on Aspect-Oriented Software Development IX

Transactions on Aspect-Oriented Software Development IX

Springer Berlin Heidelberg (9783642355509 / 97 black & white illustrations, biograph)

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer Berlin Heidelberg (9783642357213 / 49 black & white illustrations, biograph)

Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, ... Notes in Computer Science, Band 7635)

Springer Berlin Heidelberg (9783642342806 / 131 black & white illustrations, biograp)

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers

Springer-Verlag GmbH (9783642319501 / 130 black & white illustrations, biograp)

Abstraction, Refinement and Proof for Probabilistic Systems

(9781441923127)

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from ... and Property Specification from FDL’03

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from ... and Property Specification from FDL’03

(9781441954572)

Filter

Anzeigen/verbergen vollständige Liste