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

Author: Jan van Leeuwen

Publisher: Springer Science & Business Media

Published: 2010-01-20

Total Pages: 795

ISBN-13: 364211265X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 53 revised full papers, presented together with 11 invited contributions, were carefully reviewed and selected from 134 submissions. SOFSEM 2010 was organized around the following four tracks: Foundations of computer science, principles of software construction, Data, knowledge, and intelligent systems and Web science.

A Computable Universe
A Computable Universe

Author: Hector Zenil

Publisher: World Scientific

Published: 2013

Total Pages: 855

ISBN-13: 9814374296

DOWNLOAD EBOOK

This volume discusses the foundations of computation in relation to nature. It focuses on two main questions: What is computation? and How does nature compute?

Mathematical Foundations of Computer Science 2014
Mathematical Foundations of Computer Science 2014

Author: Ersébet Csuhaj-Varjú

Publisher: Springer

Published: 2014-08-12

Total Pages: 659

ISBN-13: 3662444658

DOWNLOAD EBOOK

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.

Proceedings
Proceedings

Author: Michel Verleysen

Publisher: Presses universitaires de Louvain

Published: 2015

Total Pages: 615

ISBN-13: 2875870157

DOWNLOAD EBOOK

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

Author: Jan van Leeuwen

Publisher: Springer Science & Business Media

Published: 2007-01-04

Total Pages: 955

ISBN-13: 3540695060

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks.

The Essence of Software Engineering
The Essence of Software Engineering

Author: Volker Gruhn

Publisher: Springer

Published: 2018-06-13

Total Pages: 247

ISBN-13: 3319738976

DOWNLOAD EBOOK

This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.

The Future of Software Engineering
The Future of Software Engineering

Author: Sebastian Nanz

Publisher: Springer Science & Business Media

Published: 2010-10-20

Total Pages: 191

ISBN-13: 3642151876

DOWNLOAD EBOOK

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent researchers and technologists who have shaped the field: Barry Boehm, Manfred Broy, Patrick Cousot, Erich Gamma, Yuri Gurevich, Tony Hoare, Michael A. Jackson, Rustan Leino, David L. Parnas, Dieter Rombach, Joseph Sifakis, Niklaus Wirth, Pamela Zave, and Andreas Zeller. The contributed articles reflect the authors‘ individual views on what constitutes the most important issues facing software development. Both research- and technology-oriented contributions are included. The book provides at the same time a record of a symposium held at ETH Zurich on the occasion of Bertrand Meyer‘s 60th birthday.

Engineering Methods and Tools for Software Safety and Security
Engineering Methods and Tools for Software Safety and Security

Author: M. Broy

Publisher: IOS Press

Published: 2009

Total Pages: 344

ISBN-13: 1586039768

DOWNLOAD EBOOK

As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems.

WALCOM: Algorithms and Computation
WALCOM: Algorithms and Computation

Author: Mohammad Kaykobad

Publisher: Springer

Published: 2016-03-08

Total Pages: 366

ISBN-13: 331930139X

DOWNLOAD EBOOK

This book constitutes the proceedings of the 10th International Workshop on Algorithms and Computation, WALCOM 2016, held in Kathmandu, Nepal, in March 2016. The 27 full papers presented together with 4 invited talks were carefully reviewed and selected from 68 submissions. The papers cover a wide range of topics such as approximation algorithms, computational complexity, computational geometry, data structures, graph algorithms, graph coloring, graph exploration, and online algorithms.