winkelwagen uitgebreid zoeken
print pagina
Informatica Informatica Programmeertalen

 

Boekhandel Douwes Den Haag

Programming and Software Engineering

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Abraham & Marieke Huisman

Integrated Formal Methods

Programming and Software Engineering

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Programming and Software Engineering: Integrated Formal Methods

 

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions.

Langere levertijd

€ 89,85

Levertijd circa 6 tot 12 dagen

Beschrijving Programming and Software Engineering: Integrated Formal Methods

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions;

ISBN
9783319336923
Pagina's
538
Verschenen
Serie
Programming and Software Engineering
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