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
Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
Advances in logic programming theory
International schools for computer scientists, Oxford science publications
1994
Signatur: TVM3328
    Datensatz exportieren als...
  • BibTeX
Special issue on static program analysis (SAS '98) : papers presented at the SAS '98 Conference held in Pisa
Science of computer programming : 39,1 (Alle Bände)
2001
Signatur: 64s19
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings [Elektronische Ressource]
1992
    Datensatz exportieren als...
  • BibTeX
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings [electronic resource]
1st ed. 1992, 1992
    Datensatz exportieren als...
  • BibTeX
Algebraic and Logic Programming : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings [Elektronische Ressource]
1994
    Datensatz exportieren als...
  • BibTeX
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings [electronic resource]
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
Giorgio Levi della Vida Biennial Conference
1970-1985
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Foundations of Logic and Functional Programming : Workshop Trento, Italy, December 15–19, 1986 Proceedings [Elektronische Ressource]
1988
    Datensatz exportieren als...
  • BibTeX
Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings [electronic resource]
1st ed. 1988, 1988
    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 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
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
The Holocaust : Theoretical Readings
[2022]
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen