Comparor Shopping Experience

Programmiersprachen Springer

681 Ergebnis(s)

Aktive Filter

Vorschläge für Programmiersprachen Springer

The Semantics And Proof Theory Of The Logic Of Bunched Implications

The Semantics And Proof Theory Of The Logic Of Bunched Implications

(9789048160723 / biography)

Constraint and Integer Programming: Toward a Unified Methodology

Constraint and Integer Programming: Toward a Unified Methodology

(9781461347194 / biography) | Constraint and Integer Programming

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

(9789048179220) | Generating Hardware Assertion Checkers

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, ... Notes in Computer Science, Band 7590)

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, ... Notes in Computer Science, Band 7590)

(9783642336652 / 298 black & white illustrations) | Engineering Languages and

Principles of Program Analysis

Principles of Program Analysis

(9783642084744 / 56 black & white illustrations, 51 black) | Program Analysis

Model-Integrating Software Components: Engineering Flexible Software Systems

Model-Integrating Software Components: Engineering Flexible Software Systems

(9783658096458 / 43 black & white illustrations, 6 black)

System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

(9783642216510 / 57 black & white illustrations, 58 colou) | And Modeling, About Models

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

(9783540331025 / 1)

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

(9783642037634 / biography) | Transactions on Aspect-Oriented

Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. ... Notes in Computer Science, Band 6606)

Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. ... Notes in Computer Science, Band 6606)

(9783642198571 / biography) | Foundation for Software

Parallel Image Processing

Parallel Image Processing

(9783540674009 / 7 black & white tables, biography) | Parallel Image Processing

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Turtorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Turtorial Lectures

(9783540748090 / biography) | Security Analysis and Design

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

(9783642152733 / Illustrations) | Scientific Computing

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

(9783642287169 / 78 black & white illustrations) | Artificial Intelligence

Digitale Panoramen: Tipps, Tricks Und Techniken Für Die Panoramafotografie

Digitale Panoramen: Tipps, Tricks Und Techniken Für Die Panoramafotografie

(9783642621789 / black & white illustrations, colour illu)

Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

(9783642044243 / biography) | Engineering Languages and

Software Reliability Methods

Software Reliability Methods

(9780387951065)

The Parametric Lambda Calculus: A Metamodel for Computation

The Parametric Lambda Calculus: A Metamodel for Computation

(9783540200321)

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II

(9783642152900)

Computer Vision, Imaging and Computer Graphics. Theory and Applications: International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, ... Computer and Information Science, Band 229)

Computer Vision, Imaging and Computer Graphics. Theory and Applications: International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, ... Computer and Information Science, Band 229)

(9783642253812 / 85 black & white illustrations, 95 colou)

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected ... Notes in Computer Science, Band 6100)

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected ... Notes in Computer Science, Band 6100)

(9783642162763)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon ... Notes in Computer Science, Band 7606)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon ... Notes in Computer Science, Band 7606)

(9783642361562 / 150 black & white illustrations, biograp)

Massiv Parallele Programmierung mit dem Parallaxis-Modell

Massiv Parallele Programmierung mit dem Parallaxis-Modell

(9783540528531 / black & white illustrations, bibliograph)

Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme

Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme

(9783540504290)

Software for Data Analysis: Programming with R

Software for Data Analysis: Programming with R

(9781441926128) | Software for Data Analysis

Mixed-Effects Models in S and S-Plus

Mixed-Effects Models in S and S-Plus

(9781475781441 / 6 black & white illustrations, biography)

Dialogues with Social Robots: Enablements, Analyses, and Evaluation

Dialogues with Social Robots: Enablements, Analyses, and Evaluation

(9789811025846) | Dialogues with Social Robots

Models of Computation: An Introduction to Computability Theory

Models of Computation: An Introduction to Computability Theory

(9781848824331 / biography)

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

(9783540698494 / biography)

Software-Engineering mit der Unified Modeling Language

Software-Engineering mit der Unified Modeling Language

(9783540416005)

QVT - Relations Language: Modellierung mit der Query Views Transformation

QVT - Relations Language: Modellierung mit der Query Views Transformation

(9783540921707 / Illustrated)

Funktionale Programmierung in OPAL, ML, HASKELL und GOFER

Funktionale Programmierung in OPAL, ML, HASKELL und GOFER

(9783540436218 / black & white illustrations, bibliograph)

Ãbersetzerbau: Band 2: Syntaktische und semantische Analyse

Ãbersetzerbau: Band 2: Syntaktische und semantische Analyse

(9783642011344)

GmbH-Gründung für Ingenieure und Softwareentwickler: Ein Styleguide zur Selbstständigkeit

GmbH-Gründung für Ingenieure und Softwareentwickler: Ein Styleguide zur Selbstständigkeit

(9783658193447)

Guide to Fortran 2003 Programming

Guide to Fortran 2003 Programming

Springer (9781447157700) | Guide to Fortran

Up and Running with C++

Up and Running with C++

Springer (9783540762348)

Filter

Anzeigen/verbergen vollständige Liste