Hörmann, Wolfgang: Automatic nonuniform random variate generation
/ Wolfgang Hörmann ; Josef Leydold ; Gerhard Derflinger. - Berlin : Springer, 2004. - X, 441 S. : graph. Darst.; 24 cm - (Statistics and computing)
ISBN 978-3-540-40652-5 / 3-540-40652-2 Pp. : EUR 80.20, sfr 124.50
Literaturverz. S. 415 - 428
Quelle: DNB
Automatic supervision in manufacturing
/ ed. Maciej Szafarczyk. - London : Springer, 1994. - XIV, 283 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-19858-1 / 3-540-19858-X Pp. : DM 218.00
Literaturangaben
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ Olaf Burkart. - Berlin : Springer, 1997. - X, 163 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1354)
ISBN 978-3-540-63982-4 / 3-540-63982-9 kart. : DM 50.00
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ O. Burkart. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1354)
ISBN 978-3-540-69678-0
Lizenzpflichtig
Quelle: DNB
Automating instructional design: computer based development and delivery tools
: [proceedings of the NATO Advanced Study Institute on Automating Instructional Design: Computer-Based Development and Delivery Tools, held in Grimstad, Norway, July 12 - 23, 1993] / ed. by Robert D. Tennyson ; Ann E. Barron. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1995. - IX, 618 S. : graph. Darst., Kt.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 140)
ISBN 978-3-540-58765-1 / 3-540-58765-9 Pp. : DM 198.00
Literaturangaben
Quelle: DNB
Automating instructional design, development, and delivery
: [proceedings of the NATO Advanced Research Workshop on Automating Instructional Design, Development, and Delivery, held in Sitges, Spain, March 23 - 27, 1992] / ed. by Robert D. Tennyson. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1994. - VIII, 266 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 119)
ISBN 978-3-540-57022-6 / 3-540-57022-5 Pp. : DM 98.00
Literaturangaben
Quelle: DNB
Automation and systems issues in air traffic control
: [proceedings of the NATO Advanced Study Institute on Automation and Systems Issues in Air Traffic Control, held in Acquafredda di Maratea, Italy, June 18 - 29, 1990] / ed. by John A. Wise ... Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1991. - XIX, 593 S. : Ill., graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 73)
ISBN 978-3-540-53903-2 / 3-540-53903-4 Pp. : DM 198.00
Literaturangaben
Quelle: DNB
The automation of reasoning with incomplete information
: from semantic foundations to efficient computation / Torsten Schaub. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1409 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69793-0
Lizenzpflichtig
Quelle: DNB
Merklinger, Achim: Automatische Kalibrierung der koppelnden Ortung mobiler Plattformen
: mit 25 Tabellen / Achim Merklinger. - Berlin : Springer, 1996. - 106 S. : Ill., graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 236)
ISBN 978-3-540-61632-0 / 3-540-61632-2 kart. : DM 88.00
Quelle: DNB
Leicht, Thomas: Automatische Reparatur elektronischer Baugruppen
/ Thomas Leicht. - Berlin : Springer, 1995. - 99 S. : Ill., graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 212)
ISBN 978-3-540-59015-6 / 3-540-59015-3 kart. : DM 88.00
Quelle: DNB
