hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Formale Beschreibungstechnik
5 Treffer
Seite < 1 >
Cover

Eirund, Helmut: Formale Beschreibungsverfahren der Informatik

: ein Arbeitsbuch für die Praxis / von Helmut Eirund, Bernd Müller und Gerlinde Schreiber. - 1. Aufl. - Stuttgart : Teubner, 2000. - 124 S. : graph. Darst.; 23 cm - (Informatik & Praxis)

ISBN 978-3-519-02643-3 / 3-519-02643-0 kart. : DM 32.00, sfr 29.50, S 234.00

Quelle: DNB

Cover

Handbook on architectures of information systems

: with 19 tables / Peter Bernus ... ed.. - 2. ed. - Berlin : Springer, 2006. - X, 896 S. : Ill., graph. Darst.; 24 cm - (International handbooks on information systems)

ISBN 978-3-540-25472-0 / 3-540-25472-2 Pp.

Literaturangaben

Quelle: DNB

Cover

Helbig, Hermann: Knowledge representation and the semantics of natural language

: with 23 tables and CD-ROM / Hermann Helbig. - Berlin : Springer, 2006. - XVIII, 646 S. : graph. Darst.; 24 cm - (Cognitive technologies)

ISBN 978-3-540-24461-5 / 3-540-24461-1 Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)

Literaturverz. S. 617 - 628

Quelle: DNB Verlagsmeldungen

Cover

König, Hartmut: Protocol engineering

: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen / Hartmut König. - 1. Aufl. - Stuttgart : Teubner, 2003. - XIII, 496 S. : graph. Darst.; 24 cm - (Leitfäden der Informatik)

ISBN 978-3-519-00454-7 / 3-519-00454-2 kart. : EUR 39.90, sfr 67.00

Literaturverz. S. 471 - 482

Quelle: DNB

Cover

Wissensverarbeitung und die Semantik der natürlichen Sprache

: Wissensrepräsentation mit MultiNet / Hermann Helbig. - [Online-Ausg. der] 2., überarb. [gedr.] Aufl. - Berlin : Springer, 2008. - Online-Ressource - (eXamen.press)

ISBN 978-3-540-76278-2

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen