Zum Inhalt springen Katz, Emilia; Katz, Shmuel FM 2005: Formal Methods: Verifying Scenario-Based Aspect 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, 2005 Erschienen in: FM 2005: Formal Methods Katz, Shmuel; Givli, Sefi Boomerons in a 1-D lattice with only nearest-neighbor interactions 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. IOP Publishing, 2020 Erschienen in: EPL (Europhysics Letters) Katz, Shmuel; Givli, Sefi Solitary waves in a nonintegrable chain with double-well potentials 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. American Physical Society (APS), 2019 Erschienen in: Physical Review E Katz, Shmuel; Givli, Sefi The Postbuckling Behavior of Planar Elastica Constrained by a Deformable Wall 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. ASME International, 2017 Erschienen in: Journal of Applied Mechanics Disenfeld, Cynthia; Katz, Shmuel Lecture Notes in Computer Science: Developing and Verifying Response Specifications in Hierarchical Event-Based 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 International Publishing, 2016 Erschienen in: Lecture Notes in Computer Science Katz, Shmuel; Faitelson, David The common aspect proof environment 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. Springer Science and Business Media LLC, 2012 Erschienen in: International Journal on Software Tools for Technology Transfer Katara, Mika; Katz, Shmuel A concern architecture view for aspect-oriented software design 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. Springer Science and Business Media LLC, 2007 Erschienen in: Software & Systems Modeling Grumberg, Orna; Katz, Shmuel VeriTech: a framework for translating among model description notations 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. Springer Science and Business Media LLC, 2007 Erschienen in: International Journal on Software Tools for Technology Transfer Glusman, Marcelo; Katz, Shmuel Computer Aided Verification: Model Checking Conformance with Scenario-Based 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, 2003 Erschienen in: Computer Aided Verification Katz, Shmuel; Sihman, Marcelo Lecture Notes in Computer Science: Aspect Validation Using Model Checking 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, 2003 Erschienen in: Lecture Notes in Computer Science Katz, Shmuel; Grumberg, Orna Lecture Notes in Computer Science: A Framework for Translating Models and 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, 2002 Erschienen in: Lecture Notes in Computer Science Glusman, Marcelo; Katz, Shmuel Lecture Notes in Computer Science: Extending Memory Consistency of Finite Prefixes to Infinite Computations 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, 2001 Erschienen in: Lecture Notes in Computer Science Glusman, Marcelo; Katz, Shmuel Computer Aided Verification: Mechanizing Proofs of Computation Equivalence 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: Computer Aided Verification Miller, Hillel; Katz, Shmuel Computer Aided Verification: Saving space by fully exploiting invisible transitions 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, 1996 Erschienen in: Computer Aided Verification Katz, Shmuel; Peled, Doron Defining conditional independence using collapses 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, 1992 Erschienen in: Theoretical Computer Science Katz, Shmuel; Peled, Doron Verification of distributed programs using representative interleaving sequences 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. Springer Science and Business Media LLC, 1992 Erschienen in: Distributed Computing Katz, Shmuel; Peled, Doron Interleaving set temporal logic 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, 1990 Erschienen in: Theoretical Computer Science Katz, Shmuel; Peled, Doron Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: An efficient verification method for parallel and distributed programs : Preliminary version : Preliminary version 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, 1989 Erschienen in: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Katz, Shmuel; Peled, Doron Temporal Logic in Specification: Interleaving set temporal logic 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, 1989 Erschienen in: Temporal Logic in Specification Baruch, Orit; Katz, Shmuel Partially interpreted schemas for CSP programming 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, 1988 Erschienen in: Science of Computer Programming
Katz, Emilia; Katz, Shmuel FM 2005: Formal Methods: Verifying Scenario-Based Aspect 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, 2005 Erschienen in: FM 2005: Formal Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Givli, Sefi Boomerons in a 1-D lattice with only nearest-neighbor interactions 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. IOP Publishing, 2020 Erschienen in: EPL (Europhysics Letters)
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Givli, Sefi Solitary waves in a nonintegrable chain with double-well potentials 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. American Physical Society (APS), 2019 Erschienen in: Physical Review E
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Givli, Sefi The Postbuckling Behavior of Planar Elastica Constrained by a Deformable Wall 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. ASME International, 2017 Erschienen in: Journal of Applied Mechanics
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Disenfeld, Cynthia; Katz, Shmuel Lecture Notes in Computer Science: Developing and Verifying Response Specifications in Hierarchical Event-Based 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 International Publishing, 2016 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.
Katz, Shmuel; Faitelson, David The common aspect proof environment 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. Springer Science and Business Media LLC, 2012 Erschienen in: International Journal on Software Tools for Technology Transfer
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katara, Mika; Katz, Shmuel A concern architecture view for aspect-oriented software design 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. Springer Science and Business Media LLC, 2007 Erschienen in: Software & Systems Modeling
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Grumberg, Orna; Katz, Shmuel VeriTech: a framework for translating among model description notations 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. Springer Science and Business Media LLC, 2007 Erschienen in: International Journal on Software Tools for Technology Transfer
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Glusman, Marcelo; Katz, Shmuel Computer Aided Verification: Model Checking Conformance with Scenario-Based 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, 2003 Erschienen in: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Sihman, Marcelo Lecture Notes in Computer Science: Aspect Validation Using Model Checking 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, 2003 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.
Katz, Shmuel; Grumberg, Orna Lecture Notes in Computer Science: A Framework for Translating Models and 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, 2002 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.
Glusman, Marcelo; Katz, Shmuel Lecture Notes in Computer Science: Extending Memory Consistency of Finite Prefixes to Infinite Computations 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, 2001 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.
Glusman, Marcelo; Katz, Shmuel Computer Aided Verification: Mechanizing Proofs of Computation Equivalence 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: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Miller, Hillel; Katz, Shmuel Computer Aided Verification: Saving space by fully exploiting invisible transitions 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, 1996 Erschienen in: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Peled, Doron Defining conditional independence using collapses 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, 1992 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Peled, Doron Verification of distributed programs using representative interleaving sequences 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. Springer Science and Business Media LLC, 1992 Erschienen in: Distributed Computing
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Peled, Doron Interleaving set temporal logic 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, 1990 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Peled, Doron Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: An efficient verification method for parallel and distributed programs : Preliminary version : Preliminary version 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, 1989 Erschienen in: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katz, Shmuel; Peled, Doron Temporal Logic in Specification: Interleaving set temporal logic 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, 1989 Erschienen in: Temporal Logic in Specification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baruch, Orit; Katz, Shmuel Partially interpreted schemas for CSP programming 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, 1988 Erschienen in: Science of Computer Programming
> 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 (101) Wert ausschließen Bücher (14) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (5) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (4) Wert ausschließen Zentralbibliothek (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (31) Wert ausschließen Eingeschränkter Zugang (2) Wert ausschließen Ohne Angabe (77) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (84) Wert ausschließen Nicht zu entscheiden (28) Wert ausschließen Hebräisch (2) Wert ausschließen Arabisch (1) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (22) Wert ausschließen Medizin (19) Wert ausschließen Technik (8) Wert ausschließen Biologie (6) Wert ausschließen Mathematik (5) Wert ausschließen Physik (5) Wert ausschließen Allgemeines (2) Wert ausschließen Geographie (2) Wert ausschließen Geologie und Paläontologie (2) Wert ausschließen Psychologie (2) Wert ausschließen Theologie und Religionswissenschaft (2) Wert ausschließen Chemie und Pharmazie (1) Wert ausschließen Germanistik, Niederlandistik, Skandinavistik (1) Wert ausschließen Geschichte (1) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Katz, Shmuel (62) Wert ausschließen Francez, Nissim (7) Wert ausschließen Grumberg, Orna (7) Wert ausschließen Arbel, Yaron (5) Wert ausschließen Katz, Amos (5) Wert ausschließen Lotan, Chaim (5) Wert ausschließen Peled, Doron (5) Wert ausschließen Banai, Shmuel (4) Wert ausschließen Vered, Zvi (4) Wert ausschließen Abbas, Jalal (3) Wert ausschließen Abbate, Antonio (3) Wert ausschließen Abdullakutty, Jabir (3) Wert ausschließen Aboyans, Victor (3) Wert ausschließen Abu-Fadel, Mazen (3) Wert ausschließen Acevedo, Monica (3) Wert ausschließen Adamkova, Vera (3) Wert ausschließen Adamo, Antony (3) Wert ausschließen Adhyapak, Srilakshmi (3) Wert ausschließen Agarwal, Himanshu (3) Wert ausschließen Aggarwal, Rahul (3) Wert ausschließen Aguirre, Arnoldo (3) Wert ausschließen Ahmed, Hinan (3) Wert ausschließen Ahremark, Ulf (3) Wert ausschließen Aitken, Denise (3) Wert ausschließen Akatova, Evgenia (3) Wert ausschließen Akhter, Faiq (3) Wert ausschließen Ako, Junya (3) Wert ausschließen Akright, Laura (3) Wert ausschließen Akyea-Djamson, Ayim (3) Wert ausschließen Al Joundi, Tammam (3) Wert ausschließen Alan, David (3) Wert ausschließen Albert, Seals (3) Wert ausschließen Alcocer Gamba, Marco Antonio (3) Wert ausschließen Alexander, John H. (3) Wert ausschließen Alexander, Karen (3) Wert ausschließen Alings, Marco (3) Wert ausschließen Alonso, Alvaro (3) Wert ausschließen Alsweiler, Caroline (3) Wert ausschließen Amarasekera, Stanley (3) Wert ausschließen Amarasena, Naomali (3) Wert ausschließen Amidon, Thomas (3) Wert ausschließen Amir, Offer (3) Wert ausschließen Amlani, Mohamadali (3) Wert ausschließen Amosova, Ekaterina (3) Wert ausschließen Amuchastegui, Marcos (3) Wert ausschließen Andersen, Dorthe (3) Wert ausschließen Andersen, Kjell (3) Wert ausschließen Andersen, Rolf (3) Wert ausschließen Anderson, Jay (3) Wert ausschließen Ando, Kenji (3) Wert ausschließen Annam, Sharath (3) Wert ausschließen Anscombe, Russell (3) Wert ausschließen Apostolovic, Svetlana R. (3) Wert ausschließen Appel, Karl-Friedrich (3) Wert ausschließen Arandjelovic, Aleksandra (3) Wert ausschließen Araneda, Guillermo (3) Wert ausschließen Arif, Imran (3) Wert ausschließen Armaganijan, Luciana (3) Wert ausschließen Aroney, Constantine (3) Wert ausschließen Asanin, Milika R. (3) Wert ausschließen Assi, Nizar (3) Wert ausschließen Atar, Shaul (3) Wert ausschließen Athyros, Vasilios (3) Wert ausschließen Auguadro, Carla (3) Wert ausschließen Ayaz, Mohammad (3) Wert ausschließen Babić, Zdravko (3) Wert ausschließen Badreddine, Emmy (3) Wert ausschließen Bagai, Akshay (3) Wert ausschließen Bagriy, Andriy (3) Wert ausschließen Bahit, Maria Cecilia (3) Wert ausschließen Bai, Feng (3) Wert ausschließen Baldari, Duccio (3) Wert ausschließen Balinovac, Jovan (3) Wert ausschließen Ball, Eric (3) Wert ausschließen Banuru, Sridhar (3) Wert ausschließen Barakovic, Fahir (3) Wert ausschließen Baranov, Evgeny (3) Wert ausschließen Baranova, Elena (3) Wert ausschließen Barbato, Emanuele (3) Wert ausschließen Barone-Rochette, Gilles (3) Wert ausschließen Barr, Craig (3) Wert ausschließen Barraud, Pauline (3) Wert ausschließen Barrucco, Robert (3) Wert ausschließen Basart, Dirk (3) Wert ausschließen Bashir, Riyaz (3) Wert ausschließen Bata, Iqbal (3) Wert ausschließen Batushkin, Valeriy (3) Wert ausschließen Bayat, Junaid (3) Wert ausschließen Bayram Llamas, Edmundo Alfredo (3) Wert ausschließen Bayron, Carlos (3) Wert ausschließen Beauloye, Christophe (3) Wert ausschließen Bednarski, Janusz (3) Wert ausschließen Behrens, Steffen (3) Wert ausschließen Bejuit, Raphael (3) Wert ausschließen Bekkouche, Mhamed (3) Wert ausschließen Belhassane, Abdelkader (3) Wert ausschließen Beltran, Pascale (3) Wert ausschließen Benbernou, Fadela (3) Wert ausschließen Benedicto, Amparo (3) Wert ausschließen Bengrait, Nafissa (3) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Science and Business Media LLC (CrossRef) (24) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (22) Wert ausschließen Elsevier BV (CrossRef) (17) Wert ausschließen Verbunddaten SWB (14) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (6) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (3) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen AIP Publishing (CrossRef) (1) Wert ausschließen ASME International (CrossRef) (1) Wert ausschließen American Diabetes Association (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen American Society for Clinical Investigation (CrossRef) (1) Wert ausschließen American Vacuum Society (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen BMJ (CrossRef) (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Cold Spring Harbor Laboratory (CrossRef) (1) Wert ausschließen Copernicus GmbH (CrossRef) (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen Informa UK Limited (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen International Union of Crystallography (IUCr) (CrossRef) (1) Wert ausschließen JSTOR (CrossRef) (1) Wert ausschließen JSTOR Health & General Sciences (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Laser Pages Publishing Ltd. (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Mathematical Sciences Publishers (CrossRef) (1) Wert ausschließen S. Karger AG (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen