UYA

Vis søgefilter Nulstil

Vis mig kun

Abstraction, Reformulation and Approximation

Abstraction, Reformulation and Approximation

Saitta, Lorenza

436,85 DKK

J.UCS The Journal of Universal Computer Science

J.UCS The Journal of Universal Computer Science

Salomaa, Arto

436,85 DKK

Deontic Logic and Artificial Normative Systems

Deontic Logic and Artificial Normative Systems

Meyer, John-Jules Ch.

619,55 DKK

Imaginary Mathematics for Computer Science

Imaginary Mathematics for Computer Science

Vince, John

473,39 DKK

Kompendium Theoretische Informatik — eine Ideensammlung

Kompendium Theoretische Informatik — eine Ideensammlung

Wegener, Ingo

192,41 DKK

Theoretische Informatik

Theoretische Informatik

Hromkovic, Juraj

322,59 DKK

AI 2001: Advances in Artificial Intelligence

AI 2001: Advances in Artificial Intelligence

Stumptner, Markus

875,33 DKK

Hybride Optimierung für Dimensionsreduktion

Hybride Optimierung für Dimensionsreduktion

Luckehe, Daniel

265,81 DKK

Engineering Applications of Neural Networks

Engineering Applications of Neural Networks

Jayne, Chrisina

875,33 DKK

Introduction to Default Logic

Introduction to Default Logic

Besnard, Philippe

875,33 DKK

Incremental Speech Translation

Incremental Speech Translation

Amtrup, Jan W.

436,85 DKK

Artificial Intelligence and Cognitive Science

Artificial Intelligence and Cognitive Science

Eaton, Malachy

436,85 DKK

Multi-Agent-Based Simulation XIV

Multi-Agent-Based Simulation XIV

Parunak, H. Van Dyke

329,95 DKK

Logical Aspects of Computational Linguistics

Logical Aspects of Computational Linguistics

Moot, Richard

436,85 DKK

Algorithmische Konzepte der Informatik

Algorithmische Konzepte der Informatik

Hromkovic, Juraj

322,59 DKK

Theoretische Informatik

Theoretische Informatik

Wegener, Ingo

322,59 DKK

Computation of Language

Computation of Language

Hausser, Roland

436,85 DKK

Formal Grammar

Formal Grammar

Pogodalla, Sylvain

436,85 DKK

Logic, Language, and Computation

Logic, Language, and Computation

Kupke, Clemens

436,85 DKK

MICAI 2006: Advances in Artificial Intelligence

MICAI 2006: Advances in Artificial Intelligence

Reyes-Garcia, Carlos Alberto

1459,97 DKK

Products of Automata

Products of Automata

Gecseg, Ferenc

436,85 DKK

Current Topics in Artificial Intelligence

Current Topics in Artificial Intelligence

Santos, Jose

436,85 DKK

Design, Specification and Verification of Interactive Systems '99

Design, Specification and Verification of Interactive Systems '99

Puerta, A.

436,85 DKK

High Performance Computing Systems and Applications

High Performance Computing Systems and Applications

Sands, Todd W.

1240,73 DKK

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