Cover Image

QR Code

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /

Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the descriptional complexity of grammars, automata...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Calude, Cristian S. (Editor, http://id.loc.gov/vocabulary/relators/edt), Freivalds, Rūsiņš. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kazuo, Iwama. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:	1st ed. 2014.
Series:	Theoretical Computer Science and General Issues ; 8808
Subjects:	Computers. Mathematical logic. Quantum computers. Algorithms. Computation by Abstract Devices. Mathematical Logic and Formal Languages. Quantum Computing. Algorithm Analysis and Problem Complexity.
Online Access:	https://doi.org/10.1007/978-3-319-13350-8

Similar Items

Fundamentals of Quantum Computing Theory and Practice / by Venkateswaran Kasirajan.
by: Kasirajan, Venkateswaran., et al.
Published: (2021)

A First Introduction to Quantum Computing and Information by Bernard Zygelman.
by: Zygelman, Bernard., et al.
Published: (2018)

Adventures in Computer Science From Classical Bits to Quantum Bits / by Vicente Moret-Bonillo.
by: Moret-Bonillo, Vicente., et al.
Published: (2017)

Compact Representations for the Design of Quantum Logic by Philipp Niemann, Robert Wille.
by: Niemann, Philipp., et al.
Published: (2017)

Introduction to Information Retrieval and Quantum Mechanics by Massimo Melucci.
by: Melucci, Massimo., et al.
Published: (2015)

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / edited by Reiko Heckel, Stefan Milius.
Published: (2013)

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)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
Published: (2019)

Complexity and Control in Quantum Photonics by Peter Shadbolt.
by: Shadbolt, Peter., et al.
Published: (2016)

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)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)

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)

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)

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)

A Primer on Quantum Computing by Franklin de Lima Marquezino, Renato Portugal, Carlile Lavor.
by: de Lima Marquezino, Franklin., et al.
Published: (2019)

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)

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / edited by Giovanni Pighizzini, Cezar Câmpeanu.
Published: (2017)

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)

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
Published: (2016)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.
Published: (2018)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
Published: (2014)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Published: (2018)

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / edited by Nader Bshouty, Claudio Gentile.
Published: (2007)

Finite and Profinite Quantum Systems by Apostolos Vourdas.
by: Vourdas, Apostolos., et al.
Published: (2017)

Applied Research of Quantum Information Based on Linear Optics by Xiaoye Xu.
by: Xu, Xiaoye., et al.
Published: (2016)

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)

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)

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / edited by Adrian Kosowski, Igor Walukiewicz.
Published: (2015)

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova.
Published: (2015)

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)

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)