Cover Image

QR Code

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submission...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Beckmann, Arnold. (Editor, http://id.loc.gov/vocabulary/relators/edt), Dimitracopoulos, Costas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Löwe, Benedikt. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Theoretical Computer Science and General Issues ; 5028
Subjects:	Software engineering. Life sciences. Computer programming. Computers. Algorithms. Computer science—Mathematics. Software Engineering/Programming and Operating Systems. Life Sciences, general. Programming Techniques. Theory of Computation. Algorithm Analysis and Problem Complexity. Mathematics of Computing.
Online Access:	https://doi.org/10.1007/978-3-540-69407-6

Similar Items

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / edited by Barry S. Cooper, Benedikt Löwe, Andrea Sorbi.
Published: (2007)

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming / by Bhim P. Upadhyaya.
by: Upadhyaya, Bhim P., et al.
Published: (2019)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008 / edited by Ashish Goel, Klaus Jansen, José Rolim, Ronitt Rubinfeld.
Published: (2008)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings / edited by Moses Charikar, Klaus Jansen, Omer Reingold, José D.P. Rolim.
Published: (2007)

Graph Transformation 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / edited by Fabio Gadducci, Timo Kehrer.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2008)

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)

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)

Data Structures and Algorithms with Python by Kent D. Lee, Steve Hubbard.
by: Lee, Kent D., et al.
Published: (2015)

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Alberto Lluch Lafuente, José Proença.
Published: (2016)

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Tom Holvoet, Mirko Viroli.
Published: (2015)

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig / edited by Reiko Heckel, Gabriele Taentzer.
Published: (2018)

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 / edited by Hong Mei.
Published: (2008)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / edited by José Fiadeiro, Paola Inverardi.
Published: (2008)

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.
Published: (2015)

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.
Published: (2016)

Graph Transformation 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / edited by Fabio Gadducci, Timo Kehrer.
Published: (2021)

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings / edited by Gadi Taubenfeld.
Published: (2008)

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)

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese.
Published: (2016)

Guide to Programming and Algorithms Using R by Özgür Ergül.
by: Ergül, Özgür., et al.
Published: (2013)

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)

Integer Programming and Combinatorial Optimization 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / edited by Mohit Singh, David P. Williamson.
Published: (2021)

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / by Ben Liblit.
by: Liblit, Ben., et al.
Published: (2007)

Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings / edited by Jano van Hemert, Carlos Cotta.
Published: (2008)

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / edited by Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi.
Published: (2008)

Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings / edited by Catherine C. McGeoch.
Published: (2008)

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / edited by Marin Lujak.
Published: (2019)

Genetic Programming Theory and Practice IV edited by Rick Riolo, Terence Soule, Bill Worzel.
Published: (2007)

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings / edited by Anu G. Bourgeois, Si Quing Zheng.
Published: (2008)

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / edited by Esther Guerra, Fernando Orejas.
Published: (2019)

DevOps on the Microsoft Stack by Wouter de Kort.
by: de Kort, Wouter., et al.
Published: (2016)

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick Amestoy, Michel Dayde, Marta Mattoso, Joao Correira Lopes.
Published: (2008)

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings / edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro.
Published: (2017)

Computing and Combinatorics 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings / edited by Xiaodong Hu, Jie Wang.
Published: (2008)

Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana.
Published: (2015)

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli.
Published: (2007)

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen.
Published: (2013)

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji.
Published: (2015)