Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2022, Vol.13512
1, 2022
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, p.228
2022
Link zum Volltext
Formal Methods in Outer Space, 2021, p.89-107
2021
Link zum Volltext
Lecture Notes in Computer Science book series (LNCS,volume 13703), 2022, p.82-96
2022
Link zum Volltext
Nucleic acids research, 2019-01, Vol.47 (D1), p.D259
2019
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, p.152-169
2019
Link zum Volltext
Post-Quantum Cryptography - 14th International Workshop, PQCrypto 2023, Proceedings,College Park, United States,2023-08-16 - 2023-08-18, 2023, Vol.14154 LNCS
2023
Link zum Volltext
Nature reviews. Microbiology, 2019, Vol.17 (2), p.95-109
2019
Link zum Volltext
ISoLA'18, part I, volume 11244 of LNCS, pages 471-485, 2018, p.471-485
2018
Link zum Volltext
International Symposium on Leveraging Applications of Formal Methods, 2018
2018
Link zum Volltext
Journal of internal medicine, 2020-07, Vol.288 (1), p.62-81
2020
Link zum Volltext
Science of computer programming, 2020-06, Vol.192 (June), p.102428, Article 102428
2020
Link zum Volltext
Fungal diversity, 2015-09, Vol.74 (1), p.3-18
- Jayasiri, Subashini C.
- Hyde, Kevin D.
- Ariyawansa, Hiran A.
- Bhat, Jayarama
- Buyck, Bart
- Cai, Lei
- Dai, Yu-Cheng
- Abd-Elsalam, Kamel A.
- Ertz, Damien
- Hidayat, Iman
- Jeewon, Rajesh
- Jones, E. B. Gareth
- Bahkali, Ali H.
- Karunarathna, Samantha C.
- Liu, Jian-Kui
- Luangsa-ard, J. Jennifer
- Lumbsch, H. Thorsten
- Maharachchikumbura, Sajeewa S. N.
- McKenzie, Eric H. C.
- Moncalvo, Jean-Marc
- Ghobad-Nejhad, Masoomeh
- Nilsson, Henrik
- Pang, Ka-Lai
- Pereira, Olinto L.
- Phillips, Alan J. L.
- Raspé, Olivier
- Rollins, Adam W.
- Romero, Andrea I.
- Etayo, Javier
- Selçuk, Faruk
- Stephenson, Steven L.
- Suetrong, Satinee
- Taylor, Joanne E.
- Tsui, Clement K. M.
- Vizzini, Alfredo
- Abdel-Wahab, Mohamed A.
- Wen, Ting-Chi
- Boonmee, Saranyaphat
- Dai, Dong Qin
- Daranagama, Dinushani A.
- Dissanayake, Asha J.
- Ekanayaka, Anusha H.
- Fryar, S. C.
- Hongsanan, Sinang
- Jayawardena, Ruvishika S.
- Li, Wen-Jing
- Perera, Rekhani H.
- Phookamsak, R.
- de Silva, Nimali I.
- Thambugala, Kasun M.
- Tian, Qing
- Wijayawardene, Nalin N.
- Zhao, Rui-Lin
- Zhao, Qi
- Kang, Ji-Chuan
- Promputtha, Itthayakorn
2015
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, Vol.13572, p.42-59
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2018, Vol.2 (POPL), p.1-29
2018
Link zum Volltext
The 14th International Conference on Post-Quantum Cryptography,College Park, United States,2023-08-16 - 2023-08-18, 2023, Vol.14154
2023
Link zum Volltext
Operator Splitting Performance Estimation: Tight Contraction Factors and Optimal Parameter Selection
2020
Link zum Volltext
Methods in ecology and evolution, 2013-10, Vol.4 (10), p.914-919
- Bengtsson‐Palme, Johan
- Ryberg, Martin
- Hartmann, Martin
- Branco, Sara
- Wang, Zheng
- Godhe, Anna
- Wit, Pierre
- Sánchez‐García, Marisol
- Ebersberger, Ingo
- Sousa, Filipe
- Amend, Anthony
- Jumpponen, Ari
- Unterseher, Martin
- Kristiansson, Erik
- Abarenkov, Kessy
- Bertrand, Yann J. K.
- Sanli, Kemal
- Eriksson, K. Martin
- Vik, Unni
- Veldre, Vilmar
- Nilsson, R. Henrik
- Bunce, Michael
2013
Link zum Volltext
IEEE transactions on intelligent transportation systems, 2022-09, Vol.23 (9), p.16666-16675
2022
- Link zum Volltext
ISoLA'18, part IV, vol. 11247 of LNCS, pages 19-24, 2018, p.19-24
2018
Link zum Volltext
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science, 2014, Vol.8702, p.378-392
2014
Link zum Volltext
Information and software technology, 2013-08, Vol.55 (8), p.1397-1418
2013
Link zum Volltext
Artificial intelligence, 2023-12, Vol.325, p.104019, Article 104019
2023
Link zum Volltext
ISoLA (4), vol. 11247 of LNCS 2018: 275-279, 2018, p.275-279
2018
Link zum Volltext
Mycologia, 2016-11, Vol.108 (6), p.1049-1068
- Hibbett, David
- Abarenkov, Kessy
- Kõljalg, Urmas
- Öpik, Maarja
- Chai, Benli
- Cole, James
- Wang, Qiong
- Crous, Pedro
- Robert, Vincent
- Helgason, Thorunn
- Herr, Joshua R.
- Kirk, Paul
- Lueschow, Shiloh
- O'Donnell, Kerry
- Nilsson, R. Henrik
- Oono, Ryoko
- Schoch, Conrad
- Smyth, Christopher
- Walker, Donald M.
- Porras-Alfaro, Andrea
- Taylor, John W.
- Geiser, David M.
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Datavetenskap
- Computer Science
- Technology
- Science & Technology
- Data- Och Informationsvetenskap
- Naturvetenskap
- Natural Sciences
- Computer And Information Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Information Technology
- Teknikvetenskap
- Datalogi
- Informationsteknik
- Computer Science, Artificial Intelligence
- Engineering
- Mathematics
- Software Engineering
- Computer Science, Information Systems
- Physical Sciences
Kollektion
- Ingenta
- IEL
- SpringerLink Series
- EZB Free E-Journals
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Elsevier ScienceDirect Journals Complete
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid Complete
- Wiley Online Library - AutoHoldings Journals
- EBSCOhost Business Source Ultimate
- Wiley Online Library
- Taylor & Francis
- Taylor & Francis Journals Complete
- JSTOR
Zeitschrift / Serie
Neu hinzugefügt