UYA

Vis søgefilter Nulstil

Vis mig kun

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

Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

Rouff, Christopher

1240,73 DKK

TensorFlow Machine Learning Cookbook

TensorFlow Machine Learning Cookbook

Nick McClure, McClure

205,98 DKK

3D Deep Learning with Python

3D Deep Learning with Python

Lilit Yolyan, Yolyan

223,05 DKK

Machine Learning Applications in Non-Conventional Machining Processes

Machine Learning Applications in Non-Conventional Machining Processes

Pritam

2190,77 DKK

Hands-On Generative Adversarial Networks with Keras

Hands-On Generative Adversarial Networks with Keras

Rafael Valle, Valle

230,54 DKK

Hands-On Reinforcement Learning for Games

Hands-On Reinforcement Learning for Games

Micheal Lanham, Lanham

230,54 DKK

Hands-On Generative Adversarial Networks with Keras

Hands-On Generative Adversarial Networks with Keras

Rafael Valle, Valle

230,54 DKK

Hands-On Neuroevolution with Python

Hands-On Neuroevolution with Python

Iaroslav Omelianenko, Omelianenko

260,50 DKK

Hands-On Image Generation with TensorFlow

Hands-On Image Generation with TensorFlow

Soon Yau Cheong, Cheong

295,53 DKK

TensorFlow Machine Learning Cookbook

TensorFlow Machine Learning Cookbook

Nick McClure, McClure

205,98 DKK

3D Deep Learning with Python

3D Deep Learning with Python

Lilit Yolyan, Yolyan

223,05 DKK

TensorFlow 2 Reinforcement Learning Cookbook

TensorFlow 2 Reinforcement Learning Cookbook

Praveen Palanisamy, Palanisamy

260,50 DKK

Neural Network Projects with Python

Neural Network Projects with Python

James Loy, Loy

230,54 DKK

Mastering PyTorch

Mastering PyTorch

Ashish Ranjan Jha, Jha

260,50 DKK

Hands-On Image Generation with TensorFlow

Hands-On Image Generation with TensorFlow

Soon Yau Cheong, Cheong

295,53 DKK

Neural Network Projects with Python

Neural Network Projects with Python

James Loy, Loy

230,54 DKK

Hands-On One-shot Learning with Python

Hands-On One-shot Learning with Python

Ankush Garg, Garg

230,54 DKK

Hands-On Generative Adversarial Networks with PyTorch 1.x

Hands-On Generative Adversarial Networks with PyTorch 1.x

Greg Walters, Walters

230,54 DKK