Entdecke #BookTok

044 209 91 25 079 869 90 44

lesestoff-big

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

lesestoff-big

Interactive Markov Chains

Interactive Markov Chains

ISBN/GTIN

Interactive Markov Chains

The Quest for Quantified Quality

von

Hermanns, Holger

BuchKartoniert, Paperback

Verkaufsrang52218inInformatik EDV

CHF72.90

In den Warenkorb

Beschreibung

Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-44261-5

ProduktartBuch

EinbandKartoniert, Paperback

VerlagSpringer Berlin Heidelberg

Erscheinungsdatum11.09.2002

Auflage2002

ReiheLecture Notes in Computer Science

Reihen-Nr.2428

Seiten236 Seiten

SpracheEnglisch

MasseBreite 155 mm, Höhe 235 mm, Dicke 13 mm

Gewicht365 g

Artikel-Nr.1488534

KatalogBuchzentrum

Datenquelle-Nr.8391306

WarengruppeInformatik EDV

Weitere Details

Reihe

Computing Methods in Applied Sciences and Engineering

Graphtheoretic Concepts in Computer Science

Computer Science Today

Computing and Software Science

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

Computability and Complexity

Runtime Verification

Disconnected Operation in a Distributed File System

Transactions on Rough Sets XX

Logics in Artificial Intelligence

Knowledge Engineering and Knowledge Management

Product-Focused Software Process Improvement

Structural, Syntactic, and Statistical Pattern Recognition

AI*IA 2016 Advances in Artificial Intelligence

Algorithms and Computations

Web Information Systems Engineering - WISE 2016

Big Data Benchmarking

Software Configuration Management

Cryptology and Network Security

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection

Information Systems and Data Management

Advances in Services Computing

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Integrity Primitives for Secure Information Systems

Advances in Visual Computing

Advances in Visual Computing

Fast Software Encryption

Digital Forensics and Watermarking

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Knowledge Representation for Health Care

Data Analytics for Renewable Energy Integration

Boolean Calculus of Differences

Social Information Access

Swarm Intelligence Based Optimization

Euro-Par 2016: Parallel Processing Workshops

Cyber Physical Systems. Design, Modeling, and Evaluation

Computer Vision - ACCV 2016

SOFSEM '95: Theory and Practice of Informatics

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Spectral and Shape Analysis in Medical Imaging

Deductive and Object-Oriented Databases

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX

Smart Computing and Communication

Spatial Representation and Motion Planning

Verification, Model Checking, and Abstract Interpretation

Human-Computer Interaction

Numerical Software Verification

Active Visual Inference of Surface Shape

Security of Industrial Control Systems and Cyber-Physical Systems

Latent Variable Analysis and Signal Separation

Graph-Theoretic Concepts in Computer Science

Computer-Assisted and Robotic Endoscopy

Evolutionary Multi-Criterion Optimization

Public-Key Cryptography - PKC 2017

Database Systems for Advanced Applications

Database Systems for Advanced Applications

Network and Operating Systems Support for Digital Audio and Video

Theory and Applications of Models of Computation

Numerical Analysis and Its Applications

Understanding Human Activities Through 3D Sensors

Tools and Algorithms for the Construction and Analysis of Systems

Intelligent Information and Database Systems

Advances in Information Retrieval

On the Integration of Algebraic Functions

Foundations of Software Science and Computation Structures

Tools and Algorithms for the Construction and Analysis of Systems

Multi-Agent Systems and Agreement Technologies

OOER '95 Object-Oriented and Entity-Relationship Modeling

Advances in Cryptology - EUROCRYPT 2017

Functional Programming Languages in Education

Algorithms, Concurrency and Knowledge

Green, Pervasive, and Cloud Computing

Image Analysis Applications and Computer Graphics

Artificial Intelligence and Soft Computing

The Semantic Web

Cryptography and Coding

Wireless Algorithms, Systems, and Applications

Pattern Recognition and Image Analysis

Foundations of Software Technology and Theoretical Computer Science

Natural Language Processing and Information Systems

Functional Imaging and Modelling of the Heart

Image Analysis

Graph Drawing

Human-Computer Interaction. User Interface Design, Development and Multimodality

Human-Computer Interaction. Interaction Contexts

Human Interface and the Management of Information: Information, Knowledge and Interaction Design

Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration

Universal Access in Human-Computer Interaction. Design and Development Approaches and Methods

Electronic Commerce

Cross-Cultural Design

Augmented Cognition. Neurocognition and Machine Learning

Augmented Cognition. Enhancing Cognition and Behavior in Complex Human Environments

Cryptography: Policy and Algorithms

Distributed, Ambient and Pervasive Interactions

Human Aspects of Information Security, Privacy and Trust

Human Aspects of IT for the Aged Population. Aging, Design and User Experience

Human Aspects of IT for the Aged Population. Applications, Services and Contexts

Directions in Human Factors for Interactive Systems

Computer Aided Systems Theory - EUROCAST '95

Über den/die AutorIn

Hermanns, Holger

Weitere Produkte von Hermanns, Holger

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Computer Aided Verification

Validation of Stochastic Systems

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Measurement, Modelling and Evaluation of Computing Systems

Measurement, Modelling and Evaluation of Computing Systems

Validation of Stochastic Systems

Lectures on Formal Methods and Performance Analysis

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

CONCUR 2006 - Concurrency Theory

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification