Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

(9783319488684)

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

(9783319458915) | Software Engineering for Resilient

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

(9783319452784) | Programming Languages

Introducing Meteor

Introducing Meteor

(9781430268369 / 25 black & white illustrations, biograph)

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings

(9783642329425)

Deduction Systems

Deduction Systems

Springer New York (9781461274797 / 19301795)

Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

Springer Berlin Heidelberg (9783540539193 / 1)

Defending IoT Infrastructures with the Raspberry Pi: Monitoring and Detecting Nefarious Behavior in Real Time

Defending IoT Infrastructures with the Raspberry Pi: Monitoring and Detecting Nefarious Behavior in Real Time

APRESS L.P. (9781484236994 / 33046969) | Defending IoT Infrastructures with

Build Android-Based Smart Applications: Using Rules Engines, NLP and Automation Frameworks

Build Android-Based Smart Applications: Using Rules Engines, NLP and Automation Frameworks

APRESS L.P. (9781484233269 / 30240773) | Build Android-Based Smart Applications

MySQL Connector/Python Revealed: SQL and NoSQL Data Storage Using MySQL for Python Programmers

MySQL Connector/Python Revealed: SQL and NoSQL Data Storage Using MySQL for Python Programmers

(9781484236932) | MySQL Connector/Python Revealed

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science, 10201, Band 10201)

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science, 10201, Band 10201)

Springer-Verlag GmbH (9783662544334 / 28485930) | Programming Languages and, On Programming

Object-Oriented and Mixed Programming Paradigms: New Directions in Computer Graphics

Object-Oriented and Mixed Programming Paradigms: New Directions in Computer Graphics

Springer Berlin Heidelberg (9783642646768 / biography)

Emotion-Oriented Systems: The Humaine Handbook

Emotion-Oriented Systems: The Humaine Handbook

(9783642267000 / biography)

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 4961, Band 4961)

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 4961, Band 4961)

Springer-Verlag GmbH (9783540787426 / 7286405)

Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 Revised Invited and Selected Papers

Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 Revised Invited and Selected Papers

(9783642032776 / biography)

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

(9783540883869 / biography)

Expert .NET Delivery Using NAnt and CruiseControl.NET

Expert .NET Delivery Using NAnt and CruiseControl.NET

(9781430211587)

Early Aspects: Current Challenges and Future Directions: 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

Early Aspects: Current Challenges and Future Directions: 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

(9783540768104 / biography) | Current Challenges and Future

Implementing Distributed Systems with Java and CORBA

Implementing Distributed Systems with Java and CORBA

(9783642063343 / 13 black & white tables, biography) | Systems with Java and

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Springer Japan (9783540852865 / biography)

Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 ... Notes in Computer Science, 5047, Band 5047)

Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 ... Notes in Computer Science, 5047, Band 5047)

Springer-Verlag GmbH (9783540685142 / 3540685146)

High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, ... Notes in Computer Science, Band 4917)

High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, ... Notes in Computer Science, Band 4917)

Springer-Verlag GmbH (9783540775591 / biography)

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, ... Notes in Computer Science, Band 11194)

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, ... Notes in Computer Science, Band 11194)

Springer-Verlag GmbH (9783030021481 / 34191966) | Algebraic Methods

Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

(9783030027674) | And Systems

Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

(9783319999050) | Rules and Reasoning

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)

(9783319948201) | Interactive Theorem Proving

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)

(9783319944593) | Synthesis and Transforamtion

Validation of Evolving Software

Validation of Evolving Software

(9783319382005) | Validation of Evolving Software

Introduction to Modern Fortran for the Earth System Sciences

Introduction to Modern Fortran for the Earth System Sciences

(9783662510827) | Modern Fortran for the

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

(9783319779348) | NASA Formal Methods

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

(9783319747293) | Applications and Foundations

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised ... Notes in Computer Science, Band 10742)

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised ... Notes in Computer Science, Band 10742)

(9783319743127) | Perspectives of System Informatics

SOFSEM 2018: Theory and Practice of Computer Science

SOFSEM 2018: Theory and Practice of Computer Science

(9783319731162) | And Practice of Computer

Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

Springer-Verlag GmbH (9783319959290 / 33341531) | Theories and Application

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

(9783662576687) | And Computation

Evaluation of Novel Approaches to Software Engineering: 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised ... Computer and Information Science, Band 866)

Evaluation of Novel Approaches to Software Engineering: 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised ... Computer and Information Science, Band 866)

(9783319941349) | Novel Approaches to

Filter

Anzeigen/verbergen vollständige Liste