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...Science of computer programming, 2001-05, Vol.40 (1), p.97-118
2001
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, p.1-17
1998
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.249-265
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, 1998, p.221-238
1998
Volltextzugriff (PDF)
European journal of cancer (1990), 1999-09, Vol.35, p.S106-S106
1999
Volltextzugriff (PDF)
Theory and Application of Graph Transformations, p.410-425
Volltextzugriff (PDF)
IFAC Proceedings Volumes, 2000-06, Vol.33 (13), p.295-300
2000
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2001-07, Vol.44 (4), p.120-139
2001
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2001-07, Vol.44 (4), p.120-139
2001
Volltextzugriff (PDF)
International Journal of Impotence Research, 1998, Vol.10 (1), p.63-63
1998
Volltextzugriff (PDF)
TheScientificWorld, 2001, Vol.1, p.39-39
2001
Volltextzugriff (PDF)
Lettere al Nuovo Cimento Series 2, 1984-10, Vol.41 (7), p.209-212
- Boos, E. G.
- Mosienko, A. M.
- Bohm, G.
- Gensch, U.
- Naumann, T.
- Spiering, C.
- Dénes, E.
- Diósi, L.
- Gémesy, T.
- Jenik, L.
- Krasznovszky, S.
- Pintér, Gy
- Wagner, I.
- Bannikov, A. V.
- Böhm, J.
- Grishkevich, Ya. V.
- Faragó, I.
- Krumstein, Z. V.
- Merekov, Yu. P.
- Petrukhin, V. I.
- Piska, K.
- Safarik, K.
- Shelkov, G. A.
- Tkachev, L. G.
- Vertogradov, L. S.
- Valkarova, A.
- Valkar, S.
- Zavada, P.
- Penev, V. N.
- Shklovszkaja, A. I.
- Gabunia, L. L.
- Javrishvili, A. K.
- Kharchilava, A. I.
- Lomtadze, T. A.
- Razdolskaja, L. A.
- Gajewsky, J.
- Eopelewski, L.
- Zakrzewski, J.
1984
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Rule-Based Refinement
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Safety Property
- Algebraic Specification
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- High-Level Nets
- Petri Nets
- Safety Properties
- Temporal Logic
- 12.90
- Abstract Data Type
- Algebraic High-Level Net Systems
- Application Of Petri Nets
- Coloured Petri Nets
Kollektion
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- European Journal Of Cancer
- Ifac Proceedings Volumes
- International Journal Of Impotence Research
- Lettere Al Nuovo Cimento Della Società Italiana Di Fisica
- Lettere Al Nuovo Cimento Series 2
- Science Of Computer Programming
- The scientific World Journal/thescientificworldjournal
- Thescientificworld