KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Kroening, Daniel. ; Strichman, Ofer

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV035286426

Umfang: XVI, 304 S. : , graph. Darst.

ISBN: 978-3-642-09344-9 , 978-3-540-74104-6

Serie: Texts in theoretical computer science

Anmerkung: Auch als Internetausgabe

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-540-74105-3

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 134

RVK:

ST 125

Schlagwort(e): Entscheidungsverfahren ; Mathematische Logik ; Algorithmus ; Lehrbuch

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017091560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Einführung/Vorwort

URL: Cover

URL: Kapitel 1

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=2843535&custom_att_2=simple_viewer

URL: Inhaltsverzeichnis

Mehr zum Autor: Kroening, Daniel.

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

HU Berlin

UB Potsdam

Berlin VÖBB/ZLB

BTU Cottbus

TU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund