UMC

Vis mig kun

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Thiagarajan, P.S.

436,85 DKK

Certified Programs and Proofs

Certified Programs and Proofs

Miller, Dale

436,85 DKK

Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications

Baltag, Alexandru

436,85 DKK

Advanced Guide to Python 3 Programming

Advanced Guide to Python 3 Programming

Hunt, John

583,01 DKK

Beginners Guide to Python 3 Programming

Beginners Guide to Python 3 Programming

Hunt, John

509,93 DKK

Explainable and Transparent AI and Multi-Agent Systems

Explainable and Transparent AI and Multi-Agent Systems

Framling, Kary

473,39 DKK

Advanced Guide to Python 3 Programming

Advanced Guide to Python 3 Programming

Hunt, John

583,01 DKK

Beginners Guide to Python 3 Programming

Beginners Guide to Python 3 Programming

Hunt, John

509,93 DKK

Explainable and Transparent AI and Multi-Agent Systems

Explainable and Transparent AI and Multi-Agent Systems

Framling, Kary

473,39 DKK

AIxIA 2023 - Advances in Artificial Intelligence

AIxIA 2023 - Advances in Artificial Intelligence

Orlandini, Andrea

583,01 DKK

Grading Knowledge

Grading Knowledge

Staab, Steffen

436,85 DKK

Advances in Natural Language Processing

Advances in Natural Language Processing

Helgadottir, Sigrun

436,85 DKK

FM'99 - Formal Methods

FM'99 - Formal Methods

Davies, Jim

875,33 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Podelski, Andreas

436,85 DKK

Formal Methods

Formal Methods

Vink, Erik de

802,25 DKK

Hardware and Software, Verification and Testing

Hardware and Software, Verification and Testing

Ur, Shmuel

436,85 DKK

Programming Language Ada

Programming Language Ada

Bull, Cii Honeywell

403,64 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Ong, Luke

436,85 DKK

Advances in Natural Language Processing

Advances in Natural Language Processing

Nordstrom, Bengt

436,85 DKK

Introduction to Compiler Design

Introduction to Compiler Design

Mogensen, Torben Ægidius

260,50 DKK

Provenance and Annotation of Data and Processes

Provenance and Annotation of Data and Processes

Alper, Pinar

436,85 DKK

Unconventional Programming Paradigms

Unconventional Programming Paradigms

Michel, Olivier

436,85 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Barnett, Mike

875,33 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Margaria-Steffen, Tiziana

436,85 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Seidl, Helmut

436,85 DKK

Python 3 - Intensivkurs

Python 3 - Intensivkurs

Pilgrim, Mark

317,82 DKK

Definitive Guide to Modern Java Clients with JavaFX 17

Definitive Guide to Modern Java Clients with JavaFX 17

Weaver, James

509,93 DKK

Definitive Guide to Modern Java Clients with JavaFX 17

Definitive Guide to Modern Java Clients with JavaFX 17

Weaver, James

509,93 DKK

Programming Languages

Programming Languages

Lee, Kent D.

729,17 DKK

Encyclopedia of Parallel Computing

Encyclopedia of Parallel Computing

Padua, David

Not for sale