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...2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.888-891
2018
Volltextzugriff (PDF)
Methods in enzymology, 2021, Vol.649, p.567-585
2021
Volltextzugriff (PDF)
1st Edition 2021, 2021
Volltextzugriff (PDF)
Software Verification, 2020, Vol.12549, p.178-195
2020
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2017, Vol.10623, p.91-106
2017
Volltextzugriff (PDF)
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019, p.11-14
2019
Volltextzugriff (PDF)
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, p.765-769
2018
Volltextzugriff (PDF)
Patient safety in surgery, 2019, Vol.13, p.21-21
2019
Volltextzugriff (PDF)
The Theory of Being, 2022, p.46-61
1, 2022
Volltextzugriff (PDF)
Clinical medicine insights. Case reports, 2016, Vol.9, p.95-98
2016
Volltextzugriff (PDF)
Tuberculosis, 2023, Vol.11, p.1063-1098
- Rezaei, Nima
- Fateh, Abolfazl
- Ahmad, Aijaz
- Braley, Alexander E.
- Licona-Cassani, Cuauhtémoc
- Fast, Cynthia D.
- Pizzol, Damiano
- Perlman, David C.
- Viveros, Diana
- Fisher, Dina A.
- Butov, Dmytro
- Egelund, Eric F.
- Marimani, Musa
- Bhatt, Garima
- Mgode, Georgies
- Quaglio, Gianluca
- Mini, G.K.
- Thomas-Richardson, Govind
- Wylie, Greg
- Bermúdez, Gustavo
- Eoh, Hyungjin
- Lombard, Jason E.
- Zellweger, Jean-Pierre
- Beyene, Negussie
- Cervantes, Jorge
- Porcel, José M.
- Vaquero, Juan José
- Kamboj, Kamal
- Mussie, Kirubel Manyazewal
- Arenas, Nelson E.
- Porcel, Laura
- López-R, Marcela
- Correia-Neves, Margarida
- Fontes, Maria da Conceição
- Sant´Anna, Maria de Fátima Pombo Bazhuni
- Cañadas-Ortega, Marina
- Cardoso, Nicole
- Singh, Meenakshi
- Palmer, Mitchell V.
- Ahmad, Mohammad Naiyaz
- Seid, Mohammed Assen
- Chauhan, Monica
- Saxena, Mridula
- Oliveira, Olena
- Inlamea, Osvaldo
- Tanrıverdi, Özgür
- Boggiatto, Paola M.
- Fuso, Andrea
- Soares, Pedro
- Sell, Philip
- Murumkar, Prashant R.
- Devanandan, Praveen
- Zheng, Qi
- Lim, Rachel K.
- Aurílio, Rafaela Baroni
- Ghuge, Rahul B.
- Varón, Andrés
- Barot, Rahul R.
- Puvvada, Ranadheer Chowdary
- Duarte, Raquel
- Singh, Ravi
- Sinha, Richa
- Nora, Rina La Distia
- Zenteno-Cuevas, Roberto
- Mali, Sagar
- Trajman, Anete
- Shoughy, Samir S.
- Mishra, Sapna
- Malasala, Satyaveni
- Siadat, Seyed Davar
- Choudhary, Shalki
- Mahmoudi, Shima
- Chopra, Sidharth
- Nandi, Sisir
- Saxena, Anil Kumar
- Faisal, Sobia
- Huszár, Stanislav
- Field, Stephen K.
- Rito, Teresa
- Werf, Tjip S. van der
- Vásquez, Vanessa
- Muthukumar, Vijey Aanandhi
- Singh, Vinayak
- Hall, Walter A.
- Turgut, Yaşar Barış
- Kawabata, Yoshinori
- Reus, Yvette A. de
- Casapao, Anthony M.
- Tkachenko, Anton
- Devnikar, Anushka V.
- Moshiri, Arfa
- Dasgupta, Arunava
- Natarajan, Arvind
- Gupta, Ashish
- Jordan, Ashly E.
- Soto, Carlos Y.
- Cox, Christophe
- Sant´Anna, Clemax Couto
- Rodríguez-Silva, Cristhian N.
- Rosales, Cristian
2023
Volltextzugriff (PDF)
Leukemia & lymphoma, 2018, Vol.59 (4), p.1008-1011
2018
Volltextzugriff (PDF)
Genetic Programming, 2001, Vol.2038, p.1-10
2001
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Bug Detection
- Floating-Point Arithmetic
- Satisfiability Modulo Theories
- Software Verification
- Theory Of Computation -- Logic -- Verification By Model Checking
- 1990-2020
- Actes De Congrès
- Action Publique
- Administració De Les Explotacions Agrícoles
- Agricultural Landscape Management
- Agricultural Systems
- Agriculture
- Algorithms
- Applied Sciences
- Architecture, Space Management
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- SpringerLink Series
- ACM Digital Library Complete
- EZB Free E-Journals
- IEEE Electronic Library Online
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis eBooks A-Z
- Elsevier ScienceDirect Journals Complete
- SAGE Journals
- Springer Nature - Complete Springer Journals
- Taylor & Francis Journals
- Taylor & Francis