Cover Image

QR Code

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings /

Corporate Author:	SpringerLink (Online service)
Other Authors:	Kucera, Ludek. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kucera, Antonín. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Theoretical Computer Science and General Issues ; 4708
Subjects:	Computers. Algorithms. Computer science—Mathematics. Data structures (Computer science). Computer logic. Theory of Computation. Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Discrete Mathematics in Computer Science. Data Structures. Logics and Meanings of Programs.
Online Access:	https://doi.org/10.1007/978-3-540-74456-6

Similar Items

Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti.
Published: (2019)

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / edited by Andreas Brandstädt, Ekkehard Köhler, Klaus Meer.
Published: (2018)

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero.
Published: (2019)

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.
Published: (2017)

Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / edited by Miroslaw Kutylowski, Jacek Cichon, Przemylsaw Kubiak.
Published: (2008)

Graph Drawing 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers / edited by Seok-Hee Hong, Takao Nishizeki, Wu Quan.
Published: (2008)

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / edited by Andrea Lodi, Viswanath Nagarajan.
Published: (2019)

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / edited by Ignasi Sau, Dimitrios M. Thilikos.
Published: (2019)

Combinatorial Algorithms 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / edited by Paola Flocchini, Lucia Moura.
Published: (2021)

Application and Theory of Petri Nets and Concurrency 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain.
Published: (2020)

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
Published: (2015)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
Published: (2007)

Application and Theory of Petri Nets and Concurrency 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / edited by Didier Buchs, Josep Carmona.
Published: (2021)

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / edited by Victor Khomenko, Olivier H. Roux.
Published: (2018)

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez.
Published: (2016)

Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers / edited by Michael Kaufmann, Dorothea Wagner.
Published: (2007)

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings / edited by Alberto Pardo, Alfredo Viola.
Published: (2014)

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / edited by Daming Zhu, Sergey Bereg.
Published: (2016)

Computational Geometry and Graph Theory International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers / edited by Hiro Ito, Mikio Kano, Naoki Katoh, Yushi Uno.
Published: (2008)

Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings / edited by Ding-Zhu Du, Lian Li, Xiaoming Sun, Jialin Zhang.
Published: (2019)

Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings / edited by Mingyu Xiao, Frances Rosamond.
Published: (2017)

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / edited by René van Bevern, Gregory Kucherov.
Published: (2019)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.
Published: (2014)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur.
Published: (2013)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.
Published: (2015)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.
Published: (2015)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.
Published: (2016)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / edited by Jürgensen, Rogério Reis.
Published: (2013)

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / edited by Arseny M. Shur, Mikhail V. Volkov.
Published: (2014)

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings / edited by Marie-Pierre Beal, Olivier Carton.
Published: (2013)

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / edited by Igor Potapov.
Published: (2015)

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
Published: (2017)

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
Published: (2019)

Advances in Computer Science - ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings / edited by Iliano Cervesato.
Published: (2007)

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam.
Published: (2013)

Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings / edited by Hee-Kap Ahn, Chan-Su Shin.
Published: (2014)

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.
Published: (2017)

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / edited by Yo-Sub Han, Kai Salomaa.
Published: (2016)

Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings / edited by Inge Li Gørtz, R. Ravi.
Published: (2014)

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings / edited by Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez.
Published: (2018)