Comparor Shopping Experience

Programmiersprachen

11,926 Ergebnis(s)

Vorschläge für Programmiersprachen

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

(9783662568729)

Extraction of Prosody for Automatic Speaker, Language, Emotion and Speech Recognition

Extraction of Prosody for Automatic Speaker, Language, Emotion and Speech Recognition

(9783319911700) | Extraction of Prosody for

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised ... Notes in Computer Science, Band 10757)

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised ... Notes in Computer Science, Band 10757)

(9783319755526) | Applications of Formal

Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

(9783319753959) | And Nets

Accelerator Programming Using Directives

(9783319748955) | Accelerator Programming Using Directives

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

(9783319738048) | Move to Meaningful

Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings

Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings

(9783319733043) | Of Declarative Languages

Clean Python: Elegant Coding in Python

Clean Python: Elegant Coding in Python

(9781484248775)

Exploring the .NET Core 3.0 Runtime: Through Code Generation and Metadata Inspection

Exploring the .NET Core 3.0 Runtime: Through Code Generation and Metadata Inspection

(9781484251126)

Building an Enterprise Chatbot: Work with Protected Enterprise Data Using Open Source Frameworks

Building an Enterprise Chatbot: Work with Protected Enterprise Data Using Open Source Frameworks

(9781484250334)

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

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

Springer-Verlag GmbH (9783642370564 / 90 black & white illustrations)

Corpora and ICT in Language Studies: PALC 2005

Corpora and ICT in Language Studies: PALC 2005

Lang, Peter GmbH (9783631560990 / num fig., tables and graphs) | ICT in Language Studies

Corpus Linguistics, Computer Tools, and Applications - State of the Art: PALC 2007

Corpus Linguistics, Computer Tools, and Applications - State of the Art: PALC 2007

Lang, Peter GmbH (9783631583111 / fig., tables and graphs) | State of, Corpus Linguistics

Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Springer-Verlag GmbH (9783319159393 / 122 black & white illustrations, biograp) | Functional Programming School

Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

(9783642639975 / 13 black & white illustrations, 18 black)

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Notes in Computer Science, Band 9763)

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Notes in Computer Science, Band 9763)

(9783319415901)

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

(9783540731467 / biography)

The Dutch Language in the Digital Age

The Dutch Language in the Digital Age

Springer-Verlag GmbH (9783642259777 / 24 colour illustrations, 2 black & white)

The Finnish Language in the Digital Age

The Finnish Language in the Digital Age

Springer-Verlag GmbH (9783642272479 / 2 black & white illustrations, 8 colour)

The Bulgarian Language in the Digital Age

The Bulgarian Language in the Digital Age

Springer-Verlag GmbH (9783642301674 / 24 colour illustrations, 6 colour tables)

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

(9783540424963 / Illustrations)

Machine Learning and Data Mining in Pattern Recognition: 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings

Machine Learning and Data Mining in Pattern Recognition: 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings

(9783642030697 / Illustrations)

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Papers: ... Notes in Computer Science, 5382, Band 5382)

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Papers: ... Notes in Computer Science, 5382, Band 5382)

(9783540921875 / biography)

Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... Notes in Computer Science, Band 4998)

Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... Notes in Computer Science, Band 4998)

(9783540881377 / biography)

Scalable Uncertainty Management: Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings

Scalable Uncertainty Management: Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings

(9783540879923)

FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku, Finland, May 2008 Proceedings: 15th International Symposium on Formal ... Notes in Computer Science, 5014, Band 5014)

FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku, Finland, May 2008 Proceedings: 15th International Symposium on Formal ... Notes in Computer Science, 5014, Band 5014)

(9783540682356)

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

(9783540752905 / biography)

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

(9783540711551 / biography)

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)

(9783540709510 / biography)

Text Genres and Registers: The Computation of Linguistic Features

Text Genres and Registers: The Computation of Linguistic Features

Springer-Verlag GmbH (9783662450994 / 40 black & white illustrations, biograph) | Text Genres and Registers

Embedded Software Development with C

Embedded Software Development with C

(9781489984999 / biography)

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Springer-Verlag GmbH (9783319107011 / 84 black & white illustrations, biograph) | For Industrial Critical

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... Notes in Computer Science, Band 8855)

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... Notes in Computer Science, Band 8855)

(9783319133379 / 78 black & white illustrations, biograph) | Hardware and Software, Verification and

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

(9783319127354 / 117 black & white illustrations, biograp) | And Systems

Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

(9783319465074) | Foundations For

Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Springer-Verlag GmbH (9783319282275 / 29 colour illustrations, biography) | Of Declarative Languages

Filter

Anzeigen/verbergen vollständige Liste