Foundations of intelligent systems
: 9th international symposium ; proceedings / ISMIS '96, Zakopane, Poland, June 9 - 13, 1996. Zbigniew W. Raś ; Maciek Michalewicz (ed.). - Berlin : Springer, 1996. - XI, 664 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1079 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61286-5 / 3-540-61286-6 kart. : DM 126.00
Literaturangaben
Quelle: DNB
Foundations of knowledge representation and reasoning
/ Gerhard Lakemeyer ; Bernhard Nebel (ed.). - Berlin : Springer, 1994. - VIII, 355 S.; 24 cm - (Lecture notes in computer science; 810 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58107-9 / 3-540-58107-3 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Engeler, Erwin: Foundations of mathematics
: questions of analysis, geometry & algorithmics / Erwin Engeler. Transl. by Charles B. Thomas. - Berlin : Springer, 1993. - 100 S. : graph. Darst.; 25 cm
ISBN 978-3-540-56422-5 / 3-540-56422-5 Pp. : DM 78.00
Literaturangaben
Quelle: DNB
Foundations of object oriented languages
: proceedings / REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. J. W. de Bakker ... (ed.). - Berlin : Springer, 1991. - VIII, 442 S.; 25 cm - (Lecture notes in computer science; Vol. 489)
ISBN 978-3-540-53931-5 / 3-540-53931-X kart. : DM 61.00
Literaturangaben
Quelle: DNB
Foundations of security analysis and design
/ Alessandro Aldini ... (ed.). - Berlin : Springer, 2002. - VI, 396 : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2171)
ISBN 978-3-540-42896-1 / 3-540-42896-8 kart.
Quelle: DNB
Foundations of software science and computational structures
: 11th international conference ; proceedings / FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Roberto Amadio (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4962)
ISBN 978-3-540-78499-9
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computational structures
: 10th international conference ; proceedings / FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Helmut Seidl (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4423)
ISBN 978-3-540-71389-0
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computational structures
: 8th international conference ; proceedings / FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Vladimiro Sassone (ed.). - Berlin : Springer, 2005. - XIII, 519 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3441)
ISBN 978-3-540-25388-4 / 3-540-25388-2 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Foundations of software science and computation structures
: 6th international conference ; proceedings / FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003. Andrew D. Gordon (ed.). - Berlin : Springer, 2003. - XII, 440 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2620)
ISBN 978-3-540-00897-2 / 3-540-00897-7 kart. : EUR 62.06
Literaturangaben
Quelle: DNB
Foundations of software science and computation structures
: 7th international conference ; proceedings / FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Igor Walukiewicz (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2987)
ISBN 978-3-540-24727-2
Lizenzpflichtig
Quelle: DNB
