Comparor Shopping Experience

Programmiersprachen

11,919 Ergebnis(s)

Vorschläge für Programmiersprachen

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)

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)

The Slovak Language in the Digital Age

The Slovak Language in the Digital Age

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

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

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)

(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

(9783540732099 / biography)

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, ... Notes in Computer Science, Band 10466)

RIDDLEDWITHSTYLE (9783319661759 / PLAYSUIT) | Verification and Evaluation of

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

(9783319568409) | Engineering Trustworthy Software

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Springer-Verlag GmbH (9783319662657 / 29690022) | And Security

Corpus-based studies on language varieties

Corpus-based studies on language varieties

Lang, Peter (9783034320443 / 103) | On language varieties

Raspberry Pi Supercomputing and Scientific Programming: MPI4PY, NumPy, and SciPy for Enthusiasts

Raspberry Pi Supercomputing and Scientific Programming: MPI4PY, NumPy, and SciPy for Enthusiasts

Springer, Berlin; Apress (9781484228777 / 48076265) | Raspberry Pi Supercomputing and

Learn iOS Application Distribution: Successfully Distribute Apps

Learn iOS Application Distribution: Successfully Distribute Apps

APRESS L.P. (9781484226827 / 28382157) | Learn iOS Application Distribution

Pro Oracle SQL

Pro Oracle SQL

(9781430232285 / 978-1-4302-3228-5) | Morton Pro Oracle SQL, Oracle SQL

Pro IronPython

Pro IronPython

(9781430219620 / 978-1-4302-1962-0)

Beginning Julia Programming: For Engineers and Scientists

Beginning Julia Programming: For Engineers and Scientists

APRESS L.P. (9781484231708 / 29981096) | Beginning Julia Programming

The Definitive Guide to Spring Batch: Modern Finite Batch Processing in the Cloud

The Definitive Guide to Spring Batch: Modern Finite Batch Processing in the Cloud

(9781484237236)

Languages and Compilers for Parallel Computing: 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers: ... Notes in Computer Science, Band 2958)

Languages and Compilers for Parallel Computing: 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers: ... Notes in Computer Science, Band 2958)

(9783540211990 / Illustrations)

Typed Feature Structure Grammars

Typed Feature Structure Grammars

(9783631575505 / tables and graphs)

Applied Linguistics Today: Research and Perspectives - Angewandte Linguistik heute: Forschung und Perspektiven: Proceedings from the CALS conference 2011 - Beiträge von der KGAL-Konferenz 2011

Applied Linguistics Today: Research and Perspectives - Angewandte Linguistik heute: Forschung und Perspektiven: Proceedings from the CALS conference 2011 - Beiträge von der KGAL-Konferenz 2011

(9783631638712)

Giants of Computing: A Compendium of Select, Pivotal Pioneers

Giants of Computing: A Compendium of Select, Pivotal Pioneers

(9781447162261 / 23 black & white tables, biography)

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ... Notes in Computer Science, Band 9360)

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ... Notes in Computer Science, Band 9360)

Springer International Publishing (9783319235059 / 69 colour illustrations, biography)

Handbook of Open Source Tools

Handbook of Open Source Tools

(9781489991492 / 314 black & white illustrations, biograp)

Business Process Technology: A Unified View on Business Processes, Workflows and Enterprise Applications

Business Process Technology: A Unified View on Business Processes, Workflows and Enterprise Applications

(9783642448348 / biography)

Evolutionary Algorithms for Solving Multi-Objective Problems

Evolutionary Algorithms for Solving Multi-Objective Problems

(9781489994608 / biography)

Guide to Assembly Language: A Concise Introduction

Guide to Assembly Language: A Concise Introduction

(9781447158707)

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Springer International Publishing (9783319150741 / 39 black & white illustrations, biograph)

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Springer International Publishing (9783319148052 / 10 black & white illustrations, biograph)

Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

(9783642439858 / biography)

Filter

Anzeigen/verbergen vollständige Liste