Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings

Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings

(9783540222538 / 1)

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

(9783540226710 / Illustrations)

Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ... Notes in Computer Science, Band 3063)

Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ... Notes in Computer Science, Band 3063)

(9783540220114 / Illustrations)

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

(9783540221531 / Illustrations)

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

(9783540221647)

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 ... Notes in Computer Science, Band 3010)

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 ... Notes in Computer Science, Band 3010)

(9783540218340 / biography)

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and ... Notes in Computer Science, 2990, Band 2990)

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and ... Notes in Computer Science, 2990, Band 2990)

(9783540221241 / 1)

Objects, Agents, and Features: International Seminar Dagstuhl Castle, Germany, February 16-21, 2003 Revised and Invited Papers

Objects, Agents, and Features: International Seminar Dagstuhl Castle, Germany, February 16-21, 2003 Revised and Invited Papers

(9783540219897 / Illustrations)

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... Notes in Computer Science, 2941, Band 2941)

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... Notes in Computer Science, 2941, Band 2941)

(9783540211792 / biography)

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

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

(9783540213055 / Illustrations)

Higher-Level Hardware Synthesis

Higher-Level Hardware Synthesis

(9783540213062 / Illustrations)

Scientific Engineering of Distributed Java Applications.: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, ... Notes in Computer Science, Band 2952)

Scientific Engineering of Distributed Java Applications.: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, ... Notes in Computer Science, Band 2952)

(9783540210917 / 1)

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, ... Notes in Computer Science, Band 2896)

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, ... Notes in Computer Science, Band 2896)

(9783540206323 / Illustrations)

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)

(9783540205272 / biography)

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

(9783540407539 / Illustrations)

Object-Oriented Information Systems: 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings

Object-Oriented Information Systems: 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings

(9783540408604 / Illustrations)

Differential and Integral Equations through Practical Problems and Exercises

Differential and Integral Equations through Practical Problems and Exercises

(9780792318903)

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

(9783540405597 / Illustrations)

SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

(9783540405399 / Illustrations)

Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

(9783540401902 / biography)

Languages and Compilers for Parallel Computing: 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

Languages and Compilers for Parallel Computing: 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

(9783540040293 / Illustrations)

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 2618, Band 2618)

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 2618, Band 2618)

(9783540008866 / Illustrations)

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings

(9783540003892)

Practical Aspects of Declarative Languages: 4th International Symposium, Padl 2002, Portland, Or, Usa, January 2002 Proceedings

Practical Aspects of Declarative Languages: 4th International Symposium, Padl 2002, Portland, Or, Usa, January 2002 Proceedings

Springer Berlin Heidelberg (9783540430926 / 1)

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings

Springer Berlin Heidelberg (9783540430025 / Illustrations)

Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

Springer Berlin Heidelberg (9783540429357 / Illustrations)

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

(9783540425250 / Illustrations)

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

(9783540421177 / Illustrations)

A Theory and Practice of Program Development

A Theory and Practice of Program Development

(9783540761624 / 2 black & white illustrations, biography)

Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link??ping, Sweden, April, 22 - 24, 1996. Proceedings: 6th ... Notes in Computer Science, Band 1058)

Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link??ping, Sweden, April, 22 - 24, 1996. Proceedings: 6th ... Notes in Computer Science, Band 1058)

Springer Berlin Heidelberg (9783540610557 / 6943856)

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 Proceedings: 21st International ... Notes in Computer Science, Band 1059)

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 Proceedings: 21st International ... Notes in Computer Science, Band 1059)

Springer Berlin Heidelberg (9783540610649 / 6944783)

ECOOP '94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings

ECOOP '94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings

Springer Berlin Heidelberg (9783540582021 / 6941447)

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Springer Berlin Heidelberg (9783540578802 / 6902953)

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Springer Berlin Heidelberg (9783540579359 / 1)

Object-Based Distributed Programming: ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings

Object-Based Distributed Programming: ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings

Springer Berlin Heidelberg (9783540579328 / 6902944)

Parallel Computation: Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings

Parallel Computation: Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings

Springer Berlin Heidelberg (9783540573142 / 6902929)

Filter

Anzeigen/verbergen vollständige Liste