Informatik (15 757 Artikel)

With Applications to Model-Based Development and Domain-Specific Language Engineering

With Applications to Model-Based Development and Domain-Specific Language Engineering

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS...

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS...

23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

A Systems Overview

A Systems Overview

11th International Conference, PQCrypto 2020, Paris, France, April 15-17, 2020, Proceedings

16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers

26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that many of their outstanding results do not only have...

The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that many of their outstanding results do not only have...

18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings

with an Illustration from the Railway Safety Domain