Sortiert nach
Verification, Model Checking, and Abstract Interpretation, p.315-334
Link zum Volltext
Lecture notes in computer science, 2015, Vol.9036, p.11-31
2015
Link zum Volltext
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28
2017
Link zum Volltext
Proceedings of the 16th International Conference on Extending Database Technology, 2013, p.683-692
2013
Link zum Volltext
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015, p.710-720
2015
Link zum Volltext
Proceedings of the ACM SIGCOMM 2022 Conference, 2022, p.365-379
2022
Link zum Volltext
ECOOP 2013 – Object-Oriented Programming, p.451-476
Link zum Volltext
SIGPLAN notices, 2016-08, Vol.51 (6), p.237-250
2016
Link zum Volltext
Journal of research of the National Institute of Standards and Technology, 2005-05, Vol.110 (3), p.279-281
2005
Link zum Volltext
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011, p.1-6
2011
Link zum Volltext
ACM transactions on computational logic, 2015-07, Vol.16 (3), p.1-27
2015
Link zum Volltext
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.360-368
2015
Link zum Volltext
Osteoarthritis and cartilage, 2024-04, Vol.32, p.S341-S342
2024
Link zum Volltext
Osteoarthritis and cartilage, 2024-04, Vol.32, p.S341-S342
2024
Link zum Volltext
European radiology, 2016-06, Vol.26 (6), p.1905-1912
2016
Link zum Volltext
Magnetic resonance imaging, 2019-01, Vol.55, p.86
2019
Link zum Volltext
PloS one, 2017-04, Vol.12 (4, Art. e0175161), p.17-12:4, Art. e0175161<17
2017
Link zum Volltext
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.223-237
2015
Link zum Volltext
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.215-222
2015
Link zum Volltext
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.199-214
2015
Link zum Volltext
Magnetic resonance imaging, 2019-01, Vol.55, p.86-92
2019
Link zum Volltext
Clinical transplantation, 2017-03, Vol.31 (3), p.np-n/a
- Beckmann, Sonja
- Nikolic, Nataša
- Denhaerynck, Kris
- Binet, Isabelle
- Koller, Michael
- Boely, Elsa
- De Geest, Sabina
- Berben, Lut
- Burkhalter, Hanna
- Claes, Veerle
- Helmy, Remon
- Kirsch, Monika
- Leppla, Lynn
- Mauthner, Oliver
- Struker, Marian
- Boehler, Annette
- Gerull, Sabine
- Huynh‐Do, Uyen
- Catana, Emmanuelle
- Simcox, Amira
- Seiler, Annina
- Klaghofer, Richard
- Künzler‐Heule, Patrizia
- Achermann, Rita
- Amico, Patrizia
- Aubert, John‐David
- Banz, Vanessa
- Beldi, Guido
- Benden, Christian
- Berger, Christoph
- Bochud, Pierre‐Yves
- Bucher, Heiner
- Bühler, Leo
- Carell, Thierry
- Chalandon, Yves
- Rougemont, Olivier
- Dickenmann, Michael
- Duchosal, Michel
- Elkrief, Laure
- Fehr, Thomas
- Ferrari‐Lacraz, Sylvie
- Garzoni, Christian
- Soccal, Paola Gasche
- Gaudet, Christophe
- Giostra, Emiliano
- Golshayan, Déla
- Hadaya, Karine
- Halter, Jörg
- Heim, Dominik
- Hess, Christoph
- Hillinger, Sven
- Hirsch, Hans H.
- Hofbauer, Günther
- Immer, Franz
- Laesser, Bettina
- Lehmann, Roger
- Lovis, Christian
- Manuel, Oriol
- Marti, Hans‐Peter
- Martin, Pierre Yves
- Meylan, Pascal
- Mohacsi, Paul
- Morel, Philippe
- Mueller, Ulrike
- Mueller, Nicolas J
- Mueller‐McKenna, Helen
- Müller, Antonia
- Müller, Thomas
- Müllhaupt, Beat
- Nadal, David
- Pascual, Manuel
- Passweg, Jakob
- Rick, Juliane
- Roosnek, Eddy
- Rosselet, Anne
- Rothlin, Silvia
- Ruschitzka, Frank
- Schanz, Urs
- Schaub, Stefan
- Schnyder, Aurelia
- Seiler, Christian
- Stampf, Susanne
- Steiger, Jürg
- Stirnimann, Guido
- Toso, Christian
- Delden, Christian
- Venetz, Jean‐Pierre
- Villard, Jean
- Wick, Madeleine
- Wilhelm, Markus
- Yerly, Patrick
2017
Link zum Volltext
Transplant international, 2022-05, Vol.35, p.10255-10255
2022
Link zum Volltext
Transplant international, 2018-11, Vol.31 (11), p.1254-1267
- Beckmann, Sonja
- Denhaerynck, Kris
- Stampf, Susanne
- Saigi‐Morgui, Nuria
- Binet, Isabelle
- Koller, Michael
- Boely, Elsa
- De Geest, Sabina
- Helmy, Remon
- Leppla, Lynn
- Luta, Xhyljeta
- Mauthner, Oliver
- Struker, Marian
- Boehler, Annette
- Gerull, Sabine
- Berben, Lut
- Huynh‐Do, Uyen
- Catana, Emmanuelle
- Seiler, Annina
- Klaghofer, Richard
- Künzler‐Heule, Patrizia
- Burkhalter, Hanna
- Achermann, Rita
- Amico, Patrizia
- Aubert, John‐David
- Banz, Vanessa
- Beldi, Guido
- Benden, Christian
- Berger, Christoph
- Bochud, Pierre‐Yves
- Bucher, Heiner
- Carell, Thierry
- Chalandon, Yves
- Rougemont, Olivier
- Dickenmann, Michael
- Duchosal, Michel
- Elkrief, Laure
- Fehr, Thomas
- Ferrari‐Lacraz, Sylvie
- Garzoni, Christian
- Soccal, Paola Gasche
- Gaudet, Christophe
- Giostra, Emiliano
- Golshayan, Déla
- Hadaya, Karine
- Halter, Jörg
- Heim, Dominik
- Hess, Christoph
- Hillinger, Sven
- Hirsch, Hans H.
- Hofbauer, Günther
- Immer, Franz
- Laesser, Bettina
- Lehmann, Roger
- Lovis, Christian
- Majno, Pietro
- Manuel, Oriol
- Marti, Hans‐Peter
- Martin, Pierre Yves
- Meylan, Pascal
- Mohacsi, Paul
- Morel, Philippe
- Mueller, Ulrike
- Mueller, Nicolas J.
- Mueller‐McKenna, Helen
- Müller, Antonia
- Müller, Thomas
- Müllhaupt, Beat
- Nadal, David
- Pascual, Manuel
- Passweg, Jakob
- Rick, Juliane
- Roosnek, Eddy
- Rosselet, Anne
- Rothlin, Silvia
- Ruschitzka, Frank
- Schanz, Urs
- Schaub, Stefan
- Schnyder, Aurelia
- Seiler, Christian
- Steiger, Jürg
- Stirnimann, Guido
- Toso, Christian
- Van Delden, Christian
- Venetz, Jean‐Pierre
- Villard, Jean
- Wick, Madeleine
- Wilhelm, Markus
- Yerly, Patrick
2018
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Humans
- Life Sciences & Biomedicine
- Artificial Intelligence
- Female
- Male
- Physical Sciences
- Ultracold Neutrons
- Adult
- Computer Science, Software Engineering
- Mathematical Theory Of Computation
- Middle Aged
- Physics
- Prospective Studies
- Surgery
- Transplantation
- Aged
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- SpringerLink Series
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- MEDLINE
- Journals@Ovid Full Text
- Wiley Online Library
- Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- American Physical Society Journals
- Elsevier ScienceDirect Journals Complete
- Publisher website
- PROLA - Physical Review Online Archive
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Applied Social Sciences Index & Abstracts (ASSIA)
- ProQuest Dissertations & Theses A&I
- Springer journals
Zeitschrift / Serie
- Physical Review. C, Nuclear Physics
- Clinical Transplantation
- Magnetic Resonance Imaging
- Osteoarthritis And Cartilage
- Transplant International
- Acm Transactions On Computational Logic
- European Radiology
- Journal Of Advanced Nursing
- Journal Of Research Of The National Institute Of Standards And Technology
- Physical Review Letters
Neu hinzugefügt