Inductive synthesis of functional programs
: universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2654)
ISBN 978-3-540-44846-4
Lizenzpflichtig
Quelle: DNB
Schmid, Ute: Inductive synthesis of functional programs
: universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. - Berlin : Springer, 2003. - XXII, 398 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2654)
ISBN 978-3-540-40174-2 / 3-540-40174-1 kart. : EUR 57.78
Literaturverz. S. 327 - 340
Quelle: DNB
Toutenburg, Helge: Induktive Statistik
: eine Einführung mit SPSS für Windows / Helge Toutenburg. - 2., neubearb. und erw. Aufl. - Berlin : Springer, 1999. - XVI, 394 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-66434-5 / 3-540-66434-3 kart. : DM 45.00, sfr 41.50, S 329.00, ffr 170.00, L 17.50, lire 49700.00, $ 25.75
Quelle: DNB
Industrial and engineering applications of artificial intelligence and expert systems
: 5th international conference ; proceedings / IEA, AIE '92, Paderborn, Germany, June 9 - 12, 1992. F. Belli ; F.-J. Radermacher (ed.). - Berlin : Springer, 1992. - XV, 699 S. : Ill., graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 604 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55601-5 / 3-540-55601-X kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial and environmental applications of direct and large eddy simulation
: proceedings of a workshop held in Istanbul, Turkey, 5 - 7 August 1998 / S. Biringen ... (ed.). - Berlin : Springer, 1999. - XVI, 301 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in physics; Vol. 529)
ISBN 978-3-540-66171-9 / 3-540-66171-9 Pp. : DM 119.00
Literaturangaben
Quelle: DNB
Industrial applications and strengthened foundations of formal methods
: proceedings / FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997. John Fitzgerald ... (ed.). - Berlin : Springer, 1997. - XIII, 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1313)
ISBN 978-3-540-63533-8 / 3-540-63533-5 kart. : DM 130.00
Literaturangaben
Quelle: DNB
Industrial applications of fuzzy technology
/ K. Hirota (ed.). Transl. by H. Solomon. - Tokyo : Springer, 1993. - XVI, 310 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-70109-5 / 3-540-70109-5 Pp. : DM 98.00
Literaturangaben
Quelle: DNB
Industrial benefit and advances in formal methods
: proceedings / FME '96, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996. Marie-Claude Gaudel ; James Woodcock (ed.). Co-sponsored by IFIP WG 14.3. - Berlin : Springer, 1996. - XII, 704 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1051)
ISBN 978-3-540-60973-5 / 3-540-60973-3 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial benefit of formal methods
: proceedings / FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.). - Berlin : Springer, 1994. - XI, 723 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 873)
ISBN 978-3-540-58555-8 / 3-540-58555-9 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial excellence
: management quality in manufacturing ; with 17 tables / Christoph H. Loch .... - Berlin : Springer, 2003. - XVII, 248 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-00254-3 / 3-540-00254-5 Pp. : EUR 53.45
Literaturangaben
Quelle: DNB
