Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... Notes in Computer Science, Band 9593)

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... Notes in Computer Science, Band 9593)

(9783319296128 / 41 black & white illustrations, biograph)

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596)

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596)

(9783319295091 / 86 black & white illustrations, biograph)

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

(9783319289335 / 118 black & white illustrations, biograp)

Distributed Embedded Control Systems: Improving Dependability with Coherent Design

Distributed Embedded Control Systems: Improving Dependability with Coherent Design

(9781848000513) | Distributed Embedded Control Systems

Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

(9783319242545 / 141 black & white illustrations, biograp)

An Integrated Approach to Software Engineering

An Integrated Approach to Software Engineering

(9781441935441) | Integrated Approach to

Adobe Acrobat 5: The Professional User's Guide

Adobe Acrobat 5: The Professional User's Guide

(9781590590232 / 9781590590232)

The French Language in the Digital Age

The French Language in the Digital Age

(9783642307607) | Language in The Digital

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)

(9783540724827 / biography) | Formal Methods for

The German Language in the Digital Age

The German Language in the Digital Age

Springer-Verlag GmbH (9783642271656 / 2 black & white illustrations, 24 colour) | Language in The Digital

Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook

Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook

Springer US (9781441954657 / 13415452)

Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Notes in Computer Science, 4420, Band 4420)

Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Notes in Computer Science, 4420, Band 4420)

(9783540712282 / Illustrations) | Compiler Construction, Practice of Software

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

(9783319402284)

Essentials of Constraint Programming

Essentials of Constraint Programming

(9783642087127 / 27 black & white illustrations)

CSS for Windows 8 App Development

CSS for Windows 8 App Development

(9781430249832)

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... Computer and Information Science, Band 476)

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... Computer and Information Science, Band 476)

Springer-Verlag GmbH (9783319175805 / 86 black & white illustrations, biograph) | For Safety-Critical Systems

Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

(9783030148041) | Trends in Functional Programming

Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

(9783030122737) | Accelerator Programming Using

Swift 4 Recipes: Hundreds of Useful Hand-picked Code Snippets

Swift 4 Recipes: Hundreds of Useful Hand-picked Code Snippets

Springer, Berlin; Apress (9781484241813 / 53803234) | Zafeiropoulos Swift

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

(9783030129873) | Formal Techniques for Safety-Critical

Android Espresso Revealed: Writing Automated UI Tests

Android Espresso Revealed: Writing Automated UI Tests

(9781484243145) | Android Espresso Revealed

Data Structures and Algorithms with Scala: A Practitioner's Approach with Emphasis on Functional Programming

Data Structures and Algorithms with Scala: A Practitioner's Approach with Emphasis on Functional Programming

Springer-Verlag GmbH (9783030125608 / 35174882) | Algorithms with Scala

Practical Machine Learning and Image Processing: For Facial Recognition, Object Detection, and Pattern Recognition Using Python

Practical Machine Learning and Image Processing: For Facial Recognition, Object Detection, and Pattern Recognition Using Python

APRESS L.P. (9781484241486 / 33996847) | Practical Machine Learning and

PySpark SQL Recipes: With HiveQL, Dataframe and Graphframes

PySpark SQL Recipes: With HiveQL, Dataframe and Graphframes

APRESS L.P. (9781484243343 / 34798803) | PySpark SQL Recipes

asyncio Recipes: A Problem-Solution Approach

asyncio Recipes: A Problem-Solution Approach

(9781484244005) | Asyncio Recipes

Advances in Audio Watermarking Based on Matrix Decomposition

Advances in Audio Watermarking Based on Matrix Decomposition

Springer-Verlag GmbH (9783030157258 / 35490835) | Kumar Dhar

Syntactic n-grams in Computational Linguistics

Syntactic n-grams in Computational Linguistics

Springer-Verlag GmbH (9783030147709 / 35396031) | Syntactic n-grams

PowerShell and Python Together: Targeting Digital Investigations

PowerShell and Python Together: Targeting Digital Investigations

Springer, Berlin; Apress (9781484245033 / 55134666) | PowerShell and Python Together

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Notes in Computer Science, Band 11408)

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Notes in Computer Science, Band 11408)

Springer-Verlag GmbH (9783030138370 / 35325600) | Synthesis and Transformation

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

Springer-Verlag GmbH (9783319212142 / 57 black & white illustrations, biograph) | Tests and Proofs

Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Springer Berlin Heidelberg (9783540439301 / Illustrations)

Guide to ILDJIT

Guide to ILDJIT

(9781447121930)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, ... Notes in Computer Science, Band 3011)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, ... Notes in Computer Science, Band 3011)

(9783540218364 / 1)

Rischpater Ray Microsoft Mapping

Rischpater Ray Microsoft Mapping

APRESS L.P. (9781430261094 / 20518657) | Microsoft Mapping

Let's Build a Multiplayer Phaser Game: With TypeScript, Socket.IO, and Phaser

Let's Build a Multiplayer Phaser Game: With TypeScript, Socket.IO, and Phaser

APRESS L.P. (9781484242483 / 34457298) | Let's Build

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

(9783540878025)

Filter

Anzeigen/verbergen vollständige Liste