Theoretical aspects of computer software
: 4th international symposium ; proceedings / TACS 2001, Sendai, Japan, October 29 - 31, 2001. Naoki Kobayashi ; Benjamin C. Pierce (ed.). - Berlin : Springer, 2001. - XV, 559 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2215)
ISBN 978-3-540-42736-0 / 3-540-42736-8 kart.
Literaturangaben
Quelle: DNB
Theoretical aspects of computer software
: proceedings / International Symposium TACS '94, Sendai, Japan, April 19 - 22, 1994. Masami Hagiya ; John C. Mitchell (ed.). - Berlin : Springer, 1994. - XI, 885 S.; 24 cm - (Lecture notes in computer science; Vol. 789)
ISBN 978-3-540-57887-1 / 3-540-57887-0 kart. : DM 156.00
Literaturangaben
Quelle: DNB
Theoretical aspects of computer software
: third international symposium ; proceedings / TACS '97, Sendai, Japan, September 23 - 26, 1997. Martín Abadi ; Takayaso Ito (ed.). - Berlin : Springer, 1997. - XI, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1281)
ISBN 978-3-540-63388-4 / 3-540-63388-X kart. : DM 122.00
Literaturangaben
Quelle: DNB
Theoretical aspects of computer software
: proceeedings / International Conference TACS '91, Sendai, Japan, September 1991. T. Ito ; A. R. Meyer (eds.). - Berlin : Springer, 1991. - X, 770 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 526)
ISBN 978-3-540-54415-9 / 3-540-54415-1 kart. : DM 109.00
Literaturangaben
Quelle: DNB
Theoretical aspects of computing
: 5th international colloquium ; proceedings / ICTAC 2008, Istanbul, Turkey, September 1 - 3, 2008. John S. Fitzgerald ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5160)
ISBN 978-3-540-85762-4
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: 4th international colloquium ; proceedings / ICTAC 2007, Macao, China, September 26 - 28, 2007. Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4711)
ISBN 978-3-540-75292-9
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: third international colloquium ; proceedings / ICTAC 2006, Tunis, Tunisia, November 20 - 24, 2006. Kamel Barkaoui ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4281)
ISBN 978-3-540-48816-3
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: second international colloquium ; proceedings / ICTAC 2005, Hanoi, Vietnam, October 17 - 21, 2005. Dang Van Hung ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3722)
ISBN 978-3-540-32072-2
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of evolutionary computing
: with 15 tables / Leila Kallel ... (ed.). - Berlin : Springer, 2001. - X, 497 S. : graph. Darst.; 24 cm - (Natural computing series)
ISBN 978-3-540-67396-5 / 3-540-67396-2 Pp. : DM 119.00
Literaturangaben
Quelle: DNB
Michiels, Wil: Theoretical aspects of local search
: with 3 tables / Wil Michiels ; Emile Aarts ; Jan Korst. - Berlin : Springer, 2007. - VIII, 235 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-35853-4 / 3-540-35853-6 Pp. : EUR 58.80 (freier Pr.)
Literaturverz. S. 211 - 220
Quelle: DNB Verlagsmeldungen
