E-LIB Suche - Ergebnisse für: inf 410

1

Formal methods in computer science

Textbooks in mathematics

Wang, Jiacun ; Tepfenhart, William M. , [2020]

Copies: Zentrale:E02 a inf 420 e/426

2

Introduction to logic programming

Synthesis lectures on artificial intelligence and machine learning ; #44;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science

Genesereth, Michael R. ; Chaudhri, Vinay K. , [2020]

Link: https://doi.org/10.2200/..

3

Advanced boolean techniques

selected papers from the 13th international workshop on boo...

Drechsler, Rolf ; Soeken, Mathias , [2020]

Copies: Zentrale:Magazin 03.d.2916

4

A first course in logic:

Lawson, Mark V. - 1st . , 2018

Link: https://doi.org/10.1201/..

5

Logik, Informationstheorie

, In: Medientechnisches Wissen
Band 1,

De Gruyter Studium

Höltgen, Stefan ; Völz, Horst , [2018]

Copies: Zentrale; TB BHV; TB Nautik;

6

Introduction to recursive programming:

Rubio-Sánchez, Manuel , [2018]

Link: https://doi.org/10.1201/..

7

Grundlagen der Digitaltechnik

Elementare Komponenten, Funktionen und Steuerungen Hanser eLibrary

Wöstenkühler, Gerd - 2., aktualisierte Auflage . , 2016

Link: https://doi.org/10.3139/..

Copies: :TB Technik n 500/637(2)

8

Subjective Logic

A Formalism for Reasoning Under Uncertainty Artificial Intelligence: Foundations, Theory, and Algorithms;Artificial Intelligence: Foundations, Theory, and Algorithms Ser.

Jøsang, Audun , 2016

Link: https://ebookcentral.pro..

9