Walther, Christoph: Automatisierung von Terminierungsbeweisen
/ Christoph Walther. Hrsg. von Wolfgang Bibel. - Braunschweig : Vieweg, 1991. - IX, 253 S.; 23 cm - (Künstliche Intelligenz)
ISBN 978-3-528-04771-9 / 3-528-04771-2 kart. : DM 68.00
Quelle: DNB
Combinatorial and algorithmic aspects of networking
: third workshop ; revised papers / CAAN 2006, Chester, UK, July 2, 2006. Thomas Erlebach (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4235)
ISBN 978-3-540-48824-8
Lizenzpflichtig
Quelle: DNB
Combinatorial and algorithmic aspects of networking
: revised selected papers / First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5 - 7, 2004. Alejandro López-Ortiz ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3405)
ISBN 978-3-540-31860-6
Lizenzpflichtig
Quelle: DNB
Computational discrete mathematics
: advanced lectures / H. Alt (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2122)
ISBN 978-3-540-45506-6
Lizenzpflichtig
Quelle: DNB
Computational discrete mathematics
: advanced lectures / Helmut Alt (ed.). - Berlin : Springer, 2001. - VI, 171 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2122)
ISBN 978-3-540-42775-9 / 3-540-42775-9 kart.
Literaturangaben
Quelle: DNB
Computer algorithms for solving linear algebraic equations
: the state of the art ; [proceedings of the NATO Advanced Study Institute on Computer Algorithms for Solving Linear Algebraic Equations: the State of the Art, held at IlCiocco, Barga, Italy, September 9 - 21, 1990] / ed. by Emilio Spedicato. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1991. - VIII, 352 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 77)
ISBN 978-3-540-54187-5 / 3-540-54187-X Pp. : DM 118.00
Literaturangaben
Quelle: DNB
Stoschek, Erwin: Computergraphik im Spannungsfeld zwischen Algorithmus und Phantasie
: Signa in silico / Erwin P. Stoschek ; Dagmar Schönfeld. - 1. Aufl. - Thun : Deutsch, 2000. - 299 S. : zahlr. Ill. und graph. Darst.; 24 cm
ISBN 978-3-8171-1640-9 / 3-8171-1640-3 kart. : DM 48.00, EUR 34.77, S 350.00, sfr 44.50
Literaturverz. S. [297] - 299
Quelle: DNB
Computing and combinatorics
: 5th annual international conference ; proceedings / COCOON '99, Tokyo, Japan, July 1999. T. Asano ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1627)
ISBN 978-3-540-48686-2
Lizenzpflichtig
Quelle: DNB
Computing and combinatorics
: 5th annual international conference ; proceedings / COCOON '99, Tokyo, Japan, July 26 - 28, 1999. Takao Asano ... (ed.). - Berlin : Springer, 1999. - XIV, 494 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1627)
ISBN 978-3-540-66200-6 / 3-540-66200-6 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Breutmann, Bernd: Data and algorithms
: an introductory course ; with 49 examples, 36 exercises and CD-ROM / Bernd Breutmann. - München : Fachbuchverl. Leipzig im Carl-Hanser-Verl., 2001. - 157 S. : Ill., graph. Darst.; 23 cm - (Informatik interaktiv)
ISBN 978-3-446-21591-7 / 3-446-21591-3 kart. : DM 29.80, EUR 15.24
Quelle: DNB
