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

Loading…

Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

by Gerdt, Vladimir P, Koepf, Wolfram, Mayr, Ernst W, Vorozhtsov, Evgenii V
Year of Publication 2011

Get full text

eBook

Loading…

Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

by Corradini, Andrea, Klin, Bartek, Cîrstea, Corina
Year of Publication 2011

Get full text

eBook Book

Loading…

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

by Groce, Alex, Musuvathi, Madanlal
Year of Publication 2011

Get full text

eBook

Loading…

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

by Aceto, Luca, Henzinger, Monika, Sgall, Jiří
Year of Publication 2011

Get full text

eBook

Loading…

New Challenges on Bioinspired Applications: 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, la Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II

by Ferrández, José M, Álvarez, José Ramón, de la Paz, Félix, Toledo, Fco. Javier
Year of Publication 2011

Get full text

eBook

Loading…

Adaptive and Natural Computing Algorithms: 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II

by Dobnikar, Andrej, Lotric, Uros, Ster, Branko
Year of Publication 2011

Get full text

eBook

Loading…

Applications of evolutionary computation : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, proceedings, part I

by EvoApplications, Di Chio, Cecilia
Year of Publication 2011

Get full text

eBook Book

Loading…

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

by Kelemen, Jozef, Kelemenová, Alica
Year of Publication 2011

Get full text

eBook

Loading…

LATIN 2012: Theoretical Informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, Proceedings

by Fernandez-Baca, David
Year of Publication 2012

Get full text

eBook

Loading…

The Language of Mathematics: A Linguistic and Philosophical Investigation

by Ganesalingam, Mohan
Year of Publication 2013

Get full text

eBook

Loading…

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

by PATMOS (20th : 2010 : Grenoble, France), Van Leuken, René, Sicard, Gilles
Year of Publication 2011

Get full text

eBook Book

Loading…

Membrane Computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

by Gheorghe, Marian, Hinze, Thomas, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto
Year of Publication 2011

Get full text

eBook

Loading…

Distributed Computing and Networking: 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011, Proceedings

by ICDCN, Aguilera, Marcos K
Year of Publication 2011

Get full text

eBook Book

Loading…

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

by Mossakowski, Till, Kreowski, Hans-Jörg
Year of Publication 2012

Get full text

eBook

Loading…

Advanced Intelligent Computing: 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers

by Huang, De-Shuang, Gan, Yong, Bevilacqua, Vitoantonio, Figueroa, Juan Carlos
Year of Publication 2012

Get full text

eBook

Loading…

Algorithms and Computation: 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings

by ISAAC (Conference), Asano, Takao
Year of Publication 2011

Get full text

eBook Book

Loading…

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

by SPIN, Pol, Jaco van de, Weber, Michael
Year of Publication 2010

Get full text

eBook Book

Loading…

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

by Abramsky, Samson, Gavoille, Cyril, Kirchner, Claude, Meyer auf der Heide, Friedhelm, Spirakis, Paul
Year of Publication 2010

Get full text

eBook

Loading…

Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III

by Lai, Yongxuan, Wang, Tian, Jiang, Min, Xu, Guangquan, Liang, Wei, Castiglione, Aniello
Year of Publication 2022

Get full text

eBook

Loading…

Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II

by Lai, Yongxuan, Wang, Tian, Jiang, Min, Xu, Guangquan, Liang, Wei, Castiglione, Aniello
Year of Publication 2022

Get full text

eBook

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database