Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

(9783319406473) | NASA Formal Methods

Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

(9783319405773) | Reversible Computation

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

(9783319336923) | Integrated Formal Methods

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

(9783319335995)

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

(9783319276823 / 33 colour illustrations, biography) | Of Computer Science

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

(9781447157458)

M-Solid Varieties of Algebras

M-Solid Varieties of Algebras

(9781489996626 / biography) | M-Solid Varieties of Algebras

A Modular Calculus for the Average Cost of Data Structuring

A Modular Calculus for the Average Cost of Data Structuring

(9781489999061 / biography) | Modular Calculus for the

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software ... Notes in Computer Science, Band 8950)

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software ... Notes in Computer Science, Band 8950)

Springer International Publishing (9783319155449 / 23584282) | And Systems, And Software

Recent Advances in Algorithmic Differentiation

Recent Advances in Algorithmic Differentiation

(9783642439919 / 30 black & white tables, biography) | Recent Advances in Algorithmic

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

(9781447161707)

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Springer International Publishing (9783319104300 / biography) | And Formal Methods

ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

Springer Berlin Heidelberg (9783662442012 / 195 black & white illustrations, biograp)

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

(9783319061993 / 114 black & white illustrations, biograp) | NASA Formal Methods

Conquering Complexity

Conquering Complexity

(9781447158264) | Conquering Complexity

packetC Programming

packetC Programming

(9781430241584)

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

(9783642204005 / 171 black & white illustrations, 90 colo)

Autonomics Development: A Domain-Specific Aspect Language Approach

Autonomics Development: A Domain-Specific Aspect Language Approach

(9783034605397 / 39 black & white illustrations, 9 black)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

(9783642114854 / biography)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, Band 5902)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, Band 5902)

Springer Berlin Heidelberg (9783642104510 / biography)

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, ... Notes in Computer Science, Band 5826)

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, ... Notes in Computer Science, Band 5826)

(9783642050305 / biography)

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

(9783642041631 / biography)

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

(9783642042218 / biography)

Text, Speech and Dialogue: 12th International Conference, T.S.D. 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedings

Text, Speech and Dialogue: 12th International Conference, T.S.D. 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedings

(9783642042072 / biography)

Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

(9783642029585 / biography)

Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, ... Notes in Computer Science, Band 5655)

Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, ... Notes in Computer Science, Band 5655)

(9783642032509 / biography)

Language Engineering and Rigorous Software Development: International LerNet A.L.F.A. Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... Notes in Computer Science, Band 5520)

Language Engineering and Rigorous Software Development: International LerNet A.L.F.A. Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... Notes in Computer Science, Band 5520)

(9783642031526 / biography)

Software Composition: 8th International Conference, S.C. 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Software Composition: 8th International Conference, S.C. 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

(9783642026546 / biography)

Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

(9783642020469 / biography)

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... Notes in Computer Science, Band 5522)

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... Notes in Computer Science, Band 5522)

(9783642021374 / biography)

Computational Linguistics and Intelligent Text Processing: 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised ... Notes in Computer Science, Band 9623)

Computational Linguistics and Intelligent Text Processing: 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised ... Notes in Computer Science, Band 9623)

(9783319754765) | And Intelligent Text

Computational Linguistics and Intelligent Text Processing: 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised ... Notes in Computer Science, Band 9624)

Computational Linguistics and Intelligent Text Processing: 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised ... Notes in Computer Science, Band 9624)

(9783319754864) | And Intelligent Text

Embedded Java Security: Security for Mobile Devices

Embedded Java Security: Security for Mobile Devices

(9781846285905 / 38 black & white illustrations, 37 black) | Embedded Java Security

Understanding SGML and XML Tools: Practical programs for handling structured text

Understanding SGML and XML Tools: Practical programs for handling structured text

(9781468467130)

Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

(9783642328190) | Parallel Processing

Accelerated VB 2005

Accelerated VB 2005

Apress (9781590598016 / 6437213) | Accelerated VB

Filter

Anzeigen/verbergen vollständige Liste