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...
ERROR: Record not found
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Models of Computation : An Introduction to Computability Theory [Elektronische Ressource]
Undergraduate Topics in Computer Science
1, 2009
    Datensatz exportieren als...
  • BibTeX
Special issue on the 6th European Symposium on Programming : selected papers of the 6th European Symposium on Programming (ESOP'96) (22-24 April 1996, Linköping, Sweden)
Science of computer programming : 32,1,3 (Alle Bände)
1998
Signatur: 64s19
    Datensatz exportieren als...
  • BibTeX
Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Transactions on Computational Systems Biology VII [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Semantics with applications : a formal introduction
Wiley professional computing
1992
Signatur: TVM2754
    Datensatz exportieren als...
  • BibTeX
Formal Methods : An Appetizer
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Semantics with Applications: An Appetizer [Elektronische Ressource]
Undergraduate Topics in Computer Science
2007
    Datensatz exportieren als...
  • BibTeX
Semantics with Applications: An Appetizer [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Programming and Software Engineering : 11533
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Program analysis : 11.04.1999 - 16.04.1999 (99151)
Dagstuhl-Seminar-Report : 236 (Alle Bände)
1999
Signatur: TUF1092-236
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings [electronic resource]
1st ed. 2019, 2019
1 – 14 von 14
Suche als RSS-Feed
Aktive Filter
SchlagwortProgrammanalyse
Suchergebnisse filtern
Filter anzeigen