Imagen de Portada

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /

Guardado en:

Autor Principal:	Jermann, Christophe.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Neumaier, Arnold., Sam, Djamila.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:	Lecture Notes in Computer Science, 3478
Materias:	Computer science Logic design Electronic data processing Algebra > Data processing Computer Science Numeric Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /
por: Jermann, Christophe.
Publicado: (2005)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
por: Anai, Hirokazu.
Publicado: (2007)

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

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
por: Bozapalidis, Symeon.
Publicado: (2007)

Modelling Distributed Systems
por: Fokkink, Wan.
Publicado: (2007)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
por: Mossakowski, Till.
Publicado: (2007)

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
por: Fiadeiro, José Luiz.
Publicado: (2007)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
por: Fiadeiro, José Luiz.
Publicado: (2005)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
por: Fiadeiro, José Luiz.
Publicado: (2005)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
por: Filliâtre, Jean-Christophe.
Publicado: (2006)

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
por: Filliâtre, Jean-Christophe.
Publicado: (2006)

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /
por: MacCaull, Wendy.
Publicado: (2006)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
por: Anai, Hirokazu.
Publicado: (2007)

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

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
por: Altenkirch, Thorsten.
Publicado: (2007)

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
por: Altenkirch, Thorsten.
Publicado: (2007)

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
por: Bozapalidis, Symeon.
Publicado: (2007)

Max-Plus Linear Stochastic Systems and Perturbation Analysis
por: Heidergott, Bernd.
Publicado: (2007)

Modelling Distributed Systems
por: Fokkink, Wan.
Publicado: (2007)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
por: Mossakowski, Till.
Publicado: (2007)

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
por: Baader, Franz.
Publicado: (2007)

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
por: Baader, Franz.
Publicado: (2007)

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
por: Giesl, Jürgen.
Publicado: (2005)

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
por: Giesl, Jürgen.
Publicado: (2005)

Pairing-Based Cryptography Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings /
por: Takagi, Tsuyoshi.
Publicado: (2007)

Solving Polynomial Equations Foundations, Algorithms, and Applications /
por: Bronstein, Manuel.
Publicado: (2005)

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
por: Fiadeiro, José Luiz.
Publicado: (2007)

Modular Algorithms in Symbolic Summation and Symbolic Integration
por: Gerhard, Jürgen.
Publicado: (2005)

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /
por: Faltings, Boi V.
Publicado: (2005)

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /
por: Johnson, Michael.
Publicado: (2006)

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
por: Pfenning, Frank.
Publicado: (2006)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
por: Fiadeiro, José Luiz.
Publicado: (2005)

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
por: Pfenning, Frank.
Publicado: (2006)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
por: Fiadeiro, José Luiz.
Publicado: (2005)

The Mathematica GuideBook for Symbolics
por: Trott, Michael.
Publicado: (2006)

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
por: Swart, Harrie.
Publicado: (2006)