Abonnieren Sie unseren Newsletter

Die Merkliste ist leer.

Registrieren Passwort vergessen?

Der Warenkorb ist leer.

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

Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

ISBN/GTIN

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

von

Jones, Cliff B.Hrsg.Liu, ZhimingHrsg.Woodcock, JonesHrsg.

E-BookPDFE-Book

CHF59.00

In den Warenkorb

Beschreibung

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing.

Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783540752929

ProduktartE-Book

EinbandE-Book

FormatPDF

Format HinweisWasserzeichen

Verlag

Springer Berlin Heidelberg

Erscheinungsdatum12.09.2007

Auflage2007

ReiheLecture Notes in Computer Science

Reihen-Nr.4711

Seiten486 Seiten

SpracheEnglisch

IllustrationenXI, 486 p.

Artikel-Nr.10535108

KatalogVC

Datenquelle-Nr.3933210

Weitere Details

Reihe

Advanced Computational Applications of Geometric Algebra

Privacy Technologies and Policy

Distributed Computer and Communication Networks: Control, Computation, Communications

Selected Areas in Cryptography - SAC 2023

Cloud Computing - CLOUD 2023

Internet of Things - ICIOT 2023

Web and Big Data

Web and Big Data

Euro-Par 2023: Parallel Processing Workshops

Active Object Languages: Current Research Trends

Image Analysis and Processing - ICIAP 2023 Workshops

Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology

Data Augmentation, Labelling, and Imperfections

Dynamic Logic. New Trends and Applications

Distributed Computing and Intelligent Technology

Machine Learning, Optimization, and Data Science

Machine Learning, Optimization, and Data Science

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

Algorithms and Discrete Applied Mathematics

Digital Forensics and Watermarking

Practical Aspects of Declarative Languages

Big Data Analytics in Astronomy, Science, and Engineering

SOFSEM 2024: Theory and Practice of Computer Science

Smart Card Research and Advanced Applications

Machine Learning for Cyber Security

Foundations and Practice of Security

Foundations and Practice of Security

MultiMedia Modeling

MultiMedia Modeling

MultiMedia Modeling

MultiMedia Modeling

MultiMedia Modeling

Requirements Engineering: Foundation for Software Quality

Foundations of Information and Knowledge Systems

Computational Visual Media

Computational Visual Media

Constructive Side-Channel Analysis and Secure Design

Wisdom, Well-Being, Win-Win

Wisdom, Well-Being, Win-Win

Wisdom, Well-Being, Win-Win

Autor

Jones, Cliff B.Hrsg.Liu, ZhimingHrsg.Woodcock, JonesHrsg.

Weitere Produkte von Jones, Cliff B.

Hrsg.

Weitere Produkte von Liu, Zhiming

Hrsg.

Formal Methods and Software Engineering

Theoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing ¿ ICTAC 2022

Engineering Trustworthy Software Systems

Automated Technology for Verification and Analysis

Dependable Software Engineering: Theories, Tools, and Applications

Theories of Programming and Formal Methods

Unifying Theories of Programming and Formal Engineering Methods

Theoretical Aspects of Computing -- ICTAC 2013

Engineering Trustworthy Software Systems

Formal Methods and Hybrid Real-Time Systems

Engineering Trustworthy Software Systems

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

Theoretical Aspects of Computing - ICTAC 2022

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Dependable Software Engineering: Theories, Tools, and Applications

Formal Aspects of Component Software

Theories of Programming and Formal Methods

Theoretical Aspects of Computing -- ICTAC 2013

Unifying Theories of Programming and Formal Engineering Methods

Foundations of Health Informatics Engineering and Systems

Automated Technology for Verification and Analysis

Domain Modeling and the Duration Calculus

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Software Engineering

Theoretical Aspects of Computing - ICTAC 2004

Weitere Produkte von Woodcock, Jones

Hrsg.