Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings
Get full text
eBook
Book
Conference Proceeding
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
Raschke, Alexander, Méry, Dominique
Published in Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (2021)
Published in Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (2021)
Get full text
eBook
Conference Proceeding
Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
International Conference on Mathematical Methods for Curves and Surfaces, Floater, Michael, Lyche, Tom, Mazure, Marie-Laurence, Mørken, Knut, Schumaker, Larry L.
Year of Publication 2014
Year of Publication 2014
Get full text
eBook
Book
Conference Proceeding
Parallel and Distributed Computing, Applications and Technologies: 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings
Shen, Hong, Sang, Yingpeng, Zhang, Yong, Xiao, Nong, Arabnia, Hamid R, Fox, Geoffrey, Gupta, Ajay, Malek, Manu
Year of Publication 2022
Get full text
Year of Publication 2022
eBook
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 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Year of Publication 2020
Get full text
eBook
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 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
Year of Publication 2020
Get full text
eBook
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 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Get full text
eBook
Natural and Artificial Models in Computation and Biology: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Ferrandez Vicente, Jose Manuel, Alvarez Sanchez, Jose-Ramon, de la Paz Lopez, Felix, Toledo Moreo, Fco. Javier
Year of Publication 2013
Get full text
Year of Publication 2013
eBook