Sortiert nach
Logical methods in computer science, 2017-01, Vol.13, Issue 2
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.905-916
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.290-306
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3
2019
Volltextzugriff (PDF)
Automated Deduction - CADE 26, 2017, Vol.10395, p.385-397
2017
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.101-104
Volltextzugriff (PDF)
Automated Reasoning, 2018, Vol.10900, p.346-353
2018
Volltextzugriff (PDF)
Automated Deduction – CADE 27, 2019, p.319-336
2019
Volltextzugriff (PDF)
Verified Software: Theories, Tools and Experiments, p.216-232
Volltextzugriff (PDF)
Frontiers in computer science (Lausanne), 2024-02, Vol.6
2024
Volltextzugriff (PDF)
Biological psychiatry (1969), 2023-05, Vol.93 (9), p.S208-S208
2023
Volltextzugriff (PDF)
Anesthesiology (Philadelphia), 2014-03, Vol.120 (3), p.564-578
- Villar, Juan Carlos
- Xavier, Denis
- Guyatt, Gordon
- Cruz, Patricia
- Berwanger, Otavio
- Biccard, Bruce M
- Malaga, German
- Sessler, Daniel I
- Ackland, Gareth L
- Pettit, Shirley
- Walsh, Michael
- Thomas, Sabu
- Devereaux, P J
- McQueen, Matthew J
- Chow, Clara K
- Mooney, John
- Santucci, Eliana
- Santo, Jose Amalth do Espirirto
- McAlister, Finlay
- McMurtry, Sean
- Bessissow, Amal
- Eikelboom, John
- Ganame, Javier
- Hankinson, James
- Jolly, Sanjit
- Kearon, Clive
- Mizera, Richard
- O’Donnell, Martin
- Pinthus, Jehonathan
- Simunovic, Marko
- Tandon, Vikas
- Patel, Ameen
- Raymer, Karen
- Clase, Catherine
- Jackson, Paul
- Lim, Wendy
- Mazzadi, Sergio
- Garg, Amit
- Lam, Ngan
- Roshanov, Pavel S
- Ramsey, Clare
- McKay, Andrew
- Zacharias, James
- Vásquez, Skarlett
- Castañeda, Alvaro
- Ferreira, Silvia
- Coriat, Pierre
- Goarin, Jean Pierre
- Royer, Catherine
- Daas, Georges
- Choi, Gordon Y S
- Lit, Lydia C W
- Sigamani, Alben
- Cherian, Joseph
- George, Preetha
- Schünemann, Holger
- Vizza, Enrico
- Ong, G. S Y
- Mansor, Marzida
- Rotta-Rotta, Aida
- Musial, Jacek
- Chwala, Maciej
- Cassimjee, Hussein
- Kisten, Theroshnie
- Naidoo, Prebashini
- Naidoo, Rubeshan
- Rodseth, Reitze
- Skinner, David
- Torborg, Alex
- Maestre, Mari Luz
- Santaló, Miquel
- Gonzalez, Raúl
- Pelaez, Xavier
- Varela, Alberto
- de Miguel, Angeles
- Piñeiro, Patricia
- Cusati, Gabriel
- del Barrio, Maria
- Reyes, Fidel
- Sapsford, Robert J
- Barth, Julian
- Scott, Julian
- Hall, Alistair
- Howell, Simon
- Woods, Janet
- Rushton, A
- Khan, Ahsun
- Niebrzegowska, Edyta
- Archbold, Andrew
- McAlees, Eleanor
- Reyes, Anna
- Paredes, Laura Gallego
- Sultan, Pervez
- del Arroyo, Ana Gutierrez
- Egan, Cameron
- Honar, Hooman
- Fu, Alexander Y
- Reineks, Edmunds
- Blood, Jane
- Gibson, David
2014
Volltextzugriff (PDF)
International journal of cancer, 2023-05, Vol.152 (9), p.1875-1883
2023
Volltextzugriff (PDF)
Optics express, 2019-08, Vol.27 (16), p.23059-23066
2019
Volltextzugriff (PDF)
Biological psychiatry global open science, 2023-10, Vol.3 (4), p.698-704
2023
Volltextzugriff (PDF)
Neuro-oncology (Charlottesville, Va.), 2024-06, Vol.26 (Supplement_4), p.0-0
2024
Volltextzugriff (PDF)
CHI Conference on Human Factors in Computing Systems Extended Abstracts, 2022, p.1-8
2022
Volltextzugriff (PDF)
Journal of cancer research and clinical oncology, 2024-04, Vol.150 (4), p.178-178, Article 178
2024
Volltextzugriff (PDF)
Journal of neuro-oncology, 2022-12, Vol.160 (3), p.567-576
2022
Volltextzugriff (PDF)
Neuro-oncology (Charlottesville, Va.), 2022-06, Vol.24 (Supplement_1), p.i100-i100
2022
Volltextzugriff (PDF)
Journal of the American Heart Association, 2022-10, Vol.11 (20), p.e026076-e026076
2022
Volltextzugriff (PDF)
Frontiers in cardiovascular medicine, 2023-03, Vol.10, p.1132680-1132680
- Jajcay, Nikola
- Bezak, Branislav
- Segev, Amitai
- Matetzky, Shlomi
- Jankova, Jana
- Spartalis, Michael
- El Tahlawi, Mohammad
- Guerra, Federico
- Friebel, Julian
- Thevathasan, Tharusan
- Berta, Imrich
- Pölzl, Leo
- Nägele, Felix
- Pogran, Edita
- Cader, F Aaysha
- Jarakovic, Milana
- Gollmann-Tepeköylü, Can
- Kollarova, Marta
- Petrikova, Katarina
- Tica, Otilia
- Krychtiuk, Konstantin A
- Tavazzi, Guido
- Skurk, Carsten
- Huber, Kurt
- Böhm, Allan
2023
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, Artificial Intelligence
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Confluence
- Glioma
- Humans
- Logic
- Oncology
- Pediatrics
- Science & Technology - Other Topics
- Term Rewriting
- Brain Neoplasms - Surgery
- Brain Tumors
- Cardiac & Cardiovascular Systems
- Cardiovascular System & Cardiology
- Child
Kollektion
- IngentaConnect
- EZB Free E-Journals
- Springer Book Series
- Journals@OVID
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- Springer journals
- Wiley Online Library Journals
- Oxford Journals
- Oxford Journals 2020 Medicine
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Wiley Online Library Full Collection 2018
- Optica Publishing Group Journals (Optical Society)
- Access via ScienceDirect (Elsevier)
Zeitschrift / Serie
- Neuro-Oncology
- Anesthesiology
- Biological Psychiatry
- Biological Psychiatry Global Open Science
- Frontiers In Cardiovascular Medicine
- Frontiers In Computer Science
- International Journal Of Cancer
- International Journal On Software Tools For Technology Transfer
- Journal Of Cancer Research And Clinical Oncology
- Journal Of Neuro-Oncology
Neu hinzugefügt