Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Templon, JA
8
Ergebnisse:
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Property specification made easy : harnessing the power of ..:
Remenska, D Daniela
;
Willemse, TAC Tim
;
Templon, JA
.. , 2014
Link:
http://repository.tue.nl..
?
2
Using model checking to analyze the system behavior of the ..:
Remenska, D Daniela
;
Willemse, TAC Tim
;
Verstoep, K
..
ISSN:0167-739X. , 2013
Link:
http://repository.tue.nl..
?
3
From UML to process algebra and back : an automated approac..:
Remenska, D Daniela
;
Templon, JA
;
Willemse, TAC Tim
... , 2013
Link:
http://repository.tue.nl..
?
4
A scalable proxy cache for grid data access:
Cirstea, TC Traian Cristian
;
Keijser, JJ
;
Koeroo, OA
.. , 2012
Link:
http://repository.tue.nl..
?
5
Using model checking to analyze the system behavior of the ..:
Remenska, D Daniela
;
Willemse, TAC Tim
;
Verstoep, K
... , 2012
Link:
http://repository.tue.nl..
?
6
Analysis of DIRAC's behavior using model checking with proc..:
Remenska, D Daniela
;
Templon, JA
;
Willemse, TAC Tim
... , 2012
Link:
http://repository.tue.nl..
?
7
Optimization of large scale data analysis in LHCb:
Remenska, D Daniela
;
Aaij, R
;
Raven, G
... , 2011
Link:
http://repository.tue.nl..
?
8
Relativistic effects in the electrodisintegration of deuter..:
Kasdorp, WJ
;
Bauer, TS
;
Hesselink, WHA
...
https://research.rug.nl/en/publications/eaec9db4-40cd-4870-8d16-43cb4a13c2fe. , 1997
Link:
https://hdl.handle.net/1..
1-8