Introduction to Scientific Programming with Python
Joakim Sundnes
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tomas Vojnar
Download - Immediately Available
Format: eBook (EPUB)
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit
Esther Guerra
Download - Immediately Available
Format: eBook (PDF)
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,
Stefan Kiefer
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Download - Immediately Available
Format: eBook (PDF)
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,
Patricia Bouyer
Download - Immediately Available
Format: eBook (PDF)
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A
Ilya Sergey
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
Download - Immediately Available
Format: eBook (PDF)
Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings
Yasuhiro Suzuki
Download - Immediately Available
Format: eBook (PDF)