winkelwagen uitgebreid zoeken
print pagina
Informatica

 

Boekhandel Douwes Den Haag

Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay & Marius Bozga

Formal Modeling and Analysis of Timed Systems

Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Theoretical Computer Science and General Issues: Formal Modeling and Analysis of Timed Systems

 

This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014. The 17 revised full papers presented were carefully reviewed and selected from 36 submissions.

Langere levertijd

€ 53,95

Levertijd circa 6 tot 12 dagen

Beschrijving Theoretical Computer Science and General Issues: Formal Modeling and Analysis of Timed Systems

This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014. The 17 revised full papers presented were carefully reviewed and selected from 36 submissions.

ISBN
9783319105116
Pagina's
253
Verschenen
Serie
Theoretical Computer Science and General Issues
NUR
980
Druk
1
Uitvoering
Paperback / softback
Taal
Engels
Uitgever
Springer International Publishing AG

Fundamentals of Computer Graphics

Drawing on an impressive roster of experts in the field, Fundamentals of Computer Graphics, Fifth Edition offers an ideal resource for computer course curricula as well as a user-friendly personal or professional reference.

AI Morality

There is no more important issue at present than artificial intelligence. AI has begun to penetrate almost every sphere of human activity. It will disrupt our lives entirely. David Edmonds brings together a team of leading philosophers to explore some of the urgent moral concerns we should have about this revolution.

Securing IoT in Industry 4.0 Applications with Blockchain

Industry 4.0 is an amalgam of smart factories, cognitive computing, cloud computing, Internet of Things (IoT), and cyber-physical systems. The IoT component is highly networked and vulnerable to attack.

Informatica

terug meer