Zum Inhalt springen Orejas, Fernando Thirty years of algebraic specification Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2006 Erschienen in: The Journal of Logic and Algebraic Programming Orejas, Fernando Even more on advice on structuring compilers and proving them correct : changing an arrow : changing an arrow Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 1981 Erschienen in: ACM SIGPLAN Notices Orejas, Fernando On the power of conditional specifications Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 1979 Erschienen in: ACM SIGPLAN Notices Lambers, Leen; Orejas, Fernando Graph Transformation: Initial Conflicts for Transformation Rules with Nested Application Conditions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Graph Transformation Lambers, Leen; Orejas, Fernando Graph Transformation: Tableau-Based Reasoning for Graph Properties Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Graph Transformation Orejas, Fernando; Pino, Elvira Theory and Practice of Model Transformations: Correctness of Incremental Model Synchronization with Triple Graph Grammars Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Theory and Practice of Model Transformations Orejas, Fernando; Lambers, Leen Lazy Graph Transformation Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2012 Erschienen in: Fundamenta Informaticae Orejas, Fernando; Lambers, Leen Lecture Notes in Computer Science: Delaying Constraint Solving in Symbolic Graph Transformation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science Orejas, Fernando; Wirsing, Martin Semantics and Algebraic Specification: On the Specification and Verification of Model Transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Semantics and Algebraic Specification Orejas, Fernando; Pérez, Sonia Architectural Connectors for Sequence Diagrams Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2008 Erschienen in: Electronic Notes in Theoretical Computer Science Lucio, Paqui; Orejas, Fernando Preface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science Orejas, Fernando; Pérez, Sonia Formal Methods in Software and Systems Modeling: Towards Architectural Connectors for UML Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2005 Erschienen in: Formal Methods in Software and Systems Modeling Orejas, Fernando; Pino, Elvira Integration of Software Specification Techniques for Applications in Engineering: On the Integration of Modular Heterogeneous Specifications Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2004 Erschienen in: Integration of Software Specification Techniques for Applications in Engineering Mylonakis, Nikos; Orejas, Fernando Recent Trends in Algebraic Development Techniques: A Distributed and Mobile Component System Based on the Ambient Calculus Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2005 Erschienen in: Recent Trends in Algebraic Development Techniques Orejas, Fernando; Ehrig, Hartmut Components for Algebra Transformation Systems Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2003 Erschienen in: Electronic Notes in Theoretical Computer Science Ehrig, Hartmut; Orejas, Fernando A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2001 Erschienen in: Electronic Notes in Theoretical Computer Science Jiménez, Rosa; Orejas, Fernando FM’99 — Formal Methods: An lgebraic framework for higher-order odules Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1999 Erschienen in: FM’99 — Formal Methods Orejas, Fernando; Pino, Elvira Recent Trends in Algebraic Development Techniques: A General Algebraic Framework for Studying Modular Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2000 Erschienen in: Recent Trends in Algebraic Development Techniques Nieuwenhuis, Robert; Orejas, Fernando Conditional and Typed Rewriting Systems: Clausal rewriting Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1991 Erschienen in: Conditional and Typed Rewriting Systems Nieuwenhuis, Robert; Orejas, Fernando Recent Trends in Data Type Specification: Clausal rewriting: Applications and implementation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1991 Erschienen in: Recent Trends in Data Type Specification
Orejas, Fernando Thirty years of algebraic specification Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2006 Erschienen in: The Journal of Logic and Algebraic Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando Even more on advice on structuring compilers and proving them correct : changing an arrow : changing an arrow Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 1981 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando On the power of conditional specifications Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 1979 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lambers, Leen; Orejas, Fernando Graph Transformation: Initial Conflicts for Transformation Rules with Nested Application Conditions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Graph Transformation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lambers, Leen; Orejas, Fernando Graph Transformation: Tableau-Based Reasoning for Graph Properties Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Graph Transformation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Pino, Elvira Theory and Practice of Model Transformations: Correctness of Incremental Model Synchronization with Triple Graph Grammars Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Theory and Practice of Model Transformations
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Lambers, Leen Lazy Graph Transformation Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2012 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Lambers, Leen Lecture Notes in Computer Science: Delaying Constraint Solving in Symbolic Graph Transformation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Wirsing, Martin Semantics and Algebraic Specification: On the Specification and Verification of Model Transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Semantics and Algebraic Specification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Pérez, Sonia Architectural Connectors for Sequence Diagrams Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2008 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lucio, Paqui; Orejas, Fernando Preface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Pérez, Sonia Formal Methods in Software and Systems Modeling: Towards Architectural Connectors for UML Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2005 Erschienen in: Formal Methods in Software and Systems Modeling
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Pino, Elvira Integration of Software Specification Techniques for Applications in Engineering: On the Integration of Modular Heterogeneous Specifications Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2004 Erschienen in: Integration of Software Specification Techniques for Applications in Engineering
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mylonakis, Nikos; Orejas, Fernando Recent Trends in Algebraic Development Techniques: A Distributed and Mobile Component System Based on the Ambient Calculus Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2005 Erschienen in: Recent Trends in Algebraic Development Techniques
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Ehrig, Hartmut Components for Algebra Transformation Systems Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2003 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ehrig, Hartmut; Orejas, Fernando A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2001 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Jiménez, Rosa; Orejas, Fernando FM’99 — Formal Methods: An lgebraic framework for higher-order odules Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1999 Erschienen in: FM’99 — Formal Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Orejas, Fernando; Pino, Elvira Recent Trends in Algebraic Development Techniques: A General Algebraic Framework for Studying Modular Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2000 Erschienen in: Recent Trends in Algebraic Development Techniques
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Nieuwenhuis, Robert; Orejas, Fernando Conditional and Typed Rewriting Systems: Clausal rewriting Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1991 Erschienen in: Conditional and Typed Rewriting Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Nieuwenhuis, Robert; Orejas, Fernando Recent Trends in Data Type Specification: Clausal rewriting: Applications and implementation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1991 Erschienen in: Recent Trends in Data Type Specification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (110) Wert ausschließen Bücher (15) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (3) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (3) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (3) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (38) Wert ausschließen Ohne Angabe (84) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (63) Wert ausschließen Nicht zu entscheiden (57) Wert ausschließen Spanisch (5) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (42) Wert ausschließen Mathematik (10) Wert ausschließen Medizin (4) Wert ausschließen Biologie (1) Wert ausschließen Chemie und Pharmazie (1) Wert ausschließen Geographie (1) Wert ausschließen Wirtschaftswissenschaften (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Orejas, Fernando (101) Wert ausschließen Ehrig, Hartmut (37) Wert ausschließen Lambers, Leen (21) Wert ausschließen Pino, Elvira (17) Wert ausschließen Navarro, Marisa (11) Wert ausschließen Golas, Ulrike (6) Wert ausschließen Hermann, Frank (6) Wert ausschließen Klein, Markus (6) Wert ausschließen Schneider, Sven (6) Wert ausschließen Guerra, Esther (5) Wert ausschließen Padberg, Julia (5) Wert ausschließen Pasarella, Edelmira (5) Wert ausschließen Akova, Murat (4) Wert ausschließen Arvaniti, Kostoula (4) Wert ausschließen Attokaran, Antony George (4) Wert ausschließen Biston, Patrick (4) Wert ausschließen Blasco-Navalpotro, Miguel Angel (4) Wert ausschließen Braatz, Benjamin (4) Wert ausschließen Cortegiani, Andrea (4) Wert ausschließen Dabiri, Gholamreza (4) Wert ausschließen Dahyot-Fizelier, Claire (4) Wert ausschließen De Bus, Liesbet (4) Wert ausschließen De Pascale, Gennaro (4) Wert ausschließen De Schryver, Nicolas (4) Wert ausschließen EHRIG, HARTMUT (4) Wert ausschließen Espina, Lorena Forcelledo (4) Wert ausschließen Fourie, Cheryl (4) Wert ausschließen Fujitani, Shigeki (4) Wert ausschließen Grigoras, Ioana (4) Wert ausschließen Hashimoto, Satoru (4) Wert ausschließen Imzi, Nadia (4) Wert ausschließen Kreowski, Hans-Jörg (4) Wert ausschließen Kuriyama, Akira (4) Wert ausschließen Leone, Marc (4) Wert ausschließen Lipman, Jeffrey (4) Wert ausschließen Lucio, Paqui (4) Wert ausschließen Martin-Loeches, Ignacio (4) Wert ausschließen Masjedi, Mansoor (4) Wert ausschließen Mylonakis, Nikos (4) Wert ausschließen Nieuwenhuis, Robert (4) Wert ausschließen OREJAS, FERNANDO (4) Wert ausschließen Paiva, José-Artur (4) Wert ausschließen Pelagalli, Lorella (4) Wert ausschließen Popescu, Mihai (4) Wert ausschließen Pérez, Sonia (4) Wert ausschließen Rathod, Darshana (4) Wert ausschließen Sabetian, Golnar (4) Wert ausschließen Tabah, Alexis (4) Wert ausschließen Timsit, Jean-François (4) Wert ausschließen Tomescu, Dana (4) Wert ausschließen Yoshida, Hideki (4) Wert ausschließen Zand, Farid (4) Wert ausschließen de Lara, Juan (4) Wert ausschließen Ñamendys-Silva, Silvio A. (4) Wert ausschließen Aalinezhad, Fatemeh (3) Wert ausschließen Abdulwahed, Eman (3) Wert ausschließen Abed-Maillard, S. (3) Wert ausschließen Abidi, Khalid (3) Wert ausschließen Abousnina, Fathi A. (3) Wert ausschließen Abu-Sayf, Natalia (3) Wert ausschließen Acevedo, José Oscar (3) Wert ausschließen Adeola, Fowotade (3) Wert ausschließen Agalar, Canan (3) Wert ausschließen Aguilar, Candy Garcia (3) Wert ausschließen Ahmadi, Fatemeh (3) Wert ausschließen Ahmed, Abdullah Khudhur (3) Wert ausschließen Ahmed, Samiul (3) Wert ausschließen Aksoy, Firdevs (3) Wert ausschließen Aktas, Sabahat Cagan (3) Wert ausschließen Akyol, Ahmet (3) Wert ausschließen Al-Jadaan, Mohammad (3) Wert ausschließen Aldhalia, Amer (3) Wert ausschließen Alfandari, Serge (3) Wert ausschließen Ali, Fadi (3) Wert ausschließen Ali, Saedah (3) Wert ausschließen AliAli, Almajdoub Mohammed (3) Wert ausschließen Aljabbary, Ahmed (3) Wert ausschließen Almekhlafi, Ghaleb A. (3) Wert ausschließen Almiqlash, Bushray (3) Wert ausschließen Almiroudi, Mariota Panagiota (3) Wert ausschließen Alsisi, Adel (3) Wert ausschließen Altin, Nilgün (3) Wert ausschließen Altintas, Neriman Defne (3) Wert ausschließen Alves, Madalena (3) Wert ausschließen Amerigo, Joaquin Amador (3) Wert ausschließen Amiri, Fereshteh (3) Wert ausschließen Amro, Sarah (3) Wert ausschließen Anderzhanova, Anastasia (3) Wert ausschließen Angell, Hollie (3) Wert ausschließen Antcliffe, David (3) Wert ausschließen Antrolikar, Supriya (3) Wert ausschließen Aparicio, Christelle (3) Wert ausschließen Apichatbutr, Yutthana (3) Wert ausschließen Aqeelah, Ahmed (3) Wert ausschließen Arbelot, Charlotte (3) Wert ausschließen Argaud, Laurent (3) Wert ausschließen Arias, Sonia Sousa (3) Wert ausschließen Armestar, Fernando (3) Wert ausschließen Arnillas, Maria Pilar Gracia (3) Wert ausschließen Asiyanbi, Gabriel (3) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (37) Wert ausschließen Elsevier BV (CrossRef) (22) Wert ausschließen Verbunddaten SWB (13) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (12) Wert ausschließen Springer International Publishing (CrossRef) (10) Wert ausschließen BASE - Bielefeld Academic Search Engine (6) Wert ausschließen DOAJ Directory of Open Access Journals (5) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (4) Wert ausschließen IOS Press (CrossRef) (4) Wert ausschließen Ediciones Universidad de Salamanca (CrossRef) (3) Wert ausschließen University of Potsdam: publish.UP (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Editorial CSIC (CrossRef) (1) Wert ausschließen Edittec (CrossRef) (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen REPOSIT HAW Hamburg (1) Wert ausschließen Universidad Complutense de Madrid (UCM) (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen