SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science

SOFSEM 2018: Theory and Practice of Computer Science

44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

A. Min Tjoa 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.
The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; anddata model engineering.

장르
컴퓨터 및 인터넷
출시일
2018년
1월 12일
언어
EN
영어
길이
713
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
20.3
MB
SOFSEM 2016: Theory and Practice of Computer Science SOFSEM 2016: Theory and Practice of Computer Science
2016년
SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science
2017년
Computer Aided Verification Computer Aided Verification
2017년
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
2023년
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2019년
Computer Aided Verification Computer Aided Verification
2015년
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIX Transactions on Large-Scale Data- and Knowledge-Centered Systems LIX
2025년
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
2025년
Database and Expert Systems Applications Database and Expert Systems Applications
2025년
Database and Expert Systems Applications Database and Expert Systems Applications
2025년
Electronic Government and the Information Systems Perspective Electronic Government and the Information Systems Perspective
2025년
Big Data Analytics and Knowledge Discovery Big Data Analytics and Knowledge Discovery
2025년