Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Formal methods in system design, 2017-11, Vol.51 (2), p.362-394
2017
Volltextzugriff (PDF)
Computer Aided Verification, 2004, p.15-30
2004
Volltextzugriff (PDF)
Computer Aided Verification, 2004, p.281-294
2004
Volltextzugriff (PDF)
Higher-order and symbolic computation, 2003-03, Vol.16 (1-2), p.93-149
2003
Volltextzugriff (PDF)
SIGPLAN notices, 2017, Vol.52 (1), p.599-612
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2009-05, Vol.5, Issue 2
2009
Volltextzugriff (PDF)
Proceedings of the 27th international conference on Software engineering, 2005, p.312-321
2005
Volltextzugriff (PDF)
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005, 2005, p.312-321
2005
Volltextzugriff (PDF)
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1986, p.1-13
1986
Volltextzugriff (PDF)
Perspectives on Enclosure Methods, p.133-146
Volltextzugriff (PDF)
Automatic Program Development, p.178-214
Volltextzugriff (PDF)
Engineering Theories of Software Intensive Systems, p.215-253
Volltextzugriff (PDF)
The New England journal of medicine, 2017-06, Vol.376 (25), p.2415-2426
- Carbone, David P
- Reck, Martin
- Paz-Ares, Luis
- Creelan, Benjamin
- Horn, Leora
- Steins, Martin
- Felip, Enriqueta
- van den Heuvel, Michel M
- Ciuleanu, Tudor-Eliade
- Badin, Firas
- Ready, Neal
- Hiltermann, T. Jeroen N
- Nair, Suresh
- Juergens, Rosalyn
- Peters, Solange
- Minenza, Elisa
- Wrangle, John M
- Rodriguez-Abreu, Delvys
- Borghaei, Hossein
- Blumenschein, George R
- Villaruz, Liza C
- Havel, Libor
- Krejci, Jana
- Corral Jaime, Jesus
- Chang, Han
- Geese, William J
- Bhagavatheeswaran, Prabhu
- Chen, Allen C
- Socinski, Mark A
2017
Volltextzugriff (PDF)
The lancet oncology, 2017-12, Vol.18 (12), p.1688-1700
- Iwata, Hiroji
- Chia, Stephen K L
- Bashford, Anna
- Inoue, Kenichi
- Armstrong, Anne C
- Wong, Alvin
- Buyse, Marc
- Harvey, Vernon
- Smith, John W.
- Konstantinovic, Zora Neskovic
- Rodriguez, Gladys I.
- Jáñez Martinez, Noelia
- Knoop, Ann Soegaard
- De Boer, Richard Hendry
- Rai, Yoshiaki
- Yamamoto, Naohito
- Brincat, Stephen
- Papish, Steven William
- Manalo, Yvonne
- Sorensen, Peter Grundtvig
- Aogi, Kenjiro
- Shimizu, Satoru
- Mainwaring, Paul
- Chang, Jose
- del Barco Berron, Sonia
- Dickerson, Laura C.
- Klein, Leonard M.
- Ruxer, Robert
- Veyret, Corinne
- Wagnerova, Maria
- Richards, Donald A.
- Vasileios, Asskikis
- Dourthe, Louis Marie
- Lu, Yen-Shen
- Greenspan, Andrew R.
- Gonzalez Santiago, Santiago
- Perren, Timothy John
- Yau, Chung Cheung Thomas
- Pikó, Béla
- Sato, Nobuaki
- Askoy, Sercan
- Altundag, Mustafa Kadri
- Saip, Pinar
- Bajaj, Rajesh
- Vestlev, Peter Michael
- Dank, Magdolna
- Cinieri, Saverio
- Suszko-Kazarnowicz, Malgorzata
- Yap, Yoon Sim
- Chen, Shin-Cheh
- Haley, Barbara Bacsik
- Inhorn, Roger C.
- Koynova, Tatyana
- Schneeweiss, Andreas
- Cubedo Cervera, Ricardo
- Urruticoechea Ribate, Ander
- Schwartz, Garry H.
- Mocharnuk, Robert Scott
- Alkhouri, Nabiel
- Erickson, Nicholette
- Traynor, Ann
- Volterra, Fabio
- Capo, Gerardo
- Flaherty, Lawrence E.
- Baidas, Said
- Lybaert, Willem
- Holland, David R.
- Gonzalez Jimenez, Sonia
- Vanlemmens, Laurence
- Ruggeri, Enzo Maria
- Desai, Ajit
- Nixon, David Allen
- O'Brien, Edward
- Lanier, Keith S.
- Brescia, Frankie Ann
- Richard, Vincent
- Geldhof, Kurt
- Bednarik, Otakar
- Schwedler, Kathrin
- Fries, Stefan
- Klare, Peter
- Griesinger, Frank
- Trufflandier, Nathalie
- Chetiyawardana, Anula D.
- Papandreou, Christos
- Hornyak, Lajos
- Simo, Erzsebet
- Im, Seock-Ah
- Ruit, Jan B.
- Ciltas, Aydin
- Benekli, Mustafa
- Conkright, William A.
- Ottaviano, Yvonne
- Delmas, Andrew
- Steele, Heather A.
- Bova, Abby R.
- Shirinian, Mihran
- O'Rourke, Timothy J.
- Francisco, Michael
- Carrillo Flores, Maria Regina
2017
Volltextzugriff (PDF)
BMC medical research methodology, 2022-01, Vol.22 (1), p.35-35, Article 35
- Williams, Ross D
- Markus, Aniek F
- Yang, Cynthia
- Duarte-Salles, Talita
- DuVall, Scott L
- Falconer, Thomas
- Jonnagaddala, Jitendra
- Kim, Chungsoo
- Rho, Yeunsook
- Williams, Andrew E
- Machado, Amanda Alberga
- An, Min Ho
- Aragón, María
- Areia, Carlos
- Burn, Edward
- Choi, Young Hwa
- Drakos, Iannis
- Abrahão, Maria Tereza Fernandes
- Fernández-Bertolín, Sergio
- Hripcsak, George
- Kaas-Hansen, Benjamin Skov
- Kandukuri, Prasanna L
- Kors, Jan A
- Kostka, Kristin
- Liaw, Siaw-Teng
- Lynch, Kristine E
- Machnicki, Gerardo
- Matheny, Michael E
- Morales, Daniel
- Nyberg, Fredrik
- Park, Rae Woong
- Prats-Uribe, Albert
- Pratt, Nicole
- Rao, Gowtham
- Reich, Christian G
- Rivera, Marcela
- Seinen, Tom
- Shoaibi, Azza
- Spotnitz, Matthew E
- Steyerberg, Ewout W
- Suchard, Marc A
- You, Seng Chan
- Zhang, Lin
- Zhou, Lili
- Ryan, Patrick B
- Prieto-Alhambra, Daniel
- Reps, Jenna M
- Rijnbeek, Peter R
2022
Volltextzugriff (PDF)
Clinical lymphoma, myeloma and leukemia, 2018-10, Vol.18 (10), p.e401-e419
- Mohty, Mohamad
- Lejniece, Sandra
- Beksac, Meral
- Bekadja, Mohamed Amine
- Stankovic, Svetlana
- De Stefano, Valerio
- Kochkareva, Yulia
- Laane, Edward
- Salwender, Hans
- Masliak, Zvenyslava
- Silva, João
- Louw, Vernon
- Abadi, Uri
- Couturier, Catherine
- Feys, Caroline
- Thoret-Bauchet, Florence
- Bekadja, Mohamed
- Ali, Hocine Ait
- Hamdi, Selma
- Touhami, Hadj
- Pedersen, Robert Shou
- Hein, Marju
- Moreau, Philippe
- Cartron, Guillaume
- Dine, Gérard
- Harich, Hanns-Detlev
- Illmer, Thomas
- Dörfel, Steffen
- Koenigsmann, Michael
- Schlag, Rudolf
- Uhlig, Jens
- Schütz, Stefan
- Tessen, Hans-Werner
- Mohr, Benno
- Heinrich, Bernhard
- Von Weikersthal, Ludwig Fischer
- Heßling, Jörg
- Schauer, Michael
- Dürk, Heinz
- Hess, Georg
- Matsouka, Panagiota
- Ivanyi, Janos
- Avivi, Irit
- Foa, Roberto
- Corso, Alessandro
- Ferrara, Felicetto
- Cantonetti, Maria
- Di Raimondo, Francesco
- Pizzuti, Michele
- Farina, Gabriella
- La Nasa, Giorgio
- Cangialosi, Clotilde
- Federici, Augusto
- Romano, Atelda
- Specchia, Giorgina
- Latte, Giancarlo
- Mannina, Donato
- Pečeliūnas, Valdas
- Jurgutis, Mindaugas
- Homenda, Wojciech
- Starzak-Gwozdz, Jolanta
- Komarnicki, Mieczyslaw
- Gonçalves, Cristina
- Esefyeva, Natalia
- Kochkareva, Julia
- Kaplanov, Kamil
- Laricheva, Elena
- Dergacheva, Valentina
- Nazarova, Irina
- Anchukova, Ludmila
- Ovanesova, Elena
- Gritsenko, Taras
- Kuznetsova, Irina
- Osyunikhina, Svetlana
- Serdyuk, Olga
- Karyagina, Elena
- Ivanova, Valentina
- Gutiérrez, Asunción Echeveste
- Capote, Francisco Javier
- Sanchez, Jesus Martin
- Ibañez-Garcia, Jeronima
- Herranz, Maria Jose
- Sanchez, Sara Sanchez
- Lleonart, Joan Bargay
- Martínez, Rafael
- De La Serna, Javier
- Mateos, Maria-Victoria
- Beksac, Turkey – Meral
- Aydin, Yildiz
- Bilgir, Oktay
- Ali, Ridvan
- Kyselyova, Maryna
- Dyagil, Iryna
- Yushchenko, Natalia
- Kozlov, Viktor
- Harousseau, Jean-Luc
- De la Rubia, Javier
2018
Volltextzugriff (PDF)
Rheumatology (Oxford, England), 2023-02, Vol.62 (2), p.804-814
2023
Volltextzugriff (PDF)
JMIR medical informatics, 2021-04, Vol.9 (4), p.e21547
- Reps, Jenna M
- Kim, Chungsoo
- Williams, Ross D
- Markus, Aniek F
- Yang, Cynthia
- Duarte-Salles, Talita
- Falconer, Thomas
- Jonnagaddala, Jitendra
- Williams, Andrew
- Fernández-Bertolín, Sergio
- DuVall, Scott L
- Kostka, Kristin
- Rao, Gowtham
- Shoaibi, Azza
- Ostropolets, Anna
- Spotnitz, Matthew E
- Zhang, Lin
- Casajust, Paula
- Steyerberg, Ewout W
- Nyberg, Fredrik
- Kaas-Hansen, Benjamin Skov
- Choi, Young Hwa
- Morales, Daniel
- Liaw, Siaw-Teng
- Abrahão, Maria Tereza Fernandes
- Areia, Carlos
- Matheny, Michael E
- Lynch, Kristine E
- Aragón, María
- Park, Rae Woong
- Hripcsak, George
- Reich, Christian G
- Suchard, Marc A
- You, Seng Chan
- Ryan, Patrick B
- Prieto-Alhambra, Daniel
- Rijnbeek, Peter R
2021
Volltextzugriff (PDF)
Computer Aided Verification, p.477-490
Volltextzugriff (PDF)
Computer Aided Verification, p.68-81
Volltextzugriff (PDF)
2013 IEEE Symposium on Security and Privacy, 2013, p.18-32
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Software Engineering
- Abstract Interpretation
- Humans
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Oncology
- Software
- Abstract Domain
- Api-Level Exploit
- Bounded Model Checking
- Cancer Therapies
- Capabilities
- Chemotherapy
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- Journals@Ovid Ovid Full Text
- MEDLINE
- IEEE/IET Electronic Library
- Springer Journals
- Access via ScienceDirect (Elsevier)
- Single Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford Journals
- Oxford Journals 2020 Medicine
- IngentaConnect Journals
- JSTOR All Journals
- University of California Press Journals
Zeitschrift / Serie
- Bmc Medical Research Methodology
- Clinical Lymphoma, Myeloma And Leukemia
- Formal Methods In System Design
- Higher-Order And Symbolic Computation
- Jmir Medical Informatics
- Journal Of The Society Of Architectural Historians
- Logical Methods In Computer Science
- New England Journal Of Medicine
- Rheumatology
- Sigsoft Software Engineering Notes