Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Sam, Djamila, Neumaier, Arnold, Jermann, Christophe |
Format: | eBook |
Language: | English |
Published: |
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
|
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Recent advances in constraints (vol. # 3419) joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, revised selected and
by: Fages, Francois
Published: (2005) -
Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Published: (2007) -
Algebraic informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
Published: (2007) - Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
-
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, revised selected papers
by: Fiadeiro, José Luiz
Published: (2005)