نتایج جستجو
Practical Formal Methods for Hardware Design
Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.), 1997
European Perspectives on Taiwan
Jens Damm, Paul Lim (auth.), Jens Damm, Paul Lim (eds.), 2012
The International Legal Order in the XXIst Century / L’ordre juridique international au XXIeme siècle / El órden jurídico internacional en el siglo XXI: Essays in Honour of Professor Marcelo Gustavo Kohen / Ecrits en l’honneur du Professeur Marcelo Gustavo Kohen / Estudios en honor del Profesor Marcelo Gustavo Kohen
Jorge Viñuales (editor), Andrew Clapham (editor), Laurence Boisson de Chazournes (editor), Mamadou Hébié (editor), 2023
O Vilarejo
Raphael Montes; Marcelo Damm, 2015
Global Change, Energy Issues and Regulation Policies
Jean Bernard Saulnier, Marcelo D. Varella (auth.), Jean Bernard Saulnier, Marcelo D. Varella (eds.), 2013
Cereals
Arnel R. Hallauer, Marcelo J. Carena (auth.), Marcelo J. Carena (eds.), 2009
La naturaleza del tiempo: Usos y representaciones del tiempo en la historia
Marcelo Leonardo Levinas (ed.), Andrea Costa, Adriana Gangi, Eduardo Glavich, Marcelo L. Levinas, Alejandra Lindman, Alberto Onna, Marina Rieznik, Sandra Sauro, Aníbal Szapiro, 2008
CONTACTO FISICO ESTABLECIDO - El Llamado Planetario II - por Marcelo G. Martorelli
Marcelo G. Martorelli, 2009
Inquérito do Fim do Mundo: O apagar das luzes do Direito Brasileiro
Cláudia R. de Morais Piovezan; Cleber Neto; Flavio Morgenstern; Ludmila Lins Grilo; Marcelo Rocha Monteiro; Marcelo Salomão Czelusniak; Márcio Luís Chila Freyesleben; Rogério Greco; Sandres Sponholz; Paulo Briguet, 2020
Inquérito do Fim do Mundo: O apagar das luzes do Direito Brasileiro
Cláudia R. de Morais Piovezan; Cleber Neto; Flavio Morgenstern; Ludmila Lins Grilo; Marcelo Rocha Monteiro; Marcelo Salomão Czelusniak; Márcio Luís Chila Freyesleben; Rogério Greco; Sandres Sponholz; Paulo Briguet, 2020
Inquérito do Fim do Mundo: O apagar das luzes do Direito Brasileiro
Cláudia R. de Morais Piovezan; Cleber Neto; Flavio Morgenstern; Ludmila Lins Grilo; Marcelo Rocha Monteiro; Marcelo Salomão Czelusniak; Márcio Luís Chila Freyesleben; Rogério Greco; Sandres Sponholz; Paulo Briguet, 2020
Introdução Teórica à História do Direito - Biblioteca de História do Direito - Coordenada por Ricardo Marcelo Fonseca
Ricardo Marcelo Fonseca, 2009
Oral & Maxillofacial Pathology
Brad Neville, Douglas D. Damm, Carl M. Allen, Jerry Bouquot, Brad W. Neville, 2001
Oral & Maxillofacial Pathology
Douglas D. Damm, Jerry E. Bouquot, Brad Neville, Carl M. Allen, 2001
Design Methodologies for Secure Embedded Systems: Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Christoph Grimm, Markus Damm, Jan Haase (auth.), Alexander Biedermann, H. Gregor Molter (eds.), 2011
Design Methodologies for Secure Embedded Systems: Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Christoph Grimm, Markus Damm, Jan Haase (auth.), Alexander Biedermann, H. Gregor Molter (eds.), 2011
Design Methodologies for Secure Embedded Systems: Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Christoph Grimm, Markus Damm, Jan Haase (auth.), Alexander Biedermann, H. Gregor Molter (eds.), 2011
Design Methodologies for Secure Embedded Systems: Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Christoph Grimm, Markus Damm, Jan Haase (auth.), Alexander Biedermann, H. Gregor Molter (eds.), 2011
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.), 2004
Design Research: Synergies from Interdisciplinary Perspectives
Jesper Simonsen, Jørgen Ole Bærenholdt, Monika Büscher, JohnDamm Scheuer, 2010
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.), 2002
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.), 2002
The Anatomy of Change: A Neo-institutional Perspective
John Damm Scheuer, Steen Scheuer, 2008
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm (auth.), 1987

مقالات ISI مرتبط


