Filter by
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
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 modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integr…
- Edition
- 1
- ISBN/ISSN
- 9783030439460
- Collation
- XX, 285 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following top…
- Edition
- 1
- ISBN/ISSN
- 9783030255404
- Collation
- XIX, 673
- Series Title
- -
- Call Number
- -
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Wired/Wireless Internet Communications 13th International Conference, WWIC 2…
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Wired/Wireless Internet Communications, WWIC 2015, held in Malaga, Spain, in May 2015. The 31 papers presented in this volume were carefully reviewed and selected from 43 submissions. They focus on the efficient integration of new network approaches with the traditional wired infras…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22572-2
- Collation
- XIX, 426
- Series Title
- -
- Call Number
- -
Hardware and Software: Verification and Testing: 11th International Haifa Ver…
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26286-4
- Collation
- XVI, 293
- Series Title
- -
- Call Number
- 004 HAN
Membrane Computing
This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-28474-3
- Collation
- XI, 387; 56 illustrations in colour
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Model and Data Engineering
This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-bas…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23780-0
- Collation
- XIX, 343
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography