Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Boulder, Colo.: Westview Press, 1980
Erschienen in:Westview special studies in national security and defense policy- Studies in international and strategic affairs series
Altmeyer, Sebastian
[VerfasserIn];
André, Étienne
[VerfasserIn];
Dal Zilio, Silvano
[VerfasserIn];
Fejoz, Loïc
[VerfasserIn];
Harbour, Michael González
[VerfasserIn];
Graf, Susanne
[VerfasserIn];
Gutiérrez, J. Javier
[VerfasserIn];
Henia, Rafik
[VerfasserIn];
Le Botlan, Didier
[VerfasserIn];
Lipari, Giuseppe
[VerfasserIn];
Medina, Julio
[VerfasserIn];
Navet, Nicolas
[VerfasserIn];
Quinton, Sophie
[VerfasserIn];
Rivas, Juan M.
[VerfasserIn];
Sun, Youcheng
[VerfasserIn]
;
Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
ETH, Department of Computer Science, Chair of Programming Methodology, 2010-08
Erschienen in:Technical Report / ETH Zurich, Department of Computer Science, 676
Altmeyer, Sebastian
[VerfasserIn];
André, Étienne
[VerfasserIn];
Dal Zilio, Silvano
[VerfasserIn];
Fejoz, Loïc
[VerfasserIn];
Harbour, Michael González
[VerfasserIn];
Graf, Susanne
[VerfasserIn];
Gutiérrez, J. Javier
[VerfasserIn];
Henia, Rafik
[VerfasserIn];
Le Botlan, Didier
[VerfasserIn];
Lipari, Giuseppe
[VerfasserIn];
Medina, Julio
[VerfasserIn];
Navet, Nicolas
[VerfasserIn];
Quinton, Sophie
[VerfasserIn];
Rivas, Juan M.
[VerfasserIn];
Sun, Youcheng
[VerfasserIn]
;
Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Havelund, Klaus
[VerfasserIn];
Leucker, Martin
[VerfasserIn];
Reger, Giles
[VerfasserIn];
Stolz, Volker
[VerfasserIn]
;
Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Muscholl, Anca
[VerfasserIn];
Ramanujam, Ramaswamy
[VerfasserIn];
Rusinowitch, Michaël
[VerfasserIn];
Schwentick, Thomas
[VerfasserIn];
Vianu, Victor
[VerfasserIn]
;
Anca Muscholl and Ramaswamy Ramanujam and Michaël Rusinowitch and Thomas Schwentick and Victor Vianu
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Muscholl, Anca
[VerfasserIn];
Ramanujam, Ramaswamy
[VerfasserIn];
Rusinowitch, Michaël
[VerfasserIn];
Schwentick, Thomas
[VerfasserIn];
Vianu, Victor
[VerfasserIn]
;
Anca Muscholl and Ramaswamy Ramanujam and Michaël Rusinowitch and Thomas Schwentick and Victor Vianu
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Böhme, Marcel
[VerfasserIn];
Christakis, Maria
[VerfasserIn];
Padhye, Rohan
[VerfasserIn];
Serebryany, Kostya
[VerfasserIn];
Zeller, Andreas
[VerfasserIn];
Eniser, Hasan Ferit
[VerfasserIn]
;
Marcel Böhme and Maria Christakis and Rohan Padhye and Kostya Serebryany and Andreas Zeller and Hasan Ferit Eniser
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Barthe, Gilles
[VerfasserIn];
Gordon, Andrew D.
[VerfasserIn];
Katoen, Joost-Pieter
[VerfasserIn];
McIver, Annabelle
[VerfasserIn]
;
Gilles Barthe and Andrew D. Gordon and Joost-Pieter Katoen and Annabelle McIver
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Méry, Dominique
[VerfasserIn];
Schätz, Bernhard
[VerfasserIn];
Wassyng, Alan
[VerfasserIn]
;
Dominique Méry and Bernhard Schätz and Alan Wassyng
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Eldorado - Repositorium der TU Dortmund, 2021-06-24
Abadir, Magdy S.
[Sonstige Person, Familie und Körperschaft]
;
International Workshop on Microprocessor Test and Verification 5 2004 Austin, Tex,
IEEE Computer Society Test Technology Technical Council