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 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures [Elektronische Ressource]
2004
    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 : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures [Elektronische Ressource]
2008
    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 Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures [Elektronische Ressource]
2007
    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 – 8 von 8
Suche als RSS-Feed
Aktive Filter
Art des InhaltsUniversitätstext
SprachePolyglott
Art des MediumsAudio
SchlagwortProgrammanalyse
Autor / AutorinBoer, Frank S
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen