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
Logic, semantics and theory of programming : papers ... originally presented at CONCUR '96, the Seventh International Conference on Concurrency Theory ... held at Pisa, Italy, on August 26 - 29, 1996
Theoretical computer science : 195,2 (Alle Bände)
1998
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Principles and practice of constraint programming
Theoretical computer science : 173,1 (Alle Bände)
1997
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings [Elektronische Ressource]
1987
    Datensatz exportieren als...
  • BibTeX
CONCUR '96: Concurrency Theory : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings [Elektronische Ressource]
1996
    Datensatz exportieren als...
  • BibTeX
Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5486
2009
    Datensatz exportieren als...
  • BibTeX
Models of Computation [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings [Elektronische Ressource]
1995
    Datensatz exportieren als...
  • BibTeX
Models of Computation
Texts in Theoretical Computer Science. An EATCS Series
2017
    Datensatz exportieren als...
  • BibTeX
System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings [Elektronische Ressource]
1982
    Datensatz exportieren als...
  • BibTeX
Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
    Datensatz exportieren als...
  • BibTeX
Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [Elektronische Ressource]
1987
    Datensatz exportieren als...
  • BibTeX
Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming : 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [Elektronische Ressource]
1987
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
CONCUR '96: Concurrency Theory : 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings [electronic resource]
1st ed. 1996, 1996
    Datensatz exportieren als...
  • BibTeX
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings [electronic resource]
1st ed. 2000, 2000
1 – 25 von 26
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen