Knihy od vydavateľa Akad. Verl.-Ges. Aka - knihobot.sk

Doručujeme cez balíkovo za 1,49 €!

Aktuelle Trends in der invasiven Kardiologie 1998
Roland Bach
Vypredaná
Aktuelles aus der klinischen Mikrozirkulation und Hämorheologie 1998
Friedrich Jung
Vypredaná
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme
Karlheinz Agsteiner
Vypredaná
Automatische Abstraktion in 3D-Graphiken
Antonio Krüger
Vypredaná
Cooperation in heterogeneous theorem prover networks
Dirk Fuchs
Vypredaná
Die Ermittlung struktureller Ähnlichkeit und struktureller Merkmale bei komplexen Objekten: ein konnektionistischer Ansatz und seine Anwendungen
Kristina Schädler
Vypredaná
Relevancy based use lemmas in connection tableau calculi
Marc Fuchs
Vypredaná
Analysis of low resolution range image sequences
Karin Sobottka
Vypredaná
On types and type consistency in logic programming
Gregor Meyer
Vypredaná
New foundations for automation of default reasoning
Thomas Linke
Vypredaná
Modellierung dynamischer Systeme mit vorstrukturierten neuronalen Netzen
Till Brychcy
Vypredaná
A tactic based inductive theorem prover for data types with partial operations
Ulrich Kühler
Vypredaná
Proof reconstruction in classical and non-classical logics
Stephan Schmitt
Vypredaná
Formalisierung von unsicherem Wissen
Elisabeth Umkehrer
Vypredaná
Learning search control knowledge for equational deduction
Stephan Schulz
Vypredaná
Effiziente Lösungsverfahren für Sichtbarkeitsprobleme in der realitätsnahen Bildsynthese
André Hinkenjann
Vypredaná
TELEMED 2008
Stephan H. Schug
Vypredaná
Didaktische Strategien in generierten Trainingssystemen zum diagnostischen Problemlösen
Bettina Reinhardt
Vypredaná
Case retrieval nets as a model for building flexible information systems
Mario Lenz
Vypredaná