Fachbuch: Logik und Logikprogrammierung
Broschiertes Buch
Refactoring, Patterns, Testen und Techniken für sauberen Code
9. März 2009
MITP / MITP-Verlag
826655480
Gebundenes Buch
Einstieg, Schaltungen, Projekte. Der Leitfaden für kreative Maker und Bastler
4. Oktober 2024
Rheinwerk Computing / Rheinwerk Verlag
459/10148
Broschiertes Buch
How to Specify, Program, and Verify Systems in Rewriting Logic
2007
20. Juli 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12048595,978-3-540-71940-3
Broschiertes Buch
Grundlagen, VHDL, FPGAs, Mikrocontroller
8. Aufl.
2. Januar 2023
Springer Berlin Heidelberg / Springer Vieweg / Springer, Berlin
978-3-662-63953-5
Broschiertes Buch
Eine Informatik-Einführung
4., durchges. Aufl.
11. September 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42342-3
Broschiertes Buch
Band 1: Grundlagen und funktionales Programmieren
4., überarb. Aufl.
7. September 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-24405-9
Broschiertes Buch
Eine kompakte Einführung
2., überarb. Aufl.
11. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-01313-6
Broschiertes Buch
Grundlagen und Anwendungen
1997.
12. September 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60670-3
Broschiertes Buch
Band 1: Programmierung und Rechnerstrukturen
2. Aufl.
25. November 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63234-4
Broschiertes Buch
1997.
18. April 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-62927-6
Broschiertes Buch
Strukturierte Aufgabensammlung mit Musterlösungen
2., überarb. Aufl.
21. September 2001
Springer, Berlin
10837598
Broschiertes Buch
Mit DesignLab 8.0 und 7.1 (evaluation version)
1998.
8. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-64104-9
Broschiertes Buch
Genetische Algorithmen ¿ Strategien und Optimierungsverfahren ¿ Beispielanwendungen
2004
29. Juli 2004
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-05570-7
24,99 €
Versandfertig in 1-2 Wochen
Broschiertes Buch
Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
2., überarb. Aufl.
15. Oktober 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-64392-0
Gebundenes Buch
1999.
22. Januar 1999
Physica / Physica-Verlag / Physica-Verlag HD
10696934,978-3-7908-1171-1
Broschiertes Buch
21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
1994.
15. Juni 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58201-4
Broschiertes Buch
1996.
25. Juli 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61488-3
Broschiertes Buch
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
1989.
30. März 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51080-2
Broschiertes Buch
International Conference, Paris, France, September 19-21, 1990
1990.
7. September 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53101-2
Broschiertes Buch
International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
1989.
8. März 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50820-5
Broschiertes Buch
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
1990.
8. August 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53010-7
Broschiertes Buch
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
1995.
17. März 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59048-4
Broschiertes Buch
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
1997.
2. Juli 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548903,978-3-540-63255-9