Imagen de Portada

Theoretical foundations of computer science /

Guardado en:

Autor Principal:	Mandrioli, Dino.
Otros Autores:	Ghezzi, Carlo.
Formato:	Libro
Idioma:	English
Publicado:	New York : Wiley, c1987.
Materias:	Mathematics. Computer science.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Theoretical foundations of computer science /
por: Mandrioli, Dino.
Publicado: (1993)

Universal algebra and applications in theoretical computer science /
por: Denecke, Klaus.
Publicado: (2002)

Handbook of theoretical computer science /
Publicado: (1990)

Theoretical Computer Science Essays in Memory of Shimon Even /
por: Goldreich, Oded.
Publicado: (2006)

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings /
por: Coppo, Mario.
Publicado: (2005)

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

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings /
por: Sarukkai, Sundar.
Publicado: (2005)

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
por: Arvind, V.
Publicado: (2007)

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007)

Domain-theoretic foundations of functional programming /
por: Streicher, Thomas, 1958-
Publicado: (2006)

Category theory for computer science /
por: Barr, Michael.
Publicado: (1995)

Mathematical structures for computer science /
por: Gersting, Judith L.
Publicado: (1987)

Mathematical structures for computer science /
por: Gersting, Judith L.
Publicado: (2003)

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers /
por: Hromkovi, Juraj.
Publicado: (2005)

Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers /
por: Fomin, Fedor V.
Publicado: (2006)

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers /
por: Kratsch, Dieter.
Publicado: (2005)

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers /
por: Brandstädt, Andreas.
Publicado: (2007)

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings /
Publicado: (1994)

Mathematical structures for computer science : a modern approach to discrete mathematics /
por: Gersting, Judith L.
Publicado: (2007)

Studies in computer science /
Publicado: (1982)

Mathematical aspects of computer science /
Publicado: (1967)

Theoretical and Experimental DNA Computation
por: Amos, Martyn.
Publicado: (2005)

Topology and category theory in computer science /
Publicado: (1991)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 2324, 2006, Santiago, Chile /
por: Navarro, Gonzalo.
Publicado: (2006)

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings /
por: Královi, Rastislav.
Publicado: (2006)

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 eský Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
por: Kuera, Ludk.
Publicado: (2007)

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29September 2, 2005. Proceedings /
por: Jdrzejowicz, Joanna.
Publicado: (2005)

Concrete mathematics : a foundation for computer science /
por: Graham, Ronald L., 1935-
Publicado: (1994)

Probability and statistics for computer science /
por: Johnson, James L. 1942-
Publicado: (2003)

High Performance Computing in Science and Engineering 06 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2006 /
por: Nagel, Wolfgang E.
Publicado: (2007)

High Performance Computing in Science and Engineering 05 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005 /
por: Nagel, Wolfgang E.
Publicado: (2006)

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993)

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Sassone, Vladimiro.
Publicado: (2005)

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
por: Aceto, Luca.
Publicado: (2006)

Nanotechnology: Science and Computation
por: Chen, Junghuei.
Publicado: (2006)

Scientific annals of computer science.
Publicado: (2006)

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis /
por: Iglesias, M.
Publicado: (2005)