Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science, Band 4037)

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science, Band 4037)

(9783540348931 / Illustrations)

Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers ... Notes in Computer Science, 3476, Band 3476)

Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers ... Notes in Computer Science, 3476, Band 3476)

(9783540261728 / Illustrations)

Technology of Object-Oriented Languages, Systems and Architectures

Technology of Object-Oriented Languages, Systems and Architectures

(9781402074288)

Parallel Algorithms for Irregular Problems: State of the Art

Parallel Algorithms for Irregular Problems: State of the Art

(9780792336235)

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures

(9783540229421 / Illustrations)

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

(9783540223801 / 1)

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

(9783540206804 / Illustrations)

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers

(9783540208136 / 1)

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development

(9780792395379)

Error Control and Adaptivity in Scientific Computing

Error Control and Adaptivity in Scientific Computing

(9780792358084)

Usability: Gaining a Competitive Edge

Usability: Gaining a Competitive Edge

(9781402071874)

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings

(9783540422730)

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

(9783540425540 / Illustrations)

Parallel Symbolic Languages and Systems: International Workshop, PSLS '95, Beaune, France, October 2-4, 1995. Proceedings

Parallel Symbolic Languages and Systems: International Workshop, PSLS '95, Beaune, France, October 2-4, 1995. Proceedings

Springer Berlin Heidelberg (9783540611431 / 6951214)

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Springer Berlin Heidelberg (9783540600176 / 6903051)

Object-Oriented Methodologies and Systems: International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings

Object-Oriented Methodologies and Systems: International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings

Springer Berlin Heidelberg (9783540584513 / 6937592)

Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid, Spain, September 14-16, 1994 Proceedings

Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid, Spain, September 14-16, 1994 Proceedings

Springer Berlin Heidelberg (9783540584315 / 6909901)

Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings

Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings

Springer Berlin Heidelberg (9783540556138 / 6902214)

CONCUR '90: Theories of Concurrency: Unification and Extension: Conference Proceedings

CONCUR '90: Theories of Concurrency: Unification and Extension: Conference Proceedings

Springer Berlin Heidelberg (9783540530480 / 6891042)

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

Springer Berlin Heidelberg (9783540616481 / 6943827)

Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers

Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers

Springer Berlin Heidelberg (9783540614876 / 7007552)

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Springer-Verlag GmbH (9783642311123 / 57 black & white illustrations, biograph)

OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

(9783642309601)

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Springer-Verlag GmbH (9783642307423 / 41 black & white illustrations, biograph)

Subjective Quality Measurement of Speech: Its Evaluation, Estimation and Applications

Subjective Quality Measurement of Speech: Its Evaluation, Estimation and Applications

Springer-Verlag GmbH (9783642275050 / biography)

Conceptual Modeling - ER 2008: 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings

Conceptual Modeling - ER 2008: 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings

Springer-Verlag GmbH (9783540878766 / 1, black & white illustrations)

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

(9783540754534)

Software Engineering and Middleware: Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers

Software Engineering and Middleware: Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers

(9783540075493 / Illustrations)

Applications of Algebraic Geometry to Coding Theory, Physics and Computation

Applications of Algebraic Geometry to Coding Theory, Physics and Computation

(9781402000041)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Springer-Verlag GmbH (9783662460801 / 23438704) | And Abstract

Information Security and Privacy Research: 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, ... and Communication Technology, 376, Band 376)

Information Security and Privacy Research: 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, ... and Communication Technology, 376, Band 376)

(9783642304354 / 9783642304354)

Object-Oriented Technology ECOOP 2006 Workshop Reader: ECOOP 2006 Workshops Nantes, France, July 3-7, 2006 Final Reports: ECOOP 2006 Workshops, ... Notes in Computer Science, Band 4379)

Object-Oriented Technology ECOOP 2006 Workshop Reader: ECOOP 2006 Workshops Nantes, France, July 3-7, 2006 Final Reports: ECOOP 2006 Workshops, ... Notes in Computer Science, Band 4379)

(9783540717720 / biography) | Object-Oriented Technology

Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Springer-Verlag GmbH (9783319211503 / biography) | Modelling Foundations and Applications

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

(9783662454886) | Stochastic Model Checking

Essential Flash 5.0 Fast: Rapid Web Animation

Essential Flash 5.0 Fast: Rapid Web Animation

(9781852334512) | Essential Flash

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

(9783642391750)

Filter

Anzeigen/verbergen vollständige Liste