Filter by
Computer and Information Sciences : 31st International Symposium, ISCIS 2016,…
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; p…
- Edition
- -
- ISBN/ISSN
- 9783319472171
- Collation
- xiii, 278p. : ill.
- Series Title
- -
- Call Number
- 004 COM c
Tools and algorithms for the construction and analysis of systems
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot…
- Edition
- -
- ISBN/ISSN
- 9783030174651
- Collation
- pages cm
- Series Title
- -
- Call Number
- 005.1 TOO t
Semantic web enabled software engineering
Over the last decade, ontology has become an important modeling component in software engineering. Semantic Web Enabled Software Engineering presents some critical findings on opening a new direction of the research of Software Engineering, by exploiting Semantic Web technologies. Most of these findings are from selected papers from the Semantic Web Enabled Software Engineering (SWESE) seri…
- Edition
- -
- ISBN/ISSN
- 9781614993704
- Collation
- vi, 251 p.; 22 cm.
- Series Title
- -
- Call Number
- 005.1 SEM s
S-BPM in the production industry : a stakeholder approach
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. Their potential is explored in detail, while the limits of engineering a company from a communication-centred perspective are also discussed. After a general introduction and an overview of the book in chapter 1, chapter 2 starts by condensing the industrial challenge…
- Edition
- -
- ISBN/ISSN
- 9783319484662
- Collation
- xiv, 232p. : ill.
- Series Title
- -
- Call Number
- 658.5 SUB s
Model-driven development and operation of multi-cloud applications : the MODA…
This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MODAClouds approach and explain how it operates in…
- Edition
- -
- ISBN/ISSN
- 9783319460314
- Collation
- viii. 149p. : ill.
- Series Title
- -
- Call Number
- 004.6782 MOD m
Scaling a software business : the digitalization journey
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it’s a software company or not. There are many companies that have already made a digitalization journey – and ma…
- Edition
- -
- ISBN/ISSN
- 9783319531168
- Collation
- 265p. : ill.
- Series Title
- -
- Call Number
- 005.1068 SCA s
Intelligent human computer interaction : 9th International Conference, IHCI 2…
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017.The 15 papers presented together with three invited papers were carefully reviewed and selected from 25 submissions. The conference is forum for the presentation of technological advances and research results a…
- Edition
- -
- ISBN/ISSN
- 9783319720388
- Collation
- xviii, 216p. : ill.
- Series Title
- -
- Call Number
- 004.019 INT i
Introduction to ubuntu linux
Introduction to Ubuntu Linux is a user guide that suits newbies. This book based on Ubuntu 20.04 LTS. It includes information on the evolution of Linux-based operating systems, Ubuntu flavours, Ubuntu basics, installation of Ubuntu, and basic commands. This book gives the step-by-step instructions with clear explanations that demystify Ubuntu Linux. This book is for persons with little or no…
- Edition
- -
- ISBN/ISSN
- 9789354061776
- Collation
- 75p. : ill.
- Series Title
- -
- Call Number
- 005.432 KUM i
Foundations of software science and computation structures : 21st Internation…
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissi…
- Edition
- -
- ISBN/ISSN
- 9783319893662
- Collation
- xv, 582p. : ill.
- Series Title
- -
- Call Number
- 005.1 FOU f
Fundamental approaches to software engineering : 21th international conferenc…
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed …
- Edition
- -
- ISBN/ISSN
- 9783319893631
- Collation
- xii, 355p. : ill.
- Series Title
- -
- Call Number
- 005.1 FUN f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography