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
Semantics with applications : a formal introduction
Wiley professional computing
1992
Signatur: TVM2754
    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
Program analysis : 11.04.1999 - 16.04.1999 (99151)
Dagstuhl-Seminar-Report : 236 (Alle Bände)
1999
Signatur: TUF1092-236
    Datensatz exportieren als...
  • BibTeX
Principles of program analysis : with 51 tables
1999
Signatur: TXL1997
    Datensatz exportieren als...
  • BibTeX
Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods : An Appetizer
1st ed. 2019, 2019
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
1 – 8 von 8
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNielson, Hanne Riis
Neu hinzugefügt... im letzten Monat
SchlagwortComputer logic
SchlagwortComputers
Suchergebnisse filtern
Filter anzeigen