Saxo Access
Indkøbskurv

UYA

Vis søgefilter

Vis mig kun

Anticipatory Learning Classifier Systems

Anticipatory Learning Classifier Systems

Butz, Martin V.

875,33 DKK

Defect and Fault Tolerance in VLSI Systems

Defect and Fault Tolerance in VLSI Systems

Koren, Israel

875,33 DKK

Machine Learning, Meta-Reasoning and Logics

Machine Learning, Meta-Reasoning and Logics

Konolige, Kurt

1240,73 DKK

Proof Theory for Description Logics

Proof Theory for Description Logics

Rademaker, Alexandre

436,85 DKK

Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory

Hofmann, Martin

1167,65 DKK

Deontic Logic, Agency and Normative Systems

Deontic Logic, Agency and Normative Systems

Carmo, Jose

875,33 DKK

Designing Correct Circuits

Designing Correct Circuits

Sheeran, Mary

436,85 DKK

Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Clement, Timothy P.

436,85 DKK

Formal Languages and Compilation

Formal Languages and Compilation

Morzenti, Angelo

509,93 DKK

Distributed Systems for System Architects

Distributed Systems for System Architects

Rodrigues, Luis

875,33 DKK

Deduction Systems

Deduction Systems

Johann, Patricia

436,85 DKK

Recursive Introduction to the Theory of Computation

Recursive Introduction to the Theory of Computation

Smith, Carl

436,85 DKK

Refinement Calculus

Refinement Calculus

Wright, Joakim

875,33 DKK

Neural Network Dynamics

Neural Network Dynamics

Clark, J.W.

436,85 DKK

Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

Horning, James J.

436,85 DKK

Computational Algorithms for Fingerprint Recognition

Computational Algorithms for Fingerprint Recognition

Tan, Xuejun

875,33 DKK

Self-Organising Neural Networks

Self-Organising Neural Networks

Girolami, Mark

875,33 DKK

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Pnueli, Amir

875,33 DKK

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Fitting, Melvin

692,63 DKK

Fault-Tolerant Parallel Computation

Fault-Tolerant Parallel Computation

Shvartsman, Alex Allister

875,33 DKK

Immunocomputing

Immunocomputing

Sokolova, S.P.

692,63 DKK

Variational Regularization of 3D Data

Variational Regularization of 3D Data

Espinosa, Jairo

436,85 DKK

Design of Logic Systems

Design of Logic Systems

LEWIN, DAVID PROTHEROE DOUGLAS

436,85 DKK

Deep Learning Innovations and Their Convergence With Big Data

Deep Learning Innovations and Their Convergence With Big Data

N.

2190,77 DKK

Handbook of Research on Emerging Trends and Applications of Machine Learning

Handbook of Research on Emerging Trends and Applications of Machine Learning

Anand

3652,37 DKK

Deep Learning Innovations and Their Convergence With Big Data

Deep Learning Innovations and Their Convergence With Big Data

N.

2190,77 DKK

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Olderog, Ernst-Rudiger

692,63 DKK

Parallel Numerical Computation with Applications

Parallel Numerical Computation with Applications

Yang, Laurence Tianruo

1240,73 DKK

Predicate Calculus and Program Semantics

Predicate Calculus and Program Semantics

Scholten, Carel S.

692,63 DKK

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Rajagopal Nagarajan, Nagarajan

509,93 DKK