Logout succeed
Logout succeed. See you again!
Top 477 conferences PDF Book Page 20
Try WiseWorksheets to request a book.
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Javier Esparza, Andrzej S. Murawski (eds.)
571 Pages
2017
12.482 MB
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)425 Pages20014.713 MB
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Taolue Chen, Wan Fokkink, Sumit Nain (auth.), Luca Aceto, Anna Ingólfsdóttir (eds.)458 Pages20064.603 MB
Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceed
FOSSACS '99 (1999 : Amsterdam, Netherlands)334 Pages199933.5 MB
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings
Martín Abadi (auth.), Wolfgang Thomas (eds.)334 Pages199934.731 MB
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding
Bart Jacobs, Christof Löding (eds.)548 Pages201612.37 MB
Database Theory and Application, Bio-Science and Bio-Technology: International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-
Nittaya Kerdprasop, Kittisak Kerdprasop (auth.), Tai-hoon Kim, Hojjat Adeli, Alfredo Cuzzocrea, Tughrul Arslan, Yanchun Zhang, Jianhua Ma, Kyo-il Chung, Siti Mariyam, Xiaofeng Song (eds.)207 Pages20114.076 MB
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 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Pro
Stefan Kiefer, Christine Tasson587 Pages20216.862 MB
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)668 Pages201310.142 MB
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.)470 Pages20098.559 MB
Advances in Human Factors and Ergonomics in Healthcare and Medical Devices : Proceedings of the AHFE 2017 International Conferences on Human Factors and Ergonomics in Healthcare and Medical Devices, July 17-21, 2017, The Westin Bonaventure Hotel, Los Ange
Duffy, Vincent; Lightner, Nancy640 Pages48.558 MB
Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers
Derksen, Christian; Weber, Christoph197 Pages201722.757 MB
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedin
Dirk Beyer, Marieke Huisman439 Pages201818.458 MB
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Christel Baier, Cesare Tinelli (eds.)728 Pages201519.196 MB
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.)603 Pages20059.773 MB
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)601 Pages20014.547 MB
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 2019, Prague, Czech Republic, April 6–11, 2019, Proceedi
Tomáš Vojnar, Lijun Zhang446 Pages201924.81 MB
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.)533 Pages200811.967 MB
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce
Marsha Chechik, Jean-François Raskin (eds.)958 Pages201630.802 MB
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)408 Pages20116.126 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
