Comparor Shopping Experience

Informatik

372 Ergebnis(s)

Vorschläge für Informatik

New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

Springer (9783540261797) | New Computational Paradigms

Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised ... Notes in Computer Science

Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised ... Notes in Computer Science

Springer (9783540260035)

Experimental and Efficient Algorithms: 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings

Experimental and Efficient Algorithms: 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings

Springer (9783540259206) | Experimental and Efficient Algorithms

Component-Based Software Engineering: 8th International Symposium, CBSE 2005 St. Louis, MO, USA, May 14-15, 2005, Procedings

Component-Based Software Engineering: 8th International Symposium, CBSE 2005 St. Louis, MO, USA, May 14-15, 2005, Procedings

Springer (9783540258773) | Component-Based Software Engineering

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Springer (9783540255765)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Notes in Computer Science, 3452, Band 3452)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Notes in Computer Science, 3452, Band 3452)

Springer (9783540252368) | Artificial Intelligence

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Springer (9783540251088) | Hybrid Systems, Computation and Control

Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

Springer (9783540250807) | Membrane Computing, And Invited Papers

Switching and Learning in Feedback Systems: European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures ... Notes in Computer Science, 3355, Band 3355)

Switching and Learning in Feedback Systems: European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures ... Notes in Computer Science, 3355, Band 3355)

Springer (9783540244578) | Learning in Feedback Systems

Modeling, Estimation, and Their Applications for Distributed Parameter Systems

Modeling, Estimation, and Their Applications for Distributed Parameter Systems

Springer (9783540091424)

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis

Vieweg+Teubner Verlag (9783528155742) | Of Theorem Proving Strategies

Von der Unternehmensarchitektur zur IT-Governance. Bausteine für ein wirksames IT-Management.

Von der Unternehmensarchitektur zur IT-Governance. Bausteine für ein wirksames IT-Management.

Vieweg+Teubner Verlag (9783528058562) | Für ein wirksames IT-Management

Systems Biology: A Textbook

Systems Biology: A Textbook

Wiley-Blackwell (9783527336364) | Systems Biology

Perl: Anwendungen und fortgeschrittene Techniken

Perl: Anwendungen und fortgeschrittene Techniken

Oldenbourg Wissensch.Vlg (9783486259025) | Anwendungen und fortgeschrittene Techniken

Sobotta Lernkarten Organe und Leitungsbahnen: Organe und Leitungsbahnen

Sobotta Lernkarten Organe und Leitungsbahnen: Organe und Leitungsbahnen

Urban & Fischer/Elsevier (9783437429019) | Organe und Leitungsbahnen

Memory Controllers for Mixed-Time-Criticality Systems: Architectures, Methodologies and Trade-offs

Memory Controllers for Mixed-Time-Criticality Systems: Architectures, Methodologies and Trade-offs

Springer (9783319811963)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... Notes in Computer Science

Springer (9783319471686)

The Semantic Web ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 1721, 2016, Proceedings, Part II

The Semantic Web ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 1721, 2016, Proceedings, Part II

Springer (9783319465463) | Semantic Web, The Semantic Web

Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Springer (9783319171418)

The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II

The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II

Springer (9783319119144) | Semantic Web, The Semantic Web

Chemical Optimization Algorithm for Fuzzy Controller Design

Chemical Optimization Algorithm for Fuzzy Controller Design

Springer (9783319052441)

Datenbanksysteme

Datenbanksysteme

De Gruyter (9783110036688)

Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 47, 2018, Revised Selected Papers

Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 47, 2018, Revised Selected Papers

Springer (9783030127961) | Membrane Computing

Structures and Algorithms: Mathematics and the Nature of Knowledge

Structures and Algorithms: Mathematics and the Nature of Knowledge

Springer (9783030102944) | And the, Structures and Algorithms

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)

Springer (9783030034238) | Of Formal Methods

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)

Springer (9783030034207) | Of Formal Methods

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... Notes in Computer Science, 11244, Band 11244)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... Notes in Computer Science, 11244, Band 11244)

Springer (9783030034177) | Of Formal Methods

Automata-Theoretic Aspects of Formal Power Series

Automata-Theoretic Aspects of Formal Power Series

Springer (9781461262664)

Semantic Web Services Challenge: Results from the First Year

Semantic Web Services Challenge: Results from the First Year

Springer (9781441944405) | Semantic Web, Semantic Web Services Challenge, Results from

Guide to e-Science: Next Generation Scientific Research and Discovery

Guide to e-Science: Next Generation Scientific Research and Discovery

Springer (9780857294388) | Next Generation, Guide to e-Science

Graphics of Large Datasets: Visualizing a Million

Graphics of Large Datasets: Visualizing a Million

Springer (9780387329062) | Graphics of Large Datasets

The Death Algorithm and Other Digital Dilemmas

The Death Algorithm and Other Digital Dilemmas

The MIT Press (9780262536370)

Komplexität von Algorithmen: Mathematik für Anwendungen Band 4

Komplexität von Algorithmen: Mathematik für Anwendungen Band 4

Lehmanns (9783965431379) - Maße: 170 x 240 mm | Komplexität von Algorithmen

Grundkurs Informatik

Grundkurs Informatik

Springer Vieweg (9783658303303)

Das CoreMedia CMS: Einstieg und Praxis

Das CoreMedia CMS: Einstieg und Praxis

Lehmanns (9783865413246) - Maße: 170 x 240 mm | CoreMedia CMS

Open Source Jahrbuch 2008

Open Source Jahrbuch 2008

Lehmanns Media (9783865412713) - Maße: 170 x 240 mm | Open Source, Open Source Jahrbuch, Vertrieb und Geschäftsentwicklung

Filter