(Ilmumisaeg: 04-Jan-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319686707)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string ...Loe edasi...
(Ilmumisaeg: 04-Jan-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319686707)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string ...Loe edasi...
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
(Ilmumisaeg: 11-May-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319549811)
This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Fe...Loe edasi...
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
(Ilmumisaeg: 11-May-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319549811)
This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Fe...Loe edasi...
(Ilmumisaeg: 06-Jan-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319516769)
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Lang...Loe edasi...
(Ilmumisaeg: 06-Jan-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319516769)
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Lang...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 25-Dec-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662540695)
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the confer...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 25-Dec-2016, EPUB+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662540695)
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the confer...Loe edasi...
(Ilmumisaeg: 29-Nov-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319502304)
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six...Loe edasi...
(Ilmumisaeg: 12-Nov-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319498157)
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed...Loe edasi...
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Sari: Programming and Software Engineering
(Ilmumisaeg: 06-Nov-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319489896)
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk...Loe edasi...
(Ilmumisaeg: 10-Oct-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319479583)
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and foundational the...Loe edasi...
(Ilmumisaeg: 07-Oct-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319465203)
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selec...Loe edasi...
Sari: Transactions on Foundations for Mastering Change
(Ilmumisaeg: 01-Oct-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319465081)
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of todays agile system development, which is characterized by unclear premises, unforeseen change,...Loe edasi...
(Ilmumisaeg: 17-Sep-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319452791)
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringa, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They...Loe edasi...
(Ilmumisaeg: 12-Sep-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319466132)
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected fro...Loe edasi...
(Ilmumisaeg: 01-Sep-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662534014)
The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th Internat...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 05-Aug-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662529478)
The book is based on the PhD thesis "e;Descriptive Set Theoretic Methods in Automata Theory,"e; awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected...Loe edasi...
(Ilmumisaeg: 05-Aug-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662529218)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in Augu...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Jul-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662531327)
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed...Loe edasi...
