Logik und Logikprogrammierung


Clean Code - Deutsche Ausgabe
EUR 39,95
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Robert C. Martin
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Refactoring, Patterns, Testen und Techniken für sauberen Code
9. März 2009
Mitp-Verlag
826655480

Clean Code - Refactoring, Patterns, Testen und Techniken für sauberen Code (eBook, PDF)
EUR 34,99
Bisher EUR 39,95**
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Robert C. Martin
(Aktuell noch keine Bewertungen)
eBook, PDF
18.12.2013
MITP Verlags GmbH & Co. KG

Einführung in die Mathematische Logik
EUR 29,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Wolfgang Rautenberg
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Ein Lehrbuch
3., überarb. Aufl.
15. Juli 2008
Vieweg+Teubner

Mikrocontrollertechnik
EUR 29,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Matthias Sturm
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Am Beispiel der MSP430-Familie
2., neubearb. Aufl.
April 2014
Hanser Fachbuchverlag; Fachbuchverlag Leipzig
554/42231

Information Architecture for the World Wide Web
EUR 30,99
Bisher EUR 40,99**
**Früherer Preis
Sofort lieferbar
Versandkostenfrei
Louis Rosenfeld
Peter Morville
Jorge Arango
(Aktuell noch keine Bewertungen)
Broschiertes Buch
For the Web and Beyond
4. Auflage
November 2015
O'Reilly Media, Inc, USA

Struktur und Interpretation von Computerprogrammen
EUR 29,99
Bisher EUR 37,99**
**Früherer Preis
Versandfertig in 3-5 Tagen
Versandkostenfrei
Harold Abelson
Gerald J. Sussman
Julie Sussman
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine Informatik-Einführung
4., durchges. Aufl.
11. September 2001
Springer, Berlin

Interactive Theorem Proving and Program Development
EUR 74,89
Bisher EUR 80,20**
**Früherer Preis
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Yves Bertot
P. Casteran
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Coq'Art: The Calculus of Inductive Constructions
14. Mai 2004
Springer, Berlin

Temporal Logic and State Systems
EUR 60,99
Sofort lieferbar
Versandkostenfrei
Fred Kröger
Stefan Merz
(Aktuell noch keine Bewertungen)
Gebundenes Buch
März 2008
Springer, Berlin
10725212

All About Maude - A High-Performance Logical Framework
EUR 67,99
Sofort lieferbar
Versandkostenfrei
Manuel Clavel
Francisco Durán
Steven Eker
…mehr Autoren
Patrick Lincoln
Narciso Martí-Oliet
José Meseguer
Caro Talcott
(Aktuell noch keine Bewertungen)
Gebundenes Buch
How to Specify, Program, and Verify Systems in Rewriting Logic
Juli 2007
Springer, Berlin
12048595

Fuzzy-Methoden
EUR 159,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Benno Biewer
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Praxisrelevante Rechenmodelle und Fuzzy-Programmiersprachen
1997
19. Februar 1997
Springer, Berlin
10556524

Beginning Samsung ARTIK
EUR 28,99
Sofort lieferbar
Versandkostenfrei
Cliff Wootton
(Aktuell noch keine Bewertungen)
Broschiertes Buch
A Guide for Developers
1st ed.
18. Mai 2016
Springer, Berlin; Apress
978-1-4842-1951-5

Fundamental Approaches to Software Engineering
EUR 64,99
Sofort lieferbar
Versandkostenfrei
Ralf-Detlef Kutsche / Herbert Weber (eds.)
(Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
2002.
20. März 2002
Springer, Berlin

Logik für Informatiker
EUR 32,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Bernhard Heinemann
Thomas Ottman
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine Einführung
2. Aufl.
1. September 1992
Vieweg+Teubner

Vorlesungen über Informatik 1
EUR 17,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Gerhard Goos
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen und funktionales Programmieren
4., überarb. Aufl.
September 2005
Springer, Berlin

Constraint-Programmierung
EUR 22,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
Versandkostenfrei
Thom Frühwirth
Slim Abdennadher
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen und Anwendungen
1997.
12. September 1997
Springer, Berlin

Vorlesungen über Informatik
EUR 29,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Gerhard Goos
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Berechenbarkeit, formale Sprachen, Spezifikationen
1997.
12. September 1997
Springer, Berlin

Foundations of Inductive Logic Programming
EUR 56,99
Versandfertig in 3-5 Tagen
Versandkostenfrei
Shan-Hwei Nienhuys-Cheng
Ronald de Wolf
(Aktuell noch keine Bewertungen)
Broschiertes Buch
1997.
18. April 1997
Springer, Berlin

Übungen zur Einführung in die Informatik
EUR 49,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Manfred Broy
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Strukturierte Aufgabensammlung mit Musterlösungen
2., überarb. Aufl.
21. September 2001
Springer, Berlin
10837598

Vorlesungen über Informatik
EUR 32,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Gerhard Goos
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Paralleles Rechnen und nicht-analytische Lösungsverfahren
1998.
15. April 1998
Springer, Berlin

Digitaltechnik interaktiv!
EUR 27,95
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Hans-Georg Bremer
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Mit DesignLab 8.0 und 7.1 (evaluation version)
1998.
8. September 1998
Springer, Berlin

Evolutionäre Algorithmen
EUR 32,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Ingrid Gerdes
Klaus Klawonn
Rudolf Kruse
(1 Bewertung)
Broschiertes Buch
Genetische Algorithmen - Strategien und Optimierungsverfahren - Beispielanwendungen
2004
29. Juli 2004
Vieweg+Teubner

Problemlösung mit Modellen und Algorithmen
EUR 49,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
Versandkostenfrei
Anton Joereßen
Hans-Jürgen Sebastian
(Aktuell noch keine Bewertungen)
Broschiertes Buch
1998.
1. Oktober 1998
Vieweg+Teubner

Computational Logic
EUR 187,24
Bisher EUR 255,73**
**Früherer Preis
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
Versandkostenfrei
Berger
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
14. April 1999
Springer, Berlin
10680739

Correct Systems
EUR 62,99
Versandfertig in 3-5 Tagen
Versandkostenfrei
Michael Holcombe
Florentin Ipate
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Building a Business Process Solution
1998.
26. August 1998
Springer, Berlin

Übersetzerbau
EUR 37,99
Alle Preise inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei
Ralf H. Güting
Martin Erwig
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Techniken, Werkzeuge, Anwendungen
1999.
21. Juni 1999
Springer, Berlin