Filter

Unterkategorien

Bücher über Betriebssysteme
Bücher über Computeranwendungen
Bücher über digitale Medien und Grafikdesign
Bücher über Multimedia und Grafikdesign
Bücher über Programmierung und Softwareentwicklung
Bücher über Software und Geschäftsanwendungen
Bücher zu Netzwerken und Systemverwaltung
Bücher zur Computersicherheit
Bücher zur digitalen Fotografie
Datenbank-Bücher
Digitale Videobücher
Hardware-Bücher und Handheld-Geräte
Informatik-Bücher
Internet und Web-Bücher
IT-Ausbildung & -Berufe
IT-Zertifizierungsbücher
Microsoft Produktbücher
PC-Videospiel-Anleitungen

Marken

Springer
Springer Berlin Heidelberg
Lehmanns
Rheinwerk Verlag
Springer-Verlag GmbH
Springer Vieweg
Dpunkt
Guojun Wang
Rheinwerk Verlag GmbH
Lehmanns Media GmbH
Vieweg+Teubner Verlag
Franzis
Transcript Verlag
Carl Hanser Verlag GmbH & Co. KG
Penguin Books Ltd (UK)
Wiley-Vch
Grin Verlag
Suhrkamp Verlag AG
Hanser Fachbuchverlag
Rheinwerk Computing

Autor 3

, 
Gerald
Lothar
Hüther
Bergmann
Gene Kim
Wolfgang
Bornhofen
Doug Lowe
Anne Grabs
Chris Rupp
Jez Humble
Kevin Behr
Klaus Pohl
Wynn Kapit
Jon Duckett
Lena Thiele
Markus Roos
Markus Widl
Nicole Laue
Peter Kloep
Petra Bilke
Jakob Freund
Joachim Goll
Jörg Rieger
Kai Romhardt
Kevin Beaver
Lorena Meyer
Roger Romano
Stefan Kania

Computer & Internet Bücher

1,049 Produkte

E-Book Skript Bildband Fachbuch Hörbuch Lehrbuch Lernbuch Ratgeber Sachbuch Softcover Sammelband Hörbuch-CD Kompaktbuch Monographie PDF-Ausgabe Studienheft Taschenbuch Computerbuch EPUB-Ausgabe Lehrmaterial Nook Edition Referenzwerk Datenbankbuch Spiralbindung Kindle Edition Webdesign-Buch Nachschlagewerk Audible Hörbuch Open-Source Buch Gebundene Ausgabe IT-Sicherheit Buch Broschierte Ausgabe Informatik-Fachbuch Kartonierte Ausgabe Open-Access-Ausgabe Programmierhandbuch Cloud Computing Buch Netzwerktechnik-Buch Künstliche Intelligenz Buch

Membrane Computing

Membrane Computing Produkt anzeigen

Leveraging Applications of Formal Methods Verification and Validation

Leveraging Applications of Formal Methods Verification and Validation Produkt anzeigen

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings Produkt anzeigen

Membrane Computing

Membrane Computing Produkt anzeigen

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning Produkt anzeigen

Monte-Carlo and Quasi-Monte Carlo Methods 1998: Proceedings of a Conference held at the Claremont Graduate University, Claremont, California, U.S.A., June 22-26, 1998

Monte-Carlo and Quasi-Monte Carlo Methods 1998: Proceedings of a Conference held at the Claremont Graduate University, Claremont, California, U.S.A., June 22-26, 1998 Produkt anzeigen

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... Notes in Computer Science, 1472, Band 1472)

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... Notes in Computer Science, 1472, Band 1472) Produkt anzeigen

Services and Visualization: Towards User-Friendly Design

Services and Visualization: Towards User-Friendly Design Produkt anzeigen

Algorithms and Computation

Algorithms and Computation Produkt anzeigen

Handbook of Formal Languages

Handbook of Formal Languages Produkt anzeigen

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning Produkt anzeigen

Objektorientierte Software-Entwicklung am Beispiel von E.T.++: Design-Muster, Klassenbibliothek, Werkzeuge

Objektorientierte Software-Entwicklung am Beispiel von E.T.++: Design-Muster, Klassenbibliothek, Werkzeuge Produkt anzeigen

Logic Programming

Logic Programming Produkt anzeigen

Nested Relations and Complex Objects in Databases

Nested Relations and Complex Objects in Databases Produkt anzeigen

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning Produkt anzeigen

Formal Methods and Software Engineering

Formal Methods and Software Engineering Produkt anzeigen

Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers (Lecture Notes in Computer Science (2295), Band 2295)

Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers (Lecture Notes in Computer Science (2295), Band 2295) Produkt anzeigen

Monte Carlo and Quasi-Monte Carlo Methods 2000

Monte Carlo and Quasi-Monte Carlo Methods 2000 Produkt anzeigen

Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods Produkt anzeigen

E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand (Lecture Notes in Computer Science)

E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand (Lecture Notes in Computer Science) Produkt anzeigen

Applications of Evolutionary Computing

Applications of Evolutionary Computing Produkt anzeigen

Logic for Programming and Automated Reasoning

Logic for Programming and Automated Reasoning Produkt anzeigen

Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings (Lecture Notes in Computer Science, 1968, Band 1968)

Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings (Lecture Notes in Computer Science, 1968, Band 1968) Produkt anzeigen

Wireless Algorithms, Systems, and Applications

Wireless Algorithms, Systems, and Applications Produkt anzeigen

Managing Information Quality: Increasing the Value of Information in Knowledge-intensive Products and Processes

Managing Information Quality: Increasing the Value of Information in Knowledge-intensive Products and Processes Produkt anzeigen

Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation Produkt anzeigen

Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science Produkt anzeigen

Embedded Software and Systems

Embedded Software and Systems Produkt anzeigen

Cryptology and Network Security

Cryptology and Network Security Produkt anzeigen

Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing Produkt anzeigen

Component-Based Software Development for Embedded Systems

Component-Based Software Development for Embedded Systems Produkt anzeigen

Middleware 2005

Middleware 2005 Produkt anzeigen

Self-Stabilizing Systems

Self-Stabilizing Systems Produkt anzeigen

Formal Methods and Software Engineering

Formal Methods and Software Engineering Produkt anzeigen

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops: ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, ... Notes in Computer Science, 3759, Band 3759)

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops: ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, ... Notes in Computer Science, 3759, Band 3759) Produkt anzeigen

Algorithmic Learning Theory

Algorithmic Learning Theory Produkt anzeigen