winkelwagen uitgebreid zoeken
print pagina
Informatica Informatica Programmeertalen

 

Boekhandel Douwes Den Haag

Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Enrico Vicario & Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

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

 

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications.

Langere levertijd

€ 56,15

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 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

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

Teaching Programming across the Chemistry Curriculum

Teaching Programming across the Chemistry Curriculum contains a collection of strategies, activities, and resources available to incorporate programming into all levels of the chemistry curriculum, with a focus on how the programming learning objectives are integrated with chemistry learning objectives.

Prediction and Analysis for Knowledge Representation and Machine Learning

This book illustrates different techniques and structures that are used in knowledge representation and machine learning. The aim of this book is to draw the attention of graduates, researchers and practitioners working in field of information technology and computer science (in knowledge representation in machine learning).

Data Structures using C

The data structure is a set of specially organized data elements and functions are defined to store, retrieve, remove and search for individual data elements. This book covers all issues related to the amount of storage needed, the amount of time required to process the data, etc.

Programmeertalen

terug meer