Comparor Shopping Experience

Programmiersprachen

11,919 Ergebnis(s)

Vorschläge für Programmiersprachen

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

(9783540752905 / biography)

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)

(9783540709510 / biography)

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

Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

(9783319240114 / 58 black & white illustrations, biograph) | Programming Languages

Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

(9783319245362 / 33 black & white illustrations, biograph) | Reachability Problems

Advanced Parallel Processing Technologies: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

Advanced Parallel Processing Technologies: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

Springer-Verlag GmbH (9783319232157 / 55 black & white illustrations, biograph) | Advanced Parallel Processing Technologies

Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

(9783319231280 / 47 black & white illustrations, biograph) | For Resilient Systems

Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

(9783319196855 / 29 black & white illustrations, biograph) | Of Declarative Languages

Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

Springer-Verlag GmbH (9783319189406 / 72 black & white illustrations, biograph) | Formal Methods for

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... Notes in Computer Science, Band 8979)

(9783319174037 / 74 black & white illustrations, biograph) | FORMAL LANGUAGE AND

Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Springer-Verlag GmbH (9783319146744 / 23438387) | Trends in Functional Programming

Compiler Construction

Compiler Construction

Springer Berlin Heidelberg (9783642548062 / 124 black & white illustrations, biograp) | Compiler Construction, Practice of Software

Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

(9783642453397 / 59 black & white illustrations, biograph) | Trends in Functional Programming

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised ... Notes in Computer Science, Band 8241)

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised ... Notes in Computer Science, Band 8241)

(9783642415814 / 72 black & white illustrations, biograph) | Application of Functional

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

(9783642402128 / 85 black & white illustrations, biograph) | Fundamentals of Software Engineering

OpenMP in the Era of Low Power Devices and Accelerators: 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, ... Notes in Computer Science, Band 8122)

OpenMP in the Era of Low Power Devices and Accelerators: 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, ... Notes in Computer Science, Band 8122)

(9783642406973 / 80 black & white illustrations, biograph) | Power Devices

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... Notes in Computer Science, Band 7857)

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... Notes in Computer Science, Band 7857)

(9783642396106 / 75 black & white illustrations) | Hardware and Software, Verification and

Compiler Construction

Compiler Construction

(9783642370502 / 96 black & white illustrations)

The Basque Language in the Digital Age

The Basque Language in the Digital Age

Springer-Verlag GmbH (9783642307959 / 19068314)

The Serbian Language in the Digital Age

The Serbian Language in the Digital Age

Springer-Verlag GmbH (9783642307546 / 19126444)

Geometric Methods and Optimization Problems

Geometric Methods and Optimization Problems

(9781461374275 / biography)

Software Architecture: Tc2 First Working Ifip Conference On Software Architecture

Software Architecture: "Tc2 First Working Ifip Conference On Software Architecture

Springer US (9781475765366 / biography) | Software Architecture

System-on-Chip Methodologies & Design Languages

System-on-Chip Methodologies & Design Languages

(9781441949011)

Logics for Databases and Information Systems

Logics for Databases and Information Systems

(9781461375821 / biography) | Databases and Information Systems

The China Information Technology Handbook

The China Information Technology Handbook

(9781441945990)

Logics of Specification Languages

Logics of Specification Languages

(9783642093456)

Software Engineering with Obj: Algebraic Specification In Action

Software Engineering with Obj: Algebraic Specification In Action

(9781441949653)

Electronic Chips & Systems Design Languages

Electronic Chips & Systems Design Languages

(9781441948847)

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Notes in Computer Science, 5438, Band 5438)

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Notes in Computer Science, 5438, Band 5438)

(9783642005145 / biography)

Filter

Anzeigen/verbergen vollständige Liste