Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
New Trends in Constraints : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Principles and Practice of Constraint Programming – CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Hybrid Systems: Computation and Control (vol. # 3414) : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
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 [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Recent Advances in Constraints (vol. # 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers [Elektronische Ressource]
2008
1 – 9 von 9
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNaor, Moni
Autor / AutorinVoronkov, Andrei
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortMicroprocessors
SchlagwortSoftwareentwicklung
Autor / AutorinRossi, Francesca
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen