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, 2000-06, Vol.16 (3), p.227-270
2000
Volltextzugriff (PDF)
Theoretical computer science, 2001, Vol.253 (1), p.27-60
2001
Volltextzugriff (PDF)
Journal of computer security, 2007-01, Vol.15 (6), p.691-715
2007
Volltextzugriff (PDF)
2006 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2006, p.143-151
2006
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.415-418
2005
Volltextzugriff (PDF)
International Conference on Intelligent User Interfaces: Proceedings of the 10th international conference on Intelligent user interfaces; 10-13 Jan. 2005, 2005, p.90-97
2005
Volltextzugriff (PDF)
Proceedings of the 2004 ACM workshop on Formal methods in security engineering, 2004, p.66-74
2004
Volltextzugriff (PDF)
Automated Deduction—CADE-11, 2005, p.163-177
2005
Volltextzugriff (PDF)
Constraints in Computational Logics, 2005, p.34-49
2005
Volltextzugriff (PDF)
Computer Aided Verification, 1998, p.293-304
1998
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.158-178
2003
Volltextzugriff (PDF)
Frontiers of Combining Systems, 2000, Vol.1794, p.151-170
2000
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.208-219
2005
Volltextzugriff (PDF)
Security Protocols, 2004, p.158-178
2004
Volltextzugriff (PDF)
1999
Volltextzugriff (PDF)
Automated Deduction—CADE-14, 1997, p.101-115
1997
Volltextzugriff (PDF)
Automated Deduction—CADE-11, 2005, p.721-725
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2002-12, Vol.70 (4), p.112-127
2002
Volltextzugriff (PDF)
Transformation-Based Reactive Systems Development, 1997, p.22-43
1997
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, Vol.1526, p.273-292
1998
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, 1998, Vol.1548, p.28-41
1998
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 1997, p.334-350
1997
Volltextzugriff (PDF)
Computer Science Today, 2005, p.218-233
2005
Volltextzugriff (PDF)
The New England journal of medicine, 2021-08, Vol.385 (8), p.683-694
- Choueiri, Toni K
- Tomczak, Piotr
- Park, Se Hoon
- Venugopal, Balaji
- Ferguson, Thomas
- Chang, Yen-Hwa
- Hajek, Jaroslav
- Symeonides, Stefan N
- Lee, Jae Lyun
- Sarwar, Naveed
- Thiery-Vuillemin, Antoine
- Gross-Goupil, Marine
- Mahave, Mauricio
- Haas, Naomi B
- Sawrycki, Piotr
- Gurney, Howard
- Chevreau, Christine
- Melichar, Bohuslav
- Kopyltsov, Evgeniy
- Alva, Ajjai
- Burke, John M
- Doshi, Gurjyot
- Topart, Delphine
- Oudard, Stephane
- Hammers, Hans
- Kitamura, Hiroshi
- Bedke, Jens
- Perini, Rodolfo F
- Zhang, Pingye
- Imai, Kentaro
- Willemann-Rogerio, Jaqueline
- Quinn, David I
- Powles, Thomas
2021
Volltextzugriff (PDF)
The lancet oncology, 2022-09, Vol.23 (9), p.1133-1144
- Tomczak, Piotr
- Venugopal, Balaji
- Ferguson, Thomas
- Chang, Yen-Hwa
- Gross-Goupil, Marine
- Burgents, Joseph E
- Xu, Lei
- Imai, Kentaro
- Choueiri, Toni K
- Lin, Tzu-Ping
- Symeonides, Stefan N.
- Sawrycki, Piotr
- Haas, Naomi B.
- Sarwar, Naveed
- Thiery-Vuillemin, Antoine
- Doshi, Gurjyot
- Melichar, Bohuslav
- Kopyltsov, Evgeniy
- Hammers, Hans-Joerg
- Menezes, Juliana de Janoski
- Winquist, Eric W.
- Hamzaj, Alketa
- Karaszewska, Boguslawa
- Lipatov, Oleg N.
- McDermott, David
- Kochuparambil, Samith T.
- Davis, Ian D.
- Peltola, Katriina
- Sabbatini, Roberto
- Shkolnik, Michail I.
- McCune, Steven
- Yeung, Carrie
- Laguerre, Brigitte
- Fomin, Eugeniy A.
- Zakharia, Yousef
- Yorio, Jeffrey T.
- Yanez Ruiz, Eduardo
- Kimura, Go
- Nishimura, Kazuo
- Masumori, Naoya
- Kato, Haruaki
- Sala Gonzalez, Nuria
- Chiu, Kun-Yuan
- Atkins, Michael B.
- Heath, Elisabeth
- Feyerabend, Susan
- Numakura, Kazuyuki
- Zukov, Ruslan
- Maroto Rey, Pablo Jose
- Chang, Chao-Hsiang
- Vengalil, Salil
- Waddell, Tom S.
- Hauke, Ralph
- Jayram, Gautam
- Estay, Angela
- Rubiano, Juan Andres
- Anai, Satoshi
- Tsunemori, Hiroyuki
- Sikora-Kupis, Bozena
- Gunderson, Elizabeth
- Koletsky, Alan
- Chen, Kevin
- Agrawal, Manish
- Parnis, Francis
- Barbosa, Fernando Maciel
- Faucher, Genevieve
- Iqbal, Nayyer
- Hanna, Nawar
- Ibanez, Carolina
- Manneh, Ray
- Holeckova, Petra
- Ronkainen, Hanna
- Abadie-Lacourtoisie, Sophie
- Goebell, Peter J.
- Hoefner, Thomas
- Schultze-Seemann, Wolfgang
- Yokomizo, Akira
- Matsukawa, Yoshihisa
- Murakami, Yoji
- Kim, Miso
- Szczylik, Cezary
- Humphreys, Alison C.
- Kumar, Birendra
- Karam, Jose Antonio
- Fleming, Mark
- Zarba, Juan Jose
- Leiva, Viviana E.
- Antonio Junior, Joao Neif
- Rocha, Roberto Odebrecht
- Muniz, David
- Brust, Leandro
- Graham, Jeffrey
- Borchiellini, Delphine
- McDermott, Ray
- Miura, Yuji
- Prow, Debra M.
- Hashemi-Sadraei, Neda
- Kendall, Stephan D.
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Humans
- Model Check
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Medicine, General & Internal
- General & Internal Medicine
- Surgery
- Software
- Adverse Events
- Aged
- Carcinoma, Renal Cell - Drug Therapy
- Computer Science, Software Engineering
- Female
- Humanities, Multidisciplinary
Kollektion
- EZB Electronic Journals Library
- IngentaConnect
- IngentaConnect Journals
- Springer Book Series
- MEDLINE
- Journals@Ovid
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Publisher or Other Site
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter eBooks
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- PAIS Index
- EBSCOhost Business Source Ultimate
- Oxford journals
- ProQuest Dissertations & Theses A&I
- Oxford Journals 2020 Medicine
- Jstor Complete Legacy
Zeitschrift / Serie
- Revista Historia De La Educación Latinoamericana
- The New England Journal Of Medicine
- Fronteras De La Historia
- Historia Y Memoria
- Revista De Educación E Investigación En Emergencias
- Revista Medíca De Chile
- Desafios
- New England Journal Of Medicine/the new England Journal Of Medicine
- Revista Chilena De Cardiología
- Revista Chilena De Infectología
Neu hinzugefügt