 | | | | |
Bild | | | | Bestellen |
|
|
|
Logics in Artificial Intelligence (1 Angebot) This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short paper... |
Springer Verlag 9783031436185 |
€ 99,99*
pro Stück |
|
|
Logics of Programs (1 Angebot) A static analysis of CSP programs.- Compactness in semantics for merge and fair merge.- Algebraic tools for system construction.- PC-compactness, a necessary condition for the existence of sound an... |
Springer Verlag 9783540128960 |
€ 46,99*
pro Stück |
|
|
Logics of Programs (1 Angebot) Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel... |
Springer Verlag 9783540156482 |
€ 49,99*
pro Stück |
|
|
Logics of Programs and Their Applications (1 Angebot) Sharpening the characterization of the power of Floyd method.- On proving program correctness by means of stepwise refinement method.- Semantics and implementation of prefixing at many levels.- Non... |
Springer Verlag 9783540119814 |
€ 22,99*
pro Stück |
|
|
|
Springer Verlag 9783540741060 |
€ 149,99*
pro Stück |
|
|
|
Springer Verlag 9783642093456 |
€ 149,99*
pro Stück |
|
|
Logik (1 Angebot) Die Buchreihe Basiswissen Programmierung greift elementare Themen auf, die nach wie vor von essentieller Bedeutung für die Programmierung sind. Sie richtet sich an werdende Softwareentwickler, die ... |
Books on Demand 9783842346154 |
€ 16,82*
pro Stück |
|
|
Logik für Informatiker (1 Angebot) 1 Aussagenlogik.- 1.1 Aussagenlogische Ausdrücke.- 1.2 Entscheidbarkeitsfragen in der Aussagenlogik.- Übungsaufgaben.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Ausdrücke.- 2.2 Entscheidbarkeitsfr... |
Vieweg & Teubner 9783519005186 |
€ 32,70*
pro Stück |
|
|
Logik für Informatiker (1 Angebot) Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedür... |
Spektrum Akademischer Verlag 9783827410054 |
€ 30,84*
pro Stück |
|
|
Logikkalküle in der Informatik (1 Angebot) Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten... |
Springer Verlag 9783834818874 |
€ 28,03*
pro Stück |
|
|
Logische Grundlagen der Künstlichen Intelligenz (1 Angebot) Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissen schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug z... |
Vieweg & Teubner 9783528046385 |
€ 46,72*
pro Stück |
|
|
|
Springer Verlag 9783658263010 |
€ 32,70*
pro Stück |
|
|
|
Springer Verlag 9783540069126 |
€ 46,68*
pro Stück |
|
|
Logistics and Supply Chain Management (1 Angebot) This book constitutes selected and revised papers from the 7th International Conference Logistics and Supply Chain Management, held in December 2020 in Tehran, Iran. Due to the COVID-19 pandemic th... |
Springer Verlag 9783030897420 |
€ 89,99*
pro Stück |
|
|
|
Springer Verlag 9783662557846 |
€ 37,37*
pro Stück |
|
|
