Versandkostenfreie Lieferung

Newsletter Service B2B

Die Merkliste ist leer.

Der Warenkorb ist leer.

Kostenloser Versand möglich

Registrieren Passwort vergessen?

Kostenloser Versand möglich

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

ISBN/GTIN

Logics and Models of Concurrent Systems

von

Apt, Krzysztof R.Hrsg.

E-BookPDFE-Book

EUR96,29

In den Warenkorb

Produktbeschreibung

Details

Weitere ISBN/GTIN9783642824531

ProduktartE-Book

EinbandE-Book

FormatPDF

Format Hinweis1 - PDF Watermark

FormatE107

VerlagSpringer Berlin Heidelberg

Erscheinungsdatum08.03.2013

Auflage1985

ReiheNATO ASI Subseries F:

Reihen-Nr.13

SpracheEnglisch

IllustrationenVIII, 500 p.

Artikel-Nr.10537367

KatalogVC

Datenquelle-Nr.3248493

WarengruppeNaturwissenschaften, Medizin, Informatik, Technik | Informatik, EDV | Hardware

Weitere Details

Reihe

Issues in Acoustic Signal - Image Processing and Recognition

Simulation and Model-Based Methodologies: An Integrative View

Communication from an Artificial Intelligence Perspective

Recent Developments in Decision Support Systems

Parallel Computing on Distributed Memory Multiprocessors

Instructional Models in Computer-Based Learning Environments

Designing Environments for Constructive Learning

Software for Parallel Computation

Advanced Educational Technologies for Mathematics and Science

Concurrent Engineering: Tools and Technologies for Mechanical System Design

Robotics and Artificial Intelligence

Verification and Validation of Complex Systems: Human Factors Issues

Cognitive Models and Intelligent Environments for Learning Programming

Item Banking: Interactive Testing and Self-Assessment

Intelligent Systems: Safety, Reliability and Maintainability Issues

Learning Electricity and Electronics with Advanced Educational Technology

Control Technology in Elementary Education

Intelligent Learning Environments: The Case of Geometry

Program Design Calculi

Automating Instructional Design, Development, and Delivery

Combinatorial Algorithms on Words

Reliability and Safety Assessment of Dynamic Process Systems

Learning from Computers: Mathematics Education and Technology

Simulation-Based Experiential Learning

User-Centred Requirements for Software Engineering Environments

Fundamentals in Handwriting Recognition

Student Modelling: The Key to Individualized Knowledge-Based Instruction

Shape in Picture

Real Time Computing

Computer Supported Collaborative Learning

Logics and Models of Concurrent Systems

Advances in Object-Oriented Database Systems

Constraint Programming

Mathematical Modelling Courses for Engineering Education

Collaborative Dialogue Technologies in Distance Learning

Computer Integrated Production Systems and Organizations

From Statistics to Neural Networks

Technology-Based Learning Environments

Exploiting Mental Imagery with Computers in Mathematics Education

Proof and Computation

Bewertungen

Kommentar verfassen

Schlagworte

VLB Haupt-Lesemotiv