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...
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...

Information and software technology, 2003-08, Vol.45 (11), p.743-761
2003
Volltextzugriff (PDF)

The Journal of systems and software, 2008-10, Vol.81 (10), p.1738-1753
2008
Volltextzugriff (PDF)

(In)completeness in specifications
Information and software technology, 1994-06, Vol.36 (6), p.331-342
1994
Volltextzugriff (PDF)

Proceedings - International Computer Software & Applications Conference, 2002, p.405-412
2002
Volltextzugriff (PDF)

Advances in Cryptology — AUSCRYPT '90, 2005, p.360-385
2005
Volltextzugriff (PDF)

Computer aided design, 1990-05, Vol.22 (4), p.194-198
1990
Volltextzugriff (PDF)

Information sciences, 1993-03, Vol.68 (3), p.207-223
1993
Volltextzugriff (PDF)

Journal of intelligent & robotic systems, 1993-10, Vol.8 (2), p.173-200
1993
Volltextzugriff (PDF)

Specification of Software Systems
2nd ed., 2011
Volltextzugriff (PDF)

Software testing, verification & reliability, 2001-03, Vol.11 (1), p.3-37
2001
Volltextzugriff (PDF)

International journal of systems science, 1984-01, Vol.15 (7), p.727-744
1984
Volltextzugriff (PDF)

Journal of algorithms, 1986-09, Vol.7 (3), p.341-357
1986
Volltextzugriff (PDF)

Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34, 2000, p.25-36
2000
Volltextzugriff (PDF)

The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003, 2003, p.193-200
2003
Volltextzugriff (PDF)



Journal of applied probability, 1977-06, Vol.14 (2), p.284-297
1977
Volltextzugriff (PDF)

The SuRE programming framework
Algebraic Methodology and Software Technology, 2005, p.585-585
2005
Volltextzugriff (PDF)

Declarative Agent Languages and Technologies II, 2005, p.239-255
2005
Volltextzugriff (PDF)

Algebraic Methodology and Software Technology, 2005, p.446-460
2005
Volltextzugriff (PDF)

Algebraic Methodology and Software Technology, 2005, p.261-276
2005
Volltextzugriff (PDF)

Extended Finite State Machine
Specification of Software Systems, p.105-128
Volltextzugriff (PDF)

Information and software technology, 2003-08, Vol.45 (11), p.743-761
2003
Volltextzugriff (PDF)

Third International Conference on Quality Software, 2003. Proceedings, 2003, p.12-19
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt