Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... Notes in Computer Science, Band 10629)

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... Notes in Computer Science, Band 10629)

(9783319703886) | Hardware and Software, Verification and

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

(9783319689715) | Fundamentals of Software Engineering

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected ... Notes in Computer Science, Band 10380)

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected ... Notes in Computer Science, Band 10380)

(9783319681351) | Service-Oriented Computing

Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

(9783319680330) | Of Component Software

Critical Systems: Formal Methods and Automated Verification

RIDDLEDWITHSTYLE (9783319671123 / MUSCLE GYM VEST TOPS) | Formal Methods and, Formal Methods

Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

(9783319600734)

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

RIDDLEDWITHSTYLE (9783319659473 / SHORTS KIDS GIRLS) | Software Engineering for Resilient

Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

(9783319614694) | Graph Transformation

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... Notes in Computer Science, Band 10300)

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... Notes in Computer Science, Band 10300)

(9783319605876) | Reliable Software Technologies

Smart Card Research and Advanced Applications: 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers

(9783319546681)

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

(9783319522272) | Unifying Theories of Programming

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, ... Notes in Computer Science, Band 10007)

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, ... Notes in Computer Science, Band 10007)

(9783319509945) | OpenSHMEM and Related Technologies

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ... Notes in Computer Science, Band 10028)

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ... Notes in Computer Science, Band 10028)

(9783319490519) | Hardware and Software, Verification and

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

(9783319411347) | Tests and Proofs

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... Notes in Computer Science, Band 9695)

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... Notes in Computer Science, Band 9695)

(9783319390826) | Reliable Software Technologies

Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

(9783319391090) | Trends in Functional Programming

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

(9783319101804 / 125 black & white illustrations, biograp) | Integrated Formal Methods

Transactions on Aspect-Oriented Software Development XI

Transactions on Aspect-Oriented Software Development XI

(9783642550980 / 78 black & white illustrations, biograph) | Transactions on Aspect-Oriented

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Notes in Computer Science, Band 8415)

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Notes in Computer Science, Band 8415)

(9783642548475 / 76 black & white illustrations, biograph) | From Programs, The Systems

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Notes in Computer Science, Band 8332)

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Notes in Computer Science, Band 8332)

(9783319049144 / 64 black & white illustrations, biograph) | Structured Object-Oriented Formal

Pro .NET Best Practices

Pro .NET Best Practices

(9781430240235) | Best Practices, NET Best Practices

HTML5 Advertising

HTML5 Advertising

(9781430246022)

Pro NuGet

Pro NuGet

(9781430241911 / 9781430241911) | Voice in Microsoft

Foundation Adobe Edge Animate: for HTML5, CSS3, and JavaScript Development

Foundation Adobe Edge Animate: for HTML5, CSS3, and JavaScript Development

(9781430243502 / 9781430243502) | Adobe Edge Animate

ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised ... Computer and Information Science, Band 347)

ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised ... Computer and Information Science, Band 347)

Springer Berlin Heidelberg (9783642357367 / 52 black & white illustrations, biograph)

Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June ... Notes in Computer Science, Band 9111)

Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June ... Notes in Computer Science, Band 9111)

(9783319195834 / 68 black & white illustrations, biograph)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Springer-Verlag GmbH (9783319194578 / 61 black & white illustrations, biograph)

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference On Programming Concepts And Methods

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference On Programming Concepts And Methods

(9781475762990 / biography) | And Methods

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings

(9783319720555) | Of Computer Science

Functional Programming in C++

Functional Programming in C++

Manning (9781617293818 / 29283778) | Functional Programming

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)

(9783030034269) | Of Formal Methods

Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

(9783319351216 / NUSTBK20171230-C0119174) | Bridging with Social-Awareness

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

(9783662496299 / 78 black & white illustrations, biograph)

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected ... Notes in Computer Science, Band 9559)

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected ... Notes in Computer Science, Band 9559)

(9783319312194 / 90 black & white illustrations, biograph)

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

(9783319307336 / 112 black & white illustrations, biograp)

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

(9783319296272 / 141 black & white illustrations, biograp)

Filter

Anzeigen/verbergen vollständige Liste