Zu "formal methods" wurden 691 Produkte gefunden

Filter

Nur Neuerscheinungen

APRESS (1)
Springer Berlin (352)
Springer Fachmedien Wiesbaden GmbH (1)
Springer International Publishing (285)
Springer London (7)
Springer Netherland (3)
Springer Singapore (4)
Springer US (34)
Springer Wien (2)
tredition (1)
TUM.University Press (1)

Gebunden (32)
Kartoniert / Broschiert (658)
Unbekannt (1)

Abadi, Martín Lluch Lafuente, Alberto (1)
Abate, Alessandro Marin, Andrea (1)
Abate, Alessandro Safranek, David (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)
Abdelwahed, El Hassan Bellatreche, Ladjel Golfarelli, Mattéo Méry, Dominique Ordonez, Carlos (1)
Abdulla, Parosh Aziz Delporte-Gallet, Carole (1)
Abraham, Erika Havelund, Klaus (1)
Accorsi, Rafael Ranise, Silvio (1)
Aceto, Luca Damgaard, Ivan Goldberg, Leslie Ann Halldorsson, Magnus M. Ingolfsdottir, Anna Walukiewicz, Igor (1)
Aceto, Luca Henzinger, Monika Sgall, Jiri (1)
Aceto, Luca Ingólfsdóttir, Anna (1)
Agha, Gul Van Houdt, Benny (1)
Agotnes, Thomas Broersen, Jan M. Elgesem, Dag (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias (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)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Aiello, Marco Johnsen, Einar Broch Dustdar, Schahram Georgievski, Ilche (1)
Alagar, V.S. Lakshmanan, Laks V.S. Sadri, F. (1)
Albert, Elvira Sekerinski, Emil (1)
Aldini, Alessandro Bernardo, Marco Di Pierro, Alessandra Wiklicky, Herbert (1)
Aldini, Alessandro Gorrieri, Roberto (1)
Aldini, Alessandro Lopez, Javier Martinelli, Fabio (1)
Alferes, José Júlio Bailey, James May, Wolfgang Schwertel, Uta (1)
Altenkirch, Thorsten McBride, Conor (1)
Alur, Rajeev Peled, Doron A. (1)
Alves-Foss, Jim (1)
Amadio, Roberto (1)
Amine, Abdelmalek Bellatreche, Ladjel Elberrichi, Zakaria Neuhold, Erich J. Wrembel, Robert (2)
Anderson, Stuart Felici, Massimo Littlewood, Bev (1)
Apel, Sven Jackson, Ethan (1)
Araki, Keijiro Galloway, Andy Taguchi, Kenji (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Arbab, Farhad Jongmans, Sung-Shik (1)
Artho, Cyrille Ölveczky, Peter Csaba (4)
Askoxylakis, Ioannis Ioannidis, Sotiris Katsikas, Sokratis Meadows, Catherine (2)
Astesiano, Egidio Kreowski, Hans-Jörg Krieg-Brückner, Bernd (1)
Atig, Mohamed Faouzi Bensalem, Saddek Bliudze, Simon Monsuez, Bruno (1)
Attali, Isabelle Jensen, Thomas (1)
Attiogbé, Christian Ferrarotti, Flavio Maabout, Sofian (1)
Audebaud, Philippe Paulin-Mohring, Christine (1)
Avgeriou, Paris Zdun, Uwe (1)
Avigad, Jeremy Mahboubi, Assia (1)
Baar, Thomas Strohmeier, Alfred Moreira, Ana (1)
Badger, Julia M. Rozier, Kristin Yvonne (2)
Bae, Kyungmin (1)
Bae, Kyungmin Ölveczky, Peter Csaba (1)
Baeten, Jos C.M. Ball, Tom de Boer, Frank S. (1)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus (1)
Baldoni, Matteo Müller, Jörg P. Nunes, Ingrid Zalila-Wenkstern, Rym (1)
Ball, Thomas Rajamani, Sriram K. (1)
Balsamo, Simonetta Marin, Andrea Vicario, Enrico (1)
Barbosa, Haniel Zohar, Yoni (1)
Baresi, Luciano Heckel, Reiko (1)
Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio (1)
Barthe, Gilles Gregoire, Benjamin Huisman, Marieke Lanet, Jean-Luis (1)
Barthe, Gilles Hermenegildo, Manuel (1)
Bartocci, Ezio Lio, Pietro Paoletti, Nicola (1)
Bastide, Rémi Palanque, Philippe Roth, Jörg (1)
Bauer, Lujo Küsters, Ralf (1)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian (1)
Beckert, Bernhard Hähnle, Reiner Schmitt, Peter H. (1)
Bellatreche, Ladjel Mota Pinto, Filipe (1)
Bellatreche, Ladjel Pastor, Óscar Almendros Jiménez, Jesús M. Aït-Ameur, Yamine (1)
Ben Hedia, Belgacem Chen, Yu-Fang Liu, Gaiyun Yu, Zhenhua (1)
Bensalem, Saddek Lakhnech, Yassine Legay, Axel (1)
Berardi, Stefano Coppo, Mario Damiani, Ferruccio (1)
Berger, Christian Mousavi, Mohammad Reza (1)
Berger, Christian Mousavi, Mohammad Reza Wisniewski, Rafael (1)
Berghammer, R. Möller, Bernhard Struth, Georg (1)
Beyer, Dirk Huisman, Marieke (2)
Boehm, Barry Rombach, Hans Dieter Zelkowitz, Marvin V. (2)
Bologna, S. Bucci, G. (2)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (4)
Chaudhuri, Swarat Farzan, Azadeh (2)
Chockler, Hana Weissenbacher, Georg (2)
Dershowitz, Nachum Nissan, Ephraim (3)
Dillig, Isil Tasiran, Serdar (2)
Dong, Jing Paul, Raymond Zhang, Liang-Jie (2)
Ermolayev, Vadim Mayr, Heinrich C. Nikitchenko, Mykola Spivakovsky, Aleksander Zholtkevych, Grygoriy (3)
Fischlin, Marc Moonsamy, Veelasha (3)
Hardin, David S. (2)
Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger (2)
Kroening, Daniel Pasareanu, Corina S. (2)
Laurent, Anne Strauss, Olivier Bouchon-Meunier, Bernadette Yager, Ronald R. (3)
Lee, Roger Ishii, Naohiro (2)
Margaria, Tiziana Steffen, Bernhard (15)
Michel, Petra Lauther, Ulrich Duzy, Peter (2)
Paige, Robert Reif, J.H. Wachter, Ralph (2)
Redmill, Felix Anderson, Tom (3)
Restifo Mullin, Lenore M. (2)
Robshaw, Matthew Katz, Jonathan (3)
Schmidt, Renate (2)
Silva, Alexandra Leino, K. Rustan M. (2)
Tonetta, Stefano Schoitsch, Erwin Bitsch, Friedemann (2)
Wang, Farn (2)
Winter, Victor L. Bhattacharya, Sourav (2)