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
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6286
2010
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings [Elektronische Ressource]
2008
1 – 4 von 4
Suche als RSS-Feed
Aktive Filter
Art des InhaltsUniversitätstext
Autor / AutorinRoever, Willem-Paul
SprachePolyglott
Art des MediumsAudio
SchlagwortProgrammanalyse
Autor / AutorinBoer, Frank S
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen