Types for proofs and programs
: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ; Conor McBride (ed.). - Berlin : Springer, 2007. - VIII, 268 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4502)
ISBN 978-3-540-74463-4 / 3-540-74463-0 kart. : EUR 48.15 (freier Pr.), ca. sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Niemann, Alexander: Übungsbuch Java
/ Alexander Niemann. - Landsberg : moderne industrie Buch, 2005. - 205 S. : Ill. - (bhv compact; 9392)
ISBN 3-8266-9392-2 kart. : ca. Eur 15,40
Quelle: Stadtbücherei Dornbirn
Majaski, Christina: Der ultimative inoffizielle Roblox-Guide
: alles, was du wissen musst, um spektakuläre Spiele zu kreieren! / Christina Majaski. - Deutsche Ausgabe, 1. Auflage - Stuttgart : Panini Verlags GmbH, 2018. - 157 Seiten : Illustrationen; 26 cm, 738 g - (Panini books)
ISBN 978-3-8332-3639-6 / 3-8332-3639-6 Festeinband : EUR 19.99 (DE), EUR 20.60 (AT)
Quelle: DNB
Unifying theories of programming
: first international symposium ; revised selected papers / UTP 2006, Walworth Castle, County Durham, UK, February 5 - 7, 2006. Steve Dunne ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4010)
ISBN 978-3-540-34752-1
Lizenzpflichtig
Quelle: DNB
Zahn, Markus: UNIX-Netzwerkprogrammierung mit Threads, Sockets und SSL
: mit 19 Tabellen / Markus Zahn. - Berlin : Springer, 2006. - XV, 434 S. : graph. Darst.; 24 cm - (X.systems.press)
ISBN 978-3-540-00299-4 / 3-540-00299-5 Pp. : EUR 44.95
Literaturverz. S. 423 - 426
Quelle: DNB
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - XV, 782 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2772)
ISBN 978-3-540-21002-3 / 3-540-21002-4 kart. : EUR 83.46 (freier Pr.), sfr 132.00
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2772)
ISBN 978-3-540-39910-0
Lizenzpflichtig
Quelle: DNB
Geiß, Dieter: Vom Anfänger zum GEM-Profi
: perfekte Programmierung auf Atari ST u. IBM-PC / Dieter Geiß; Jürgen Geiß. - Heidelberg : Hüthig, 1990. - 547 S.; 25 cm
ISBN 978-3-7785-1792-5 / 3-7785-1792-9 geb. : DM 98.00
Quelle: DNB
Klaeren, Herbert: Vom Problem zum Programm
: Architektur und Bedeutung von Computerprogrammen / Herbert Klaeren ; Michael Sperber. - 3., neubearb. und erw. Aufl. - Stuttgart : Teubner, 2001. - VII, 263 S. : Ill., graph. Darst.; 24 cm - (Leitfäden der Informatik)
ISBN 978-3-519-22242-2 / 3-519-22242-6 kart. : sfr 52.50
Quelle: DNB
Kammerer, Peter: Von Pascal zu Assembler
: eine Einführung in die maschinennahe Programmierung für INTEL und MOTOROLA / Peter Kammerer. - Braunschweig : Vieweg, 1998. - XVIII, 251 S. : Ill.; 24 cm - (Vieweg-Lehrbuch)
ISBN 978-3-528-05590-5 / 3-528-05590-1 kart. : DM 49.80
Quelle: DNB
