Zu "model checking" wurden 590 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (302)
Springer International Publishing (262)
Springer Netherland (4)
Springer Singapore (5)
Springer US (15)
tredition (1)
Vieweg & Teubner (1)

Gebunden (20)
Kartoniert / Broschiert (568)
Kassette / Medienmix z.B. Audio und Buch (1)
Unbekannt (1)

Aalst, Wil van der Best, Eike (1)
Abadi, Martin Ito, Takayasu (1)
Abadi, Martín de Alfaro, Luca (1)
Abate, Alessandro Geeraerts, Gilles (1)
Abate, Alessandro Marin, Andrea (1)
Abdallah, Ali E. Jones, Cliff B. Sanders, Jeff W. (1)
Abdelwahed, El Hassan Bellatreche, Ladjel Benslimane, Djamal Golfarelli, Matteo Jean, Stéphane Mery, Dominique Nakamatsu, Kazumi Ordonez, Carlos (1)
Abraham, Erika Havelund, Klaus (1)
Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu (1)
Agha, Gul Igarashi, Atsushi Kobayashi, Naoki Masuhara, Hidehiko Matsuoka, Satoshi Shibayama, Etsuya Taura, Kenjiro (1)
Agha, Gul Van Houdt, Benny (1)
Ahmed, Amal (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Ahrendt, Wolfgang Wehrheim, Heike (1)
Aichernig, Bernhard K. de Boer, Frank S. Bonsangue, Marcello M. (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Ait Ameur, Yamine Bellatreche, Ladjel Papadopoulos, George A. (1)
Ait-Ameur, Yamine Qin, Shengchao (1)
Albert, Elvira Sekerinski, Emil (1)
Aldini, Alessandro Bernardo, Marco Bononi, Luciano Cortellessa, Vittorio (1)
Aldini, Alessandro Bernardo, Marco Di Pierro, Alessandra Wiklicky, Herbert (1)
Alexander, Michael D'Ambra, Pasqua Belloum, Adam Bosilca, George Cannataro, Mario Danelutto, Marco Di Martino, Beniamino Gerndt, Michael Jeannot, Emmanuel Namyst, Raymond Roman, Jean Scott, Stephen L. Traff, Jesper Larsson Vallee, Geoffroy Weidendorfer, Josef (2)
Alfaro, Luca de Gilmore, Stephen (1)
Amyot, Daniel Fonseca i Casas, Pau Mussbacher, Gunter (1)
Andrade Cetto, Juan Ferrier, Jean-Louis Pereira, José Miguel Costa Dias Filipe, Joaquim (2)
André, Étienne Stoelinga, Mariëlle (1)
Aoki, Toshiaki Taguchi, Kenji (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Arbab, Farhad Sirjani, Marjan (3)
Areces, Carlos Costa, Diana (1)
Artho, Cyrille Legay, Axel Peled, Doron (1)
Artho, Cyrille Ölveczky, Peter Csaba (4)
Atig, Mohamed Faouzi Bensalem, Saddek Bliudze, Simon Monsuez, Bruno (1)
Atig, Mohamed Faouzi Schwarzmann, Alexander A. (1)
Attiogbé, Christian Ferrarotti, Flavio Maabout, Sofian (1)
Avigad, Jeremy Mahboubi, Assia (1)
Backes, Michael Ning, Peng (1)
Badger, Julia M. Rozier, Kristin Yvonne (2)
Baeten, Jos C.M. Groote, Jan F. (1)
Baeten, Jos C.M. Lenstra, Jan Karel Parrow, Joachim Woeginger, Gerhard J. (1)
Bakker, Jaco W. de Roever, Willem-Paul de Rozenberg, Grzegorz (1)
Baldan, Paolo (1)
Baldoni, Matteo Dastani, Mehdi Liao, Beishui Sakurai, Yuko Zalila Wenkstern, Rym (1)
Ball, Thomas Jones, Robert B. (1)
Ball, Thomas Rajamani, Sriram K. (1)
Balsamo, Simonetta Marin, Andrea Vicario, Enrico (1)
Banieqbal, Behnam Barringer, Howard Pnueli, Amir (1)
Barbosa, Haniel Zohar, Yoni (1)
Barner, Sharon Harris, Ian Kroening, Daniel Raz, Orna (1)
Barrett, Clark Davies, Misty Kahsai, Temesghen (1)
Barrett, Clark Waldmann, Uwe (2)
Barthe, Gilles (1)
Barthe, Gilles Gregoire, Benjamin Huisman, Marieke Lanet, Jean-Luis (1)
Barthe, Gilles Hermenegildo, Manuel (1)
Barthe, Gilles Pardo, Alberto Schneider, Gerardo (1)
Bartocci, Ezio Cleaveland, Rance Grosu, Radu Sokolsky, Oleg (1)
Bartocci, Ezio Lio, Pietro Paoletti, Nicola (1)
Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S. Bonsangue, Marcello M. (1)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian (1)
Beckert, Bernhard Hähnle, Reiner (1)
Bensalem, Saddek Lakhnech, Yassine Legay, Axel (1)
Berger, Christian Mousavi, Mohammad Reza Wisniewski, Rafael (1)
Berghammer, R. Möller, Bernhard Struth, Georg (1)
Bernardinello, Luca Petrucci, Laure (1)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Damiani, Ferruccio Haehnle, Reiner Johnsen, Einar Broch Schaefer, Ina (1)
Bernardo, Marco Johnsen, Einar Broch (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Biere, Armin Parker, David (2)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony (2)
Camarinha-Matos, Luis M. Shahamatnia, Ehsan Nunes, Gonçalo (2)
Chaudhuri, Swarat Farzan, Azadeh (2)
Cousot, Radhia (2)
Dastani, Mehdi Hindriks, Koen V. Meyer, John-Jules (2)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (2)
Dillig, Isil Tasiran, Serdar (2)
Drechsler, Rolf (2)
Droste, Manfred Kuich, Werner Vogler, Heiko (2)
Enea, Constantin Lal, Akash (3)
Groote, Jan Friso Larsen, Kim Guldstrand (2)
Götz, Marcelo Schirner, Gunar Wehrmeister, Marco Aurélio Al Faruque, Mohammad Abdullah Rettberg, Achim (2)
Jacobs, Bart Rensink, Arend (2)
Kroening, Daniel Pasareanu, Corina S. (2)
Legay, Axel Margaria, Tiziana (2)
Liu, Chunfeng Chang, Jincai Yang, Aimin (2)
Margaria, Tiziana Steffen, Bernhard (11)
Murgante, Beniamino Misra, Sanjay Carlini, Maurizio Torre, Carmelo Maria Nguyen, Hong-Quang Taniar, David Apduhan, Bernady O. Gervasi, Osvaldo (2)
Murgante, Beniamino Misra, Sanjay Carlini, Maurizio Torre, Carmelo Nguyen, Hong-Quang Taniar, David Apduhan, Bernady O. Gervasi, Osvaldo (3)
Murgante, Beniamino Misra, Sanjay Rocha, Ana Maria Alves Coutinho Torre, Carmelo Rocha, Jorge Gustavo Falcão, Maria Irene Taniar, David Apduhan, Bernady O. Gervasi, Osvaldo (6)
Navarro, Gonzalo Bertossi, Leopoldo Kohayakawa, Yoshiharu (2)
Peltier, Nicolas Sofronie-Stokkermans, Viorica (2)
Podelski, Andreas (2)
Schirner, Gunar Götz, Marcelo Rettberg, Achim Zanella, Mauro C. Rammig, Franz J. (2)
Steffen, Bernhard (2)
Vojnar, Tomáš Zhang, Lijun (2)
Wang, Farn (2)
Wehrmeister, Marco A. Kreutz, Márcio Götz, Marcelo Henkler, Stefan Pimentel, Andy D. Rettberg, Achim (2)