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

Walch, Markus: Evaluating parallel processing of communication protocols

/ Markus Walch. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - XVI, 390 S. : graph. Darst.; 24 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 238)

ISBN 978-3-486-23202-8 / 3-486-23202-9 kart. : DM 95.00, sfr 95.00, S 741.00

Quelle: DNB

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

Koch, Jürgen Hartmut: Unterstützung der Formierung und Analyse von virtuellen Communities

/ Jürgen Hartmut Koch. - Frankfurt am Main : Lang, 2003. - XI, 219 S. : Ill., graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 41, Informatik; Bd. 39)

ISBN 978-3-631-50288-4 / 3-631-50288-5 kart.

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
Advertorial