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...
Journal of mathematical physics, 1993-03, Vol.34 (3), p.997-1006
1993
Link zum Volltext

Lecture notes in computer science, 2001, p.461-464
2001
Link zum Volltext




Mathematical methods in the applied sciences, 2007, Vol.30 (16), p.2027-2035
2007
Link zum Volltext


Lecture notes in computer science, 2001, p.413-416
2001
Link zum Volltext

IEEE transactions on antennas and propagation, 1993, Vol.40 (10), p.1165-1174
1993
Link zum Volltext

Astronomy and astrophysics (Berlin), 1988-12, Vol.207 (1), p.24-36
1988
Link zum Volltext

FM 2006: Formal Methods, 2006, p.428-443
2006
Link zum Volltext

Lecture notes in computer science, 2001, p.421-424
2001
Link zum Volltext

Hydrometallurgy, 2006-09, Vol.83 (1), p.97-105
2006
Link zum Volltext


Solid state communications, 2000-01, Vol.113 (7), p.367-371
2000
Link zum Volltext

Lecture notes in computer science, 2001, p.457-460
2001
Link zum Volltext

Lecture notes in computer science, 2005, p.434-453
2005
Link zum Volltext

Open Access
CLPS-B—A Constraint Solver for B
Lecture notes in computer science, 2002, p.188-204
2002
Link zum Volltext

International journal on software tools for technology transfer, 2004-08, Vol.6 (2), p.143-157
2004
Link zum Volltext


Lecture notes in computer science, 2001, p.465-469
2001
Link zum Volltext



Lecture notes in computer science, 2001, p.102-115
2001
Link zum Volltext

Aktive Filter
KollektionJournals@Ovid Complete
ThemaExact Sciences And Technology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n