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
Specifying safety-critical embedded systems with statecharts and Z: A case study
Fundamental Approaches to Software Engineering, 1998, p.71-87
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Horizontal and vertical structuring techniques for statecharts
CONCUR '97: Concurrency Theory, 2005, p.181-195
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
InterACT: An interactive theorem prover for algebraic specifications
Algebraic Methodology and Software Technology, 2005, p.563-566
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations
Recent Trends in Data Type Specification, 1996, p.291-305
1996
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Innovative Therapie: Zukunftsweisende Behandlungskonzepte in Psychiatrie, Forensischer Psychiatrie und im Justizvollzug
1st ed., 2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Innovative Therapie
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Customer Relationship Management als wichtiger Baustein einer innovativen und integrierten IT-Strategie in einem mittelständischen Fertigungsunternehmen
Electronic Commerce, p.349-356
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Transaminasenerhöhung
Mein erster Dienst Gastroenterologie, p.99-117
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ikterus
Mein erster Dienst Gastroenterologie, p.85-97
Volltextzugriff (PDF)
1 – 9 von 9
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen