Search Results - "Lecture notes in computer science. Theoretical computer science and general issues" :: K.UTB vyhledávací portál

Loading…

Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

by DLT, Diekert, Volker, Volkov, Mikhail
Year of Publication 2022

Get full text

eBook Book Conference Proceeding

Loading…

Neural Information Processing: 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VII

by Cheng, Long, Leung, Andrew Chi Sing, Ozawa, Seiichi
Year of Publication 2018

Get full text

eBook Conference Proceeding

Loading…

Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings

by Kwan, Reggie, Fong, Joseph, Kwok, Lam-For, Lam, Jeanne
Year of Publication 2011

Get full text

eBook Book Conference Proceeding

Loading…

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

by Silva, Alexandra, Leino, K. Rustan M
Year of Publication 2021

Get full text

eBook

Loading…

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

by Silva, Alexandra, Leino, K. Rustan M
Year of Publication 2021

Get full text

eBook

Loading…

Network and Parallel Computing: 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings

by Altman, Erik, Shi, Weisong
Year of Publication 2011

Get full text

eBook Conference Proceeding Book

Loading…

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

by Coecke, Bob, Ong, Luke, Panangaden, Prakash
Year of Publication 2013

Get full text

eBook

Loading…

Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

by Amunts, Katrin, Grandinetti, Lucio, Lippert, Thomas, Petkov, Nicolai
Year of Publication 2021

Get full text

eBook

Loading…

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

by Ferrandez Vicente, Jose Manuel, Alvarez Sanchez, Jose-Ramon, de la Paz Lopez, Felix, Toledo Moreo, Fco. Javier
Year of Publication 2013

Get full text

eBook

Loading…

Approximation and Online Algorithms: 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

by WAOA, Erlebach, Thomas, Persiano, Giuseppe
Year of Publication 2013

Get full text

eBook Book

Loading…

Natural and Artificial Computation in Engineering and Medical Applications: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

by Ferrandez Vicente, Jose Manuel, Alvarez Sanchez, Jose Ramon, de la Paz Lopez, Felix, Toledo Moreo, Fco. Javier
Year of Publication 2013

Get full text

eBook

Loading…

Computing and combinatorics

by Fu, Bin, Du, Ding-Zhu
Year of Publication 18.07.2011

Get full text

eBook

Loading…

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

by Lahiri, Shuvendu K, Wang, Chao
Year of Publication 2020

Get full text

eBook

Loading…

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

by Lahiri, Shuvendu K, Wang, Chao
Year of Publication 2020

Get full text

eBook

Loading…

Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

by Casadio, Claudia, Coecke, Bob, Moortgat, Michael, Scott, Philip
Year of Publication 2014

Get full text

eBook

Loading…

Advances in Geometric Modeling and Processing

by Chen, Falai, Jüttler, Bert, Juttler, Bert
Year of Publication 2008

Get full text

eBook

Loading…

Reconfigurable Computing: Architectures, Tools and Applications : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings

by ARC, Koch, Andreas
Year of Publication 2011

Get full text

eBook Book

Loading…

Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

by Marino, Julio
Year of Publication 2011

Get full text

eBook

Loading…

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings

by Marchetti-Spaccamela, Alberto, Segal, Michael
Year of Publication 2011

Get full text

eBook

Loading…

SOFSEM 2011: Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

by Cerna, Ivana, Gyimothy, Tibor, Hromkovic, Juraj, Jeffery, Keith, Kralovic, Rastislav, Vukolic, Marko, Wolf, Stefan
Year of Publication 2011

Get full text

eBook

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database