Comparor Shopping Experience

Bücher über Programmierung und Softwareentwicklung

359 Ergebnis(s)

Vorschläge für Bücher über Programmierung und Softwareentwicklung

Clean Code Buch Taschenbuch Algorithmen Buch Taschenbuch C# Programmierbuch Taschenbuch Go Programmierbuch Taschenbuch Entwurfsmuster Buch Taschenbuch Datenstrukturen Buch Taschenbuch Design Patterns Buch Taschenbuch HTML Programmierbuch Taschenbuch Java Programmierbuch Taschenbuch Rust Programmierbuch Taschenbuch

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Notes in Computer Science, 592, Band 592)

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Notes in Computer Science, 592, Band 592)

Springer (9783540554608) | Logic Programming, Russian Conference

Nested Relations and Complex Objects in Databases

Nested Relations and Complex Objects in Databases

Springer (9783540511717)

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... Notes in Computer Science, 4246, Band 4246)

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... Notes in Computer Science, 4246, Band 4246)

Springer (9783540482819) | Artificial Intelligence

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ... Notes in Computer Science, 4260, Band 4260)

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ... Notes in Computer Science, 4260, Band 4260)

Springer (9783540474609) | Formal Engineering Methods

Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers

Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers

Springer (9783540434535) | Developments in Language Theory

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ...

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ...

Springer (9783540425410)

E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand

E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand

Springer (9783540419341) | E-Commerce Agents, Marketplace Solutions

Applications of Evolutionary Computing: EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 ... Notes in Computer Science, 2037, Band 2037)

Applications of Evolutionary Computing: EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 ... Notes in Computer Science, 2037, Band 2037)

Springer (9783540419204) | Applications of Evolutionary Computing

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Springer (9783540412854)

Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings

Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings

Springer (9783540412373) | Algorithmic Learning Theory

Wireless Algorithms, Systems, and Applications: First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings

Wireless Algorithms, Systems, and Applications: First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings

Springer (9783540371892) | And applications, Wireless Algorithms

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... Notes in Computer Science, 3855, Band 3855)

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... Notes in Computer Science, 3855, Band 3855)

Springer (9783540311393) | And Abstract Interpretation

Cryptology and Network Security: 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings

Cryptology and Network Security: 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings

Springer (9783540308492) | Cryptology and Network Security

Languages and Compilers for Parallel Computing: 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers

Languages and Compilers for Parallel Computing: 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers

Springer (9783540307815)

Middleware 2005: ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

Middleware 2005: ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

Springer (9783540303237) | 6th International Middleware Conference

Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005

Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005

Springer (9783540298144) | Self-Stabilizing Systems

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ... Notes in Computer Science, 3785, Band 3785)

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ... Notes in Computer Science, 3785, Band 3785)

Springer (9783540297970) | Formal Engineering Methods

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Springer (9783540292098) | For Verification and Analysis

Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, ... Notes in Computer Science, 3676, Band 3676)

Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, ... Notes in Computer Science, 3676, Band 3676)

Springer (9783540291381)

Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbr??cken, Germany, October ... Notes in Computer Science, 3725, Band 3725)

Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbr??cken, Germany, October ... Notes in Computer Science, 3725, Band 3725)

Springer (9783540291053)

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September ... Notes in Computer Science, 3666, Band 3666)

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September ... Notes in Computer Science, 3666, Band 3666)

Springer (9783540290094)

Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

Springer (9783540287483) | Selected Papers, Software Composition

Mathematics of Surfaces XI: 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings

Mathematics of Surfaces XI: 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings

Springer (9783540282259) | Mathematics of Surfaces XI

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Springer (9783540279921) | Object-oriented Programming

Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings

Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings

Springer (9783540262756) | Software Architecture

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ... Notes in Computer Science, 3535, Band 3535)

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ... Notes in Computer Science, 3535, Band 3535)

Springer (9783540261810)

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)

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

Embedded Systems Design: The ARTIST Roadmap for Research and Development

Embedded Systems Design: The ARTIST Roadmap for Research and Development

Springer (9783540251071) | Research and Development, Embedded Systems Design

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

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

Filter