Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited ... Notes in Computer Science, Band 6619)

Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited ... Notes in Computer Science, Band 6619)

(9783642207143 / biography) | Languages and Technologies VIII

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

(9783642237010 / biography) | Static Analysis

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

(9783642228629 / biography) | Interactive Theorem Proving

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... Notes in Computer Science, Band 6527)

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... Notes in Computer Science, Band 6527)

(9783642198281 / biography) | Formal Methods, Foundations and

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

(9783642152962 / Illustrations) | And Analysis of

Transactions on Pattern Languages of Programming II: Special lssue on Applying Patterns

Transactions on Pattern Languages of Programming II: Special lssue on Applying Patterns

(9783642194313 / 15 black & white illustrations, 31 colou)

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

(9783642157837) | Computer Performance Engineering, Performance Engineering

Recent Advances in Constraints

Recent Advances in Constraints

(9783642194856 / biography) | Recent Advances in Constraints

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

(9783642183775 / Illustrated) | Of Declarative Languages

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

(9783642180699 / 44 black & white illustrations, 1 colour) | Of Object-Oriented Software

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... Notes in Computer Science, Band 6405)

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... Notes in Computer Science, Band 6405)

(9783642192364) | Hardware and Software, Verification and

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

(9783642158971 / 31197628) | For Industrial Critical

Robotic Communication and Coordination for Autonomous Exploration

Robotic Communication and Coordination for Autonomous Exploration

(9783838153902) | Andre Robotic Communication and, Robotic Communication and

Quality Assurance Management System Based on NCAAA Criteria

Quality Assurance Management System Based on NCAAA Criteria

(9783659846021) | Quality Assurance, El-Rahman Quality Assurance

Avaliação de Usabilidade para Smartphones: Novas Tendências

Avaliação de Usabilidade para Smartphones: Novas Tendências

(9783841715784)

Aplicación de un SIG en labores de catastro en la ciudad de Riobamba: Prototipo de un sistema de información geográfica

Aplicación de un SIG en labores de catastro en la ciudad de Riobamba: Prototipo de un sistema de información geográfica

(9783639649574) | Un SIG en labores

Role of Digital Library in Bridging Digital Divide: Information Age

Role of Digital Library in Bridging Digital Divide: Information Age

(9783639519914) | Of Digital Library

Software Engineering: A Complex Systems Approach

Software Engineering: A Complex Systems Approach

(9783838138848) | Software Engineering, Zanetti Software Engineering

OOPS using Java from the Beginning

OOPS using Java from the Beginning

(9783659394065)

Structure and Motion Recovery under Difficult Imaging Conditions

Structure and Motion Recovery under Difficult Imaging Conditions

(9783838138046)

An introduction to JAVA Programming Language: A point by point guide to JAVA programming

An introduction to JAVA Programming Language: A point by point guide to JAVA programming

(9783659516474) | Kumar Palanivinayagam An introduction, Introduction to JAVA, To JAVA, Kumar Palanivinayagam

Python desde Cero: Una forma fácil y divertida de programar

Python desde Cero: Una forma fácil y divertida de programar

(9783659023309) | Python desde Cero, Ocadiz Mendoza

Ingeniería de Software: Creando Metodologías ajustadas al Dominio

Ingeniería de Software: Creando Metodologías ajustadas al Dominio

(9783659068447) | Montejano Ingeniería de Software, Ingeniería de Software

Biblioteca de Clases para el Ensamble de Programas: Ensamble de programas en ambiente gráfico con un enfoque orientado a objetos

Biblioteca de Clases para el Ensamble de Programas: Ensamble de programas en ambiente gráfico con un enfoque orientado a objetos

(9783659054532)

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems

(9783838122717)

Real-time automatic emotion recognition from speech: The recognition of emotions from speech in view of real-time applications

Real-time automatic emotion recognition from speech: The recognition of emotions from speech in view of real-time applications

(9783838125459)

An Intelligent English Language Tutor for Persian Learners of English: Based on Persian Computational Morphology and Syntax

An Intelligent English Language Tutor for Persian Learners of English: Based on Persian Computational Morphology and Syntax

(9783838355139) | Mirzaeian An Intelligent English, Intelligent English

Java for Novice Programmers

Java for Novice Programmers

(9783844301939)

Facilitating Ontology Reuse Using User-Based Ontology Evaluation: Employing an Advanced Topic-Specific Trust Open Rating System For Ontology Evaluation

Facilitating Ontology Reuse Using User-Based Ontology Evaluation: Employing an Advanced Topic-Specific Trust Open Rating System For Ontology Evaluation

(9783838123684)

Concern-Oriented Heuristic Assessment of Design Stability: Evaluating New Generation Modular Software Technologies

Concern-Oriented Heuristic Assessment of Design Stability: Evaluating New Generation Modular Software Technologies

(9783844301403)

Validation of Data Flow Results for Program Modules

Validation of Data Flow Results for Program Modules

(9783838118710)

Advantages of System Combination for Spoken Language Translation: Combining Natural Language Processing Systems to Improve Machine Translation of Speech

Advantages of System Combination for Spoken Language Translation: Combining Natural Language Processing Systems to Improve Machine Translation of Speech

(9783838120126)

Data Integration on the

Data Integration on the

(9783838119564)

Navigation in Time-Varying Scientific Data: Intuitive and interactive navigation through time-varying simulation data

Navigation in Time-Varying Scientific Data: Intuitive and interactive navigation through time-varying simulation data

(9783838119236)

Information-theoretic Security in Practice: Multipath Transmission and Quantum Networks

Information-theoretic Security in Practice: Multipath Transmission and Quantum Networks

(9783838120164)

Office Of Tomorrow: The Design, Implementation and Evaluation of an Interactive Meeting Room

Office Of Tomorrow: The Design, Implementation and Evaluation of an Interactive Meeting Room

(9783838119892) | Brandl Office Of Tomorrow, Office Of Tomorrow

Filter

Anzeigen/verbergen vollständige Liste