Filter by
Visions of DNA Nanotechnology at 40 for the Next 40
This open access book provides a unique and state-of-the-art view on DNA nanotechnology with an eye toward future developments. Intended as a tribute to Nadrian C. Seeman, who founded the field of DNA nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials, perspectives, new findings, and open questions. The book aims to inspire current res…
- Edition
- -
- ISBN/ISSN
- 978-981-19-9891-1
- Collation
- XXVIII, 431
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 26th Inter…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- Edition
- 1
- ISBN/ISSN
- 9783030451905
- Collation
- XXIII, 501
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- XXI, 471
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- XXI, 465
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contribution…
- Edition
- 1
- ISBN/ISSN
- 9783031572494
- Collation
- XXI, 386
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contribution…
- Edition
- 1
- ISBN/ISSN
- 9783031572562
- Collation
- XXII, 428
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 27th Internationa…
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I:…
- Edition
- 1
- ISBN/ISSN
- 9783031572289
- Collation
- XVI, 280
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contribution…
- Edition
- 1
- ISBN/ISSN
- 9783031572463
- Collation
- XXVIII, 394
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 27th Internationa…
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: P…
- Edition
- 1
- ISBN/ISSN
- 9783031572319
- Collation
- XVI, 272
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…
- Edition
- 1
- ISBN/ISSN
- 9783031308239
- Collation
- XXIII, 708
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography