Comparor Shopping Experience

Programmiersprachen

11,926 Ergebnis(s)

Vorschläge für Programmiersprachen

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

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)

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

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)

Object-Oriented Programming for Graphics

Object-Oriented Programming for Graphics

Springer Berlin Heidelberg (9783642791949 / 2 colour illustrations, biography)

Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... Notes in Computer Science, 2303, Band 2303)

Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... Notes in Computer Science, 2303, Band 2303)

Springer Berlin Heidelberg (9783540433668 / Illustrations)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

(9783540582168)

The Slovak Language in the Digital Age

The Slovak Language in the Digital Age

Springer-Verlag GmbH (9783642303692 / 2 black & white illustrations, 23 colour)

Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II

Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II

(9783642233968 / 67 black & white illustrations, 107 colo)

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings

Springer-Verlag GmbH (9783642221095 / 134 black & white illustrations, 46 colo)

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008

(9783540680628)

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

(9783319425467) | Intelligent Computer Mathematics

Benchmarking Eventually Consistent Distributed Storage Systems

Benchmarking Eventually Consistent Distributed Storage Systems

(9783731501862) | Bermbach Benchmarking Eventually, Benchmarking Eventually

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

(9783731501381) | Hauck Automated Experiments for, Automated Experiments for

Certifying Software Component Performance Specifications

Certifying Software Component Performance Specifications

(9783731500803) | Groenda Certifying Software Component, Certifying Software Component

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

(9783642024436 / Illustrations)

AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008 ... Notes in Computer Science, 5360, Band 5360)

AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008 ... Notes in Computer Science, 5360, Band 5360)

(9783540893776)

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Springer-Verlag GmbH (9783540734475 / biography)

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

(9783540732099 / biography)

Filter

Anzeigen/verbergen vollständige Liste