Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

(9789048176106)

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

(9789048165230)

Open Multithreaded Transactions: A Transaction Model For Concurrent Object-Oriented Programming

Open Multithreaded Transactions: A Transaction Model For Concurrent Object-Oriented Programming

(9789048164745)

New Essays In Free Logic: In Honour of Karel Lambert

New Essays In Free Logic: In Honour of Karel Lambert

Springer Netherlands (9789048159154 / biography)

Goal-Directed Proof Theory

Goal-Directed Proof Theory

(9789048155262 / biography)

Communication-Based Systems: Proceeding Of The 3Rd International Workshop Held At The Tu Berlin, Germany, 31 March - 1 April 2000

Communication-Based Systems: Proceeding Of The 3Rd International Workshop Held At The Tu Berlin, Germany, 31 March - 1 April 2000

(9789048153992 / biography) | Communication-Based Systems

Developments in Reliable Computing

Developments in Reliable Computing

(9789048153503 / biography) | Reliable Computing

SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling & Simulation

SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling & Simulation

Springer US (9781441954725 / 13415830) | Extensions for

Using eXtreme Programming in a Student Environment: A Case Study

Using eXtreme Programming in a Student Environment: A Case Study

Books On Demand (9783640720040 / 9783640720040)

Genetic Programming in the Context of Natural Computing

Genetic Programming in the Context of Natural Computing

Books On Demand (9783640594764 / 9783640594764) | Genetic Programming

Building a Framework for an efficient IT Governance: Diplomarbeit

Building a Framework for an efficient IT Governance: Diplomarbeit

Books On Demand (9783640612826 / 9783640612826)

Investigating Distributed Approaches for Solving Discrete, Multistage Optimization Problems

Investigating Distributed Approaches for Solving Discrete, Multistage Optimization Problems

Books On Demand (9783656244813 / 9783656244813) | Investigating Distributed

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Springer Berlin Heidelberg (9783642324949 / 30 black & white illustrations) | Practical Aspects of Resource

Examining Contributions to a Corporate Microblog as a Basis for an Employee Incentive System

Examining Contributions to a Corporate Microblog as a Basis for an Employee Incentive System

Books On Demand (9783656226079 / 9783656226079) | Examining Contributions

Graphical Debugging of QVT Relations using Transformation Nets

Graphical Debugging of QVT Relations using Transformation Nets

Books On Demand (9783640523955 / 9783640523955) | Graphical Debugging

Designing a network infrastructure to support a research and educational network using GTUC and University of Ghana: Magisterarbeit

Designing a network infrastructure to support a research and educational network using GTUC and University of Ghana: Magisterarbeit

Books On Demand (9783656125037 / 9783656125037) | Network infrastructure

How does Open Innovation in Information Technology affect the Business Development: An inevitable snowball - effect

How does Open Innovation in Information Technology affect the Business Development: An inevitable snowball - effect

Books On Demand (9783656132011 / 9783656132011) | How does Open Innovation

Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments

Springer Berlin Heidelberg (9783642640551 / biography) | Data Environments, Programming Environments

On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages

On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages

Springer New York (9781461297321 / 19302616) | On Conceptual Modelling

Models of Sharing Graphs: A Categorical Semantics of let and letrec

Models of Sharing Graphs: A Categorical Semantics of let and letrec

Springer London (9781447112211 / 19302328) | Models of Sharing Graphs

Global Analysis on Foliated Spaces

Global Analysis on Foliated Spaces

Springer New York (9781461395942 / 19304760)

Model Construction withGpss-Fortran Version 3

Model Construction withGpss-Fortran Version 3

(9781461291404) | Model Construction with GPSS-FORTRAN

Service delivery through Information Systems in TANROADS Dar Es Salaam and Mwanza

Service delivery through Information Systems in TANROADS Dar Es Salaam and Mwanza

Books On Demand (9783656218203 / 9783656218203) | Delivery through

Software Defect Prevention for better Software Quality: Key Determinants and their interlinked effects

Software Defect Prevention for better Software Quality: Key Determinants and their interlinked effects

Books On Demand (9783656206590 / 9783656206590)

ML with Concurrency: Design, Analysis, Implementation, and Application

ML with Concurrency: Design, Analysis, Implementation, and Application

Springer New York (9781461274834 / 19301806) | ML with Concurrency

Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Springer Berlin Heidelberg (9783540442356 / Illustrations) | Static Analysis

Conceptual Modeling - ER 2006: 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings

Conceptual Modeling - ER 2006: 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings

(9783540472247 / Illustrations) | Conceptual Modeling

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

(9783540242970 / Illustrations) | And Abstract

Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings

Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings

(9783540403258 / Illustrations)

Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

(9783642296444 / 94 black & white illustrations) | Models in Software Engineering

Data Engineering and Management: Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

(9783642278716 / 139 black & white illustrations, biograp) | Data Engineering and Management

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

(9783642276934 / 75 black & white illustrations, 3 colour) | Of Declarative Languages

Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings

Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings

Springer-Verlag GmbH (9783642223587 / biography)

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

(9783642217678 / 28 black & white illustrations, 20 colou) | Tests and Proofs

Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings

Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings

(9783642217319 / 52 black & white illustrations, 42 colou) | Practice of Model

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

Filter

Anzeigen/verbergen vollständige Liste