hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Hutter, Dieter
6 Treffer
Seite < 1 >
Cover

Applied formal methods - FM trends 98

: proceedings / International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998. Dieter Hutter ... (ed.). - Berlin : Springer, 1999. - XI, 376 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1641)

ISBN 978-3-540-66462-8 / 3-540-66462-9 kart. : DM 86.00

Literaturangaben

Quelle: DNB

Cover

Mechanizing mathematical reasoning

: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift] / Dieter Hutter ; Werner Stephan (ed.). - Berlin : Springer, 2005. - IX, 563 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2605 : Lecture notes in artificial intelligence)

ISBN 978-3-540-25051-7 / 3-540-25051-4 kart. : EUR 69.55 (freier Pr.), sfr 115.00 (freier Pr.)

Quelle: DNB Verlagsmeldungen

Cover

Security in pervasive computing

: first international conference, Boppard, Germany, March 12 - 14, 2003 ; revised papers / Dieter Hutter ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2802)

ISBN 978-3-540-39881-3

Lizenzpflichtig

Quelle: DNB

Cover

Security in pervasive computing

: second international conference ; proceedings / SPC 2005, Boppard, Germany, April 6 - 8, 2005. Dieter Hutter ; Markus Ullmann (ed.). - Berlin : Springer, 2005. - XI, 238 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3450)

ISBN 978-3-540-25521-5 / 3-540-25521-4 kart. : EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Security in pervasive computing

: first international conference, Boppard, Germany, March 12 - 14, 2003 ; revised papers / Dieter Hutter ... (ed.). - Berlin : Springer, 2004. - XI, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2802)

ISBN 978-3-540-20887-7 / 3-540-20887-9 kart. : EUR 49.22 (freier Pr.), sfr 79.00

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Schmäche, Ernst: Verhandlungstechnik bei steuerlichen Betriebsprüfungen

: Verhandeln im Dienste der Betriebsprüfung / von Ernst Schmäche und Dieter Hutter. - 3., überarb. Aufl. - Berlin : Erich Schmidt, 1994. - 126 S.; 21 cm

ISBN 978-3-503-03494-9 / 3-503-03494-3 kart. : DM 36.80

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen