UYA

Vis mig kun

Fundamentals of the Theory of Computation: Principles and Practice

Fundamentals of the Theory of Computation: Principles and Practice

Hoover, H. James

366,80 DKK

Fundamentals of the Theory of Computation: Principles and Practice

Fundamentals of the Theory of Computation: Principles and Practice

Hoover, H. James

366,80 DKK

Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes

Reniers, M. A.

656,09 DKK

Second Course in Formal Languages and Automata Theory

Second Course in Formal Languages and Automata Theory

Shallit, Jeffrey

473,39 DKK

Event-Triggered and Time-Triggered Control Paradigms

Event-Triggered and Time-Triggered Control Paradigms

Obermaisser, Roman

875,33 DKK

Logic in Computer Science

Logic in Computer Science

Ryan, Mark

656,09 DKK

Evolutionary Synthesis of Pattern Recognition Systems

Evolutionary Synthesis of Pattern Recognition Systems

Krawiec, Krzysztof

1240,73 DKK

Modelle fur Rechensysteme

Modelle fur Rechensysteme

Spies, P.P.

875,33 DKK

Simulationstechnik

Simulationstechnik

Goller, M.

337,32 DKK

Logic of Programming and Calculi of Discrete Design

Logic of Programming and Calculi of Discrete Design

Broy, Manfred

436,85 DKK

Conditionals in Nonmonotonic Reasoning and Belief Revision

Conditionals in Nonmonotonic Reasoning and Belief Revision

Kern-Isberner, Gabriele

436,85 DKK

Optimization Problems and Their Applications

Optimization Problems and Their Applications

Pardalos, Panos

436,85 DKK

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Schewe, Klaus-Dieter

436,85 DKK

Transactions on Rough Sets XI

Transactions on Rough Sets XI

436,85 DKK

Logic, Language, and Computation

Logic, Language, and Computation

Richter, Frank

403,64 DKK

Optimization Problems and Their Applications

Optimization Problems and Their Applications

Pardalos, Panos

436,85 DKK

Imaginary Mathematics for Computer Science

Imaginary Mathematics for Computer Science

Vince, John

473,39 DKK

Multi-Agent-Based Simulation XIII

Multi-Agent-Based Simulation XIII

Amblard, Frederic

403,64 DKK

Applied Mathematical Analysis: Theory, Methods, and Applications

Applied Mathematical Analysis: Theory, Methods, and Applications

Peters, James F.

2190,77 DKK

Logic, Language, and Computation

Logic, Language, and Computation

Spada, Luca

436,85 DKK

Evolvable Systems: From Biology to Hardware

Evolvable Systems: From Biology to Hardware

Yasunaga, Moritoshi

436,85 DKK

Advances in Artificial Intelligence - IBERAMIA 2002

Advances in Artificial Intelligence - IBERAMIA 2002

Bonilla, Miguel Toro

875,33 DKK

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

Pazienza, Maria Teresa

875,33 DKK

Grundlegende Algorithmen

Grundlegende Algorithmen

Heun, Volker

265,81 DKK

Automatentheorie und Logik

Automatentheorie und Logik

Lange, Martin

177,19 DKK

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Parsons, Simon D.

436,85 DKK

Künstliche Intelligenz und Heuristisches Programmieren

Künstliche Intelligenz und Heuristisches Programmieren

Findler, N.V.

337,32 DKK

Automated Deduction - CADE-14

Automated Deduction - CADE-14

McCune, William

436,85 DKK

Abstraction, Reformulation, and Approximation

Abstraction, Reformulation, and Approximation

Holte, Robert C.

436,85 DKK

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik

Schulz, Andre

230,54 DKK