Saxo Access
Indkøbskurv

UMB

Vis søgefilter

Vis mig kun

From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

Semini, Laura

436,85 DKK

Discrete Geometry for Computer Imagery

Discrete Geometry for Computer Imagery

Mustafa, Nabil

436,85 DKK

Cohesive Subgraph Computation over Large Sparse Graphs

Cohesive Subgraph Computation over Large Sparse Graphs

Qin, Lu

436,85 DKK

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Esparza, Javier

436,85 DKK

Frontiers of Combining Systems

Frontiers of Combining Systems

Popescu, Andrei

509,93 DKK

Web Information Systems Engineering - WISE 2018

Web Information Systems Engineering - WISE 2018

Zhou, Rui

436,85 DKK

Machine Learning, Optimization, and Data Science

Machine Learning, Optimization, and Data Science

Sciacca, Vincenzo

436,85 DKK

Recent Advances in Computational Optimization

Recent Advances in Computational Optimization

Fidanova, Stefka

875,33 DKK

Knowledge Science, Engineering and Management

Knowledge Science, Engineering and Management

Apostolou, Dimitris

875,33 DKK

Formal Methods - The Next 30 Years

Formal Methods - The Next 30 Years

Oliveira, Jose N.

436,85 DKK

Agents and Artificial Intelligence

Agents and Artificial Intelligence

Steels, Luc

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Stoelinga, Marielle

436,85 DKK

Models, Mindsets, Meta: The What, the How, and the Why Not?

Models, Mindsets, Meta: The What, the How, and the Why Not?

Larsen, Kim G.

436,85 DKK

Models, Mindsets, Meta: The What, the How, and the Why Not?

Models, Mindsets, Meta: The What, the How, and the Why Not?

Larsen, Kim G.

436,85 DKK

Formal Methods - The Next 30 Years

Formal Methods - The Next 30 Years

Oliveira, Jose N.

436,85 DKK

Genetic Programming Theory and Practice XVI

Genetic Programming Theory and Practice XVI

Sheneman, Leigh

1167,65 DKK

Advances in Artificial Intelligence - IBERAMIA 2018

Advances in Artificial Intelligence - IBERAMIA 2018

Melquiades, Jose Antonio Rodriguez

436,85 DKK

KI 2018: Advances in Artificial Intelligence

KI 2018: Advances in Artificial Intelligence

Turhan, Anni-Yasmin

436,85 DKK

Model Checking Software

Model Checking Software

Legay, Axel

436,85 DKK

Formal Methods Teaching

Formal Methods Teaching

Smith, Graeme

436,85 DKK

Advances in Brain Inspired Cognitive Systems

Advances in Brain Inspired Cognitive Systems

Zhang, Zhaoxiang

436,85 DKK

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Stoelinga, Marielle

436,85 DKK

Data Structures and Algorithms with Scala

Data Structures and Algorithms with Scala

Upadhyaya, Bhim P.

310,39 DKK

Data Mining and Big Data

Data Mining and Big Data

Shi, Yuhui

436,85 DKK

Pattern Recognition and Machine Intelligence

Pattern Recognition and Machine Intelligence

Pal, Sankar Kumar

436,85 DKK

Analysis of Experimental Algorithms

Analysis of Experimental Algorithms

Tsokas, Arsenis

656,09 DKK

String Processing and Information Retrieval

String Processing and Information Retrieval

Porat, Ely

436,85 DKK

Artificial Intelligence and Soft Computing

Artificial Intelligence and Soft Computing

Zurada, Jacek M.

436,85 DKK

Pattern Recognition and Machine Intelligence

Pattern Recognition and Machine Intelligence

Pal, Sankar Kumar

436,85 DKK