Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…
- Edition
- -
- ISBN/ISSN
- 978-3-030-17462-0
- Collation
- 1 online resource (447 Pages)
- Series Title
- -
- Call Number
- 004.21 VOJ t
Reversible Computation: Extending Horizons of Computing: Selected Results of …
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards…
- Edition
- 1
- ISBN/ISSN
- 9783030473617
- Collation
- XIV, 237
- Series Title
- -
- Call Number
- -
Graph Structures for Knowledge Representation and Reasoning: 6th Internationa…
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28701-0
- Collation
- VII, 155
- Series Title
- -
- Call Number
- 006.3 GRA
Automated Deduction – CADE 28: 28th International Conference on Automated D…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, includin…
- Edition
- 1
- ISBN/ISSN
- 9783030798765
- Collation
- XIV, 650
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 24th International Conference…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- 1
- ISBN/ISSN
- 9783030715007
- Collation
- XIV, 373
- Series Title
- -
- Call Number
- -
Semantic Systems. The Power of AI and Knowledge Graphs: 15th International Co…
This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019. The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep lear…
- Edition
- 1
- ISBN/ISSN
- 9783030332204
- Collation
- XVII, 392
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following top…
- Edition
- 1
- ISBN/ISSN
- 9783030255404
- Collation
- XIX, 673
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following to…
- Edition
- 1
- ISBN/ISSN
- 9783030255435
- Collation
- XX, 549
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 25th Inter…
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. T…
- Edition
- 1
- ISBN/ISSN
- 9783030174651
- Collation
- XXIII, 413
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 25th Inter…
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. T…
- Edition
- 1
- ISBN/ISSN
- 9783030174620
- Collation
- XXIII, 433
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography