Filter by
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII Select…
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46335-2
- Collation
- -
- Series Title
- -
- Call Number
- -
A First Course in Combinatorial Optimization
A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network fl…
- Edition
- -
- ISBN/ISSN
- 9780511616655
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (36)
- Call Number
- -
Transactions on Edutainment XI
This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48247-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST …
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstract…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14720-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Tracking and Mapping of Spatiotemporal Quantities Using Unicellular Swarm Int…
The book discusses new algorithms capable of searching for, tracking, mapping and providing a visualization of invisible substances. It reports on the realization of a bacterium-inspired robotic controller that can be used by an agent to search for any environmental spatial function such as temperature or pollution. Using the parameters of a mathematical model, the book shows that it is possibl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27425-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards a Theoretical Framework for Analyzing Complex Linguistic Networks
The aim of this book is to advocate and promote network models of linguistic systems that are both based on thorough mathematical models and substantiated in terms of linguistics. In this way, the book contributes first steps towards establishing a statistical network theory as a theoretical basis of linguistic network analysis the boarder of the natural sciences and the humanities. This book a…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47238-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characterist…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28850-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Pola…
The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015. The 52 revised full papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on foundations, symmetric key, multiparty computation, concu…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46497-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Pola…
The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015. The 52 revised full papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on foundations, symmetric key, multiparty computation, concu…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46494-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography