Ihre Suche erzielte 3 Treffer.

1.
Verification of Sequential and Concurrent Programs Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger Apt

von Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger | Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger [aut].

Auflage: 3. ed.Materialtyp: Text Text; Format: Druck Sprache: Englisch Veröffentlichungsangaben: Dordrecht; Heidelberg; London; New York Springer 2009Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 57 (1).

2.
Contemporary logic design Randy H. Katz ; Gaetano Borriello

von Katz, Randy H | Katz, Randy H [aut] | Borriello, Gaetano [aut].

Auflage: 2. ed.Materialtyp: Text Text; Format: Druck Veröffentlichungsangaben: Upper Saddle River, N.J. [u.a.] Pearson Prentice Hall 2005Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 10/2. (1).

3.
Fundamentals of machine learning : support vector machines made easy Floris Ernst, Achim Schweikard

von Ernst, Floris | Ernst, Floris [aut] | Schweikard, Achim [aut].

Reihen: utb ; 5251 : Informatik, NaturwissenschaftenAuflage: 1. AuflageMaterialtyp: Text Text; Format: Druck Veröffentlichungsangaben: München UVK Verlag 2020Online-Ressourcen: Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 80 (1).

Powered by Koha