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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
Museums and Digital Culture: From Reality to Digitality in the Age of COVID-19
Heritage, 2022-03, Vol.5 (1), p.192-214
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
1, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Museums and Digital Culture: New Perspectives and Research
1st ed. 2019., 2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Global Cultural Conflict and Digital Identity: Transforming Museums
Heritage, 2023-02, Vol.6 (2), p.1986-2005
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Using Formal Specifications to Support Testing
ACM computing surveys, 2009-02, Vol.41 (2), p.1-76
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
1995
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
1st Edition 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Jifeng He at Oxford and Beyond: An Appreciation
Theories of Programming and Formal Methods, p.3-18
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Provably Correct Systems
1, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
1st ed. 2019., 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Museums and Technology: Being Inclusive Helps Accessibility for All
Curator (New York, N.Y.), 2013-07, Vol.56 (3), p.353-361
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods: State of the Art and New Directions
1. Aufl., 2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
1st Edition 2018, 2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
1, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Electronic Visualisation in Arts and Culture
2013, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
1, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
Formal aspects of computing, 2020-07, Vol.32 (2-3), p.275-314
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formality, Agility, Security, and Evolution in Software Development
Computer (Long Beach, Calif.), 2014-10, Vol.47 (10), p.86-89
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
2008 edition, 2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Versus Agile: Survival of the Fittest
Computer (Long Beach, Calif.), 2009-09, Vol.42 (9), p.37-45
2009
Volltextzugriff (PDF)
1 – 25 von 747
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
2 weitere anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt