Cargando…

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /

Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ravi, Sekharipuram S. (Editor ), Shukla, Sandeep Kumar (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Temas:	Compilers (Computer programs). Computer systems. Machine theory. Logic design. Compilers and Interpreters. Computer System Implementation. Formal Languages and Automata Theory. Logic Design.
Acceso en línea:	Texto Completo

Ejemplares similares

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /
Publicado: (2008)

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /
Publicado: (2006)

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /
Publicado: (2007)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
Publicado: (2005)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publicado: (2015)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publicado: (2016)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /
Publicado: (2010)

Time for Verification Essays in Memory of Amir Pnueli /
Publicado: (2010)

Fundamentals of Algebraic Graph Transformation
por: Ehrig, Hartmut, et al.
Publicado: (2006)

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings /
Publicado: (2007)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Publicado: (2013)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Publicado: (2010)

Formal Languages and Compilation
por: Crespi Reghizzi, Stefano
Publicado: (2009)

Concrete Semantics With Isabelle/HOL /
por: Nipkow, Tobias, et al.
Publicado: (2014)

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /
Publicado: (2006)

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
Publicado: (2016)

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /
Publicado: (2007)

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
Publicado: (2015)

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /
Publicado: (2005)

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Publicado: (2014)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /
Publicado: (2013)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /
Publicado: (2006)

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
Publicado: (2016)

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
Publicado: (2015)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Publicado: (2014)

Temporal Logic and State Systems
por: Kröger, Fred, et al.
Publicado: (2008)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
Publicado: (2016)

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

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
Publicado: (2016)

The Logic of Categorial Grammars A deductive account of natural language syntax and semantics /
por: Moot, Richard, et al.
Publicado: (2012)

Fundamentals of Software Engineering Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
Publicado: (2012)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
Publicado: (2006)

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings /
Publicado: (2014)

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
Publicado: (2016)

Pattern Calculus Computing with Functions and Structures /
por: Jay, Barry
Publicado: (2009)

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings /
Publicado: (2013)

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings /
Publicado: (2011)