Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Methoden und Werkzeuge für Continuous Integration: Grundlagen, Anforderungen und deren Abbildung am Beispiel zweier Continuous Integration Server

Methoden und Werkzeuge für Continuous Integration: Grundlagen, Anforderungen und deren Abbildung am Beispiel zweier Continuous Integration Server

AV Akademikerverlag (9783639478006)

E-Mail Semantics: Semantische Suche auf entsprechend der Security Policy freigegebenen E-Mail-Postfächern

E-Mail Semantics: Semantische Suche auf entsprechend der Security Policy freigegebenen E-Mail-Postfächern

AV Akademikerverlag (9783639461534) | E-Mail Semantics

AST-basierte Klonerkennung in C++ Programmen mit dem ROSE Framework: Implementierung und Evaluierung einer AST-basierten Methode der Klonerkennung in C++ Programmen

AST-basierte Klonerkennung in C++ Programmen mit dem ROSE Framework: Implementierung und Evaluierung einer AST-basierten Methode der Klonerkennung in C++ Programmen

AV Akademikerverlag (9783639458060) | Klonerkennung in C++

F# & dynamische Sprache im .NET-Framework: Ein Überblick über F#, IronPython, IronRuby & die Interaktion mit C#

F# & dynamische Sprache im .NET-Framework: Ein Überblick über F#, IronPython, IronRuby & die Interaktion mit C#

AV Akademikerverlag (9783639386424)

LALP: a language for loop parallelism exploitation in reconfigurable computing

LALP: a language for loop parallelism exploitation in reconfigurable computing

Vdm Verlag (9783639339598)

Modelle der Translation: Grundlagen für Methodik, Bewertung, Computermodellierung

Modelle der Translation: Grundlagen für Methodik, Bewertung, Computermodellierung

Peter Lang GmbH, Internationaler Verlag der Wissenschaften (9783631350850) | Modelle der Translation

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ... Notes in Computer Science, 5403, Band 5403)

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ... Notes in Computer Science, 5403, Band 5403)

Springer (9783540938996) | And Abstract Interpretation

Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings

Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings

Springer (9783540892748) | Self-Sustaining Systems

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... Notes in Computer Science, 5281, Band 5281)

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... Notes in Computer Science, 5281, Band 5281)

Springer (9783540878780) | Quality of Software Architectures

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Springer (9783540773948) | Runtime Verification

Business Object Design and Implementation: OOPSLA '95 Workshop Proceedings 16 October 1995, Austin, Texas

Business Object Design and Implementation: OOPSLA '95 Workshop Proceedings 16 October 1995, Austin, Texas

Springer (9783540760962)

Fortran 95 Language Guide

Fortran 95 Language Guide

Springer (9783540760627) | Language Guide

The B Language and Method: A Guide to Practical Formal Development

The B Language and Method: A Guide to Practical Formal Development

Springer (9783540760337)

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Springer (9783540697350) | And Abstract Interpretation

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Springer (9783540677277) | Mathematics of Program Construction

Einführung in die Geodynamik der Lithosphäre: Quantitative Behandlung geowissenschaftlicher Probleme

Einführung in die Geodynamik der Lithosphäre: Quantitative Behandlung geowissenschaftlicher Probleme

Springer (9783540675167) | Geodynamik der Lithosphäre

Temporal Logic and State Systems

Temporal Logic and State Systems

Springer (9783540674016)

Seize problèmes d'informatique: Avec corrigés détaillés et programmes en Caml

Seize problèmes d'informatique: Avec corrigés détaillés et programmes en Caml

Springer (9783540673873) | Seize problèmes d'informatique

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... Notes in Computer Science, 1781, Band 1781)

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... Notes in Computer Science, 1781, Band 1781)

Springer (9783540672630) | Of Software, Compiler Construction

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

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

Springer (9783540672623) | On Programming, Programming Languages and Systems

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Notes in Computer Science

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Notes in Computer Science

Springer (9783540672579)

Part-Whole Reasoning in an Object-Centered Framework

Part-Whole Reasoning in an Object-Centered Framework

Springer (9783540672258) | Object-Centered Framework

Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

Springer (9783540669920)

Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings

Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings

Springer (9783540668565) | Advances in Computing Science, Computing Science

Approaches to Intelligent Agents: Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings

Approaches to Intelligent Agents: Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings

Springer (9783540668237) | Approaches to Intelligent Agents

Mikrocomputertechnik mit der 8051-Controller-Familie: Hardware, Assembler, C

Mikrocomputertechnik mit der 8051-Controller-Familie: Hardware, Assembler, C

Springer (9783540667582)

Internet Programming Languages: ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings

Internet Programming Languages: ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings

Springer (9783540666738) | Programming Languages

A Tight, Practical Integration of Relations and Functions

A Tight, Practical Integration of Relations and Functions

Springer (9783540666448)

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Springer (9783540665373)

JIT99: Java-Informations-Tage 1999

Springer (9783540664642) | Springer Berlin

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, ... Notes in Computer Science

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, ... Notes in Computer Science

Springer (9783540664628) | Applied Formal Methods

Mike and Phani's Essential C++ Techniques

Mike and Phani's Essential C++ Techniques

Apress (9783540662471) | Advances in Spatial Databases

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

Springer (9783540662464) | Algebraic Development Techniques

Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Springer (9783540662419) | Advanced Functional Programming

Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java

Springer (9783540661580) | And Semantics of Java

Compiling Natural Semantics

Compiling Natural Semantics

Springer (9783540659686) | Springer Berlin, Compiling Natural Semantics

Filter

Anzeigen/verbergen vollständige Liste