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
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5713
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6445
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Theoretical Computer Science and General Issues : 10094
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multi-Agent Programming : Languages, Platforms and Applications [Elektronische Ressource]
Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series : 15
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5919
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semirings for Soft Constraint Solving and Programming [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parallel Problem Solving from Nature - PPSN VIII : 8th International Conference, Birmingham, UK, September 18-22, 2004. Proceedings [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6037
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Isabelle/HOL : A Proof Assistant for Higher-Order Logic [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6355
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems (vol. # 3346) : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers [Elektronische Ressource]
2004
Volltextzugriff (PDF)
1 – 25 von 56
Suche als RSS-Feed
Aktive Filter
SystemstelleTXP
SystemstelleZJB
SchlagwortInformation systems
SchlagwortArtificial intelligence
SchlagwortSoftware engineering
Suchergebnisse filtern
Filter anzeigen