Zum Inhalt springen
-
Vardi, Kristin [VerfasserIn]Ein Universum im Klebstoff : die Schriftstellerin Angelika Klüssendorf ...Schließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.2018
Erschienen in: Kreuzer ; (2018), 3, Seite 114
Sächsische Bibliografie -
Vardi, Kristin [VerfasserIn]Unter dem weiten Leipziger Himmel : ein Zwickauer, der nach Leipzig kommt und Kabarettist, Schriftsteller und Teil der berühmten Leipziger Sechs wird: Bernd-Lutz LangeSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.2018
Erschienen in: Kreuzer ; (2018), 2, Seite 98
Sächsische Bibliografie -
Vardi, Kristin [VerfasserIn]Zwischen den Zeilen : der Lyriker Andreas Reimann ...Schließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.2018
Erschienen in: Kreuzer ; (2018), 5, Seite 114
Sächsische Bibliografie -
Vardi, Kristin [VerfasserIn]Zwischen den Zeilen : wir haben widerstanden : mit Musik, mit Kunst, mit Spiel - durch das Tragende unserer IdeenSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.2018
Erschienen in: Kreuzer ; (2018), 1, Seite 98
Sächsische Bibliografie -
Vardi, Kristin [Sonstige Person, Familie und Körperschaft]Geburtstag am Seerosenteich - [1. Aufl.]Schließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.Leipzig: Göbel, 2010
-
Vardi, Kristin [VerfasserIn]; Schleyer, Susanne [FotografIn]Zwischen den Zeilen : Gert Neumann : endlich Zeit für Fragen an der semantischen MauerSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.2018
Erschienen in: Kreuzer ; (2018), 6, Seite 98
Sächsische Bibliografie -
Rozier, Kristin Yvonne; Vardi, Moshe Y.Hardware and Software: Verification and Testing: Deterministic Compilation of Temporal Safety Properties in Explicit State Model CheckingOnline ansehenSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.Springer Berlin Heidelberg, 2013
Erschienen in: Hardware and Software: Verification and Testing
-
Rozier, Kristin Y.; Vardi, Moshe Y.Lecture Notes in Computer Science: A Multi-encoding Approach for LTL Symbolic Satisfiability CheckingOnline ansehenSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.Springer Berlin Heidelberg, 2011
Erschienen in: Lecture Notes in Computer Science
-
Rozier, Kristin Y.; Vardi, Moshe Y.LTL satisfiability checkingOnline ansehenSchließ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, 2010
Erschienen in: International Journal on Software Tools for Technology Transfer
-
Li, Jianwen; Vardi, Moshe Y.; Rozier, Kristin Y.Computer Aided Verification: Satisfiability Checking for Mission-Time LTLOnline ansehenSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.Springer International Publishing, 2019
Erschienen in: Computer Aided Verification
-
Tabakov, Deian; Rozier, Kristin Y.; Vardi, Moshe Y.Optimized temporal monitors for SystemCOnline ansehenSchließ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: Formal Methods in System Design
-
Dureja, Rohit; Li, Jianwen; Pu, Geguang; Vardi, Moshe Y.; Rozier, Kristin Y.Lecture Notes in Computer Science: Intersection and Rotation of Assumption Literals Boosts Bug-FindingOnline ansehenSchließ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: Lecture Notes in Computer Science
-
Li, Jianwen; Dureja, Rohit; Pu, Geguang; Rozier, Kristin Yvonne; Vardi, Moshe Y.Computer Aided Verification: SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate ReachabilityOnline ansehenSchließen
> Merkliste
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.Springer International Publishing, 2018
Erschienen in: Computer Aided Verification
-
Thunnissen, Bernardien T. M. J.; Gemke, Reinoud J. B. J.; Veenhuizen, Loes; Haasnoot, Krijn; van Vught, A. Johannes; Van Herreweghe, Inae; Van Nieuwenhove, Kristin; Maes, Viviane; Ramet, José; Radunović, T.; Tatić, M.; Komarčević, A.; Stokić, A.; Mišković, S.; Paret, Gideon; Vaknin, Zvi; Peleg, Edna; Rosenthal, Talma; Vardi, Amir; Mayan, Chaim; Barzilay, Zohar; Suominen, P.; Korpela, R.; Kuisma, M.; [...]Cardiopulmonary resuscitation/EmergenciesOnline ansehenSchließ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, 1996
Erschienen in: Intensive Care Medicine
-
Ramirez, E.; Hernádez, A.; Ham, E.; Barrón, B. L.; Ding, S. W.; Li, W. X.; Shi, B. J.; Symons, R. H.; Li, Q.; Ryu, K. H.; Palukaitis, P.; Kaplan, I. B.; Palukaitis, P.; Kaplan, I. B.; Palukaitis, P.; Gal-On, A.; Kunhara, J.; Otsubo, T.; Tomaru, K.; Tsuda, S.; Kinta, M.; Lin, T.; Johnson, J. E.; Porta, C.; [...]Abstracts of presentations on plant protection issues at the xth international congress of virology : August 11–16,1996 Binyanei haOoma, Jerusalem, Israel Part 2 Plenary Lectures : August 11–16,1996 Binyanei haOoma, Jerusalem, Israel Part 2 Plenary LecturesOnline ansehenSchließ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, 1997
Erschienen in: Phytoparasitica
-
Beal, Jacob; Farny, Natalie G.; Haddock-Angelli, Traci; Selvarajah, Vinoo; Baldwin, Geoff S.; Buckley-Taylor, Russell; Gershater, Markus; Kiga, Daisuke; Marken, John; Sanchania, Vishal; Sison, Abigail; Workman, Christopher T.; Pehlivan, Meryem; Roige, Biel Badia; Aarnio, Tiu; Kivisto, Samu; Koski, Jessica; Lehtonen, Leevi; Pezzutto, Denise; Rautanen, Pauliina; Bian, Weixin; Hu, Zhiyuan; Liu, Zhihao; Liu, Zi; [...]Author Correction: Robust estimation of bacterial cell count from optical densityOnline ansehenSchließ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, 2020
Erschienen in: Communications Biology
-
Beal, Jacob; Farny, Natalie G.; Haddock-Angelli, Traci; Selvarajah, Vinoo; Baldwin, Geoff S.; Buckley-Taylor, Russell; Gershater, Markus; Kiga, Daisuke; Marken, John; Sanchania, Vishal; Sison, Abigail; Workman, Christopher T.; Pehlivan, Meryem; Roige, Biel Badia; Aarnio, Tiu; Kivisto, Samu; Koski, Jessica; Lehtonen, Leevi; Pezzutto, Denise; Rautanen, Pauliina; Bian, Weixin; Hu, Zhiyuan; Liu, Zhihao; Liu, Zi; [...]Robust estimation of bacterial cell count from optical densityOnline ansehenSchließ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, 2020
Erschienen in: Communications Biology