SOFSEM 2015: Theory and Practice of Computer Science

SOFSEM 2015: Theory and Practice of Computer Science PDF Author: Giuseppe Italiano
Publisher: Springer
ISBN: 3662460785
Category : Computers
Languages : en
Pages : 631

Get Book Here

Book Description
This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

SOFSEM 2015: Theory and Practice of Computer Science

SOFSEM 2015: Theory and Practice of Computer Science PDF Author: Giuseppe Italiano
Publisher: Springer
ISBN: 3662460785
Category : Computers
Languages : en
Pages : 631

Get Book Here

Book Description
This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

SOFSEM 2018: Theory and Practice of Computer Science

SOFSEM 2018: Theory and Practice of Computer Science PDF Author: A Min Tjoa
Publisher: Springer
ISBN: 3319731173
Category : Computers
Languages : en
Pages : 689

Get Book Here

Book Description
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; and data model engineering.

SOFSEM 2016: Theory and Practice of Computer Science

SOFSEM 2016: Theory and Practice of Computer Science PDF Author: Rūsiņš Mārtiņš Freivalds
Publisher: Springer
ISBN: 3662491923
Category : Computers
Languages : en
Pages : 637

Get Book Here

Book Description
This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length.

Sofsem 2015

Sofsem 2015 PDF Author: Giuseppe Italiano
Publisher:
ISBN: 9783662460795
Category :
Languages : en
Pages : 634

Get Book Here

Book Description


Algorithms and Complexity

Algorithms and Complexity PDF Author: Dimitris Fotakis
Publisher: Springer
ISBN: 3319575864
Category : Computers
Languages : en
Pages : 499

Get Book Here

Book Description
This book constitutes the refereed conference proceedings of the 10th International Conference on Algorithms and Complexity, CIAC 2017, held in Athens, Greece, in May 2017. The 36 revised full papers were carefully reviewed and selected from 90 submissions and are presented together with 3 abstracts of invited talks and a paper to the 70th birthday of Stathis Zachos. The papers present original research in the theory and applications of algorithms and computational complexity.

Information Theoretic Security

Information Theoretic Security PDF Author: Anja Lehmann
Publisher: Springer
ISBN: 3319174703
Category : Computers
Languages : en
Pages : 311

Get Book Here

Book Description
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Information Theoretic Security, ICITS 2015, held in Lugano, Switzerland, in May 2015. The 17 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover a variety of topics at the intersection of cryptography, information theory, and quantum physics.

Combinatorial Algorithms

Combinatorial Algorithms PDF Author: Zsuzsanna Lipták
Publisher: Springer
ISBN: 3319295160
Category : Computers
Languages : en
Pages : 377

Get Book Here

Book Description
This book constitutes the thoroughly refereed post-workshop proceedings for the 26 International Workshop on combinatorial Algorithms, IWOCA 2015, held in Verona, Italy, in October 2015. The 29 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The topics of the papers include algorithms and data structures (including sequential, parallel, distributed, approximation, probabilistic, randomised, and on-line algorithms), algorithms on strings and graphs; applications (bioinformatics, music analysis, networking, and others); combinatorics on words; combinatorial enumeration; combinatorial optimization; complexity theory; computational biology; compression and information retrieval; cryptography and information security; decompositions and combinatorial designs; discrete and computational geometry; graph drawing and labeling; graph theory.

Developments in Language Theory

Developments in Language Theory PDF Author: Igor Potapov
Publisher: Springer
ISBN: 3319215000
Category : Computers
Languages : en
Pages : 459

Get Book Here

Book Description
This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 31 papers presented together with 5 invited talks were carefully reviewed and selected from 54 submissions. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages, grammars, acceptors and transducers for strings, trees, graphs, arrays, algebraic theories for automata and languages, codes, efficient text algorithms, symbolic dynamics, decision problems, relationships to complexity theory and logic, picture description and analysis, polyominoes and bidimensional patterns, cryptography, concurrency, cellular automata, bio-inspired computing, and quantum computing.

Distributed Applications and Interoperable Systems

Distributed Applications and Interoperable Systems PDF Author: Alysson Bessani
Publisher: Springer
ISBN: 3319191292
Category : Computers
Languages : en
Pages : 233

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 44 submissions. They deal with topics such as fault tolerance, privacy, resource management, social recommenders and cloud systems.

Algorithms for Sensor Systems

Algorithms for Sensor Systems PDF Author: Falko Dressler
Publisher: Springer Nature
ISBN: 3030344053
Category : Computers
Languages : en
Pages : 207

Get Book Here

Book Description
This book constitutes revised selected papers from the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, held in Munich, Germany, in September 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks.