Sortiert nach
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2014., 2013
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
Proceedings of the 3rd International Workshop on Quantum Software Engineering, 2022, p.16-23
2022
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation
2023
Link zum Volltext
1st ed. 2018., 2018
Link zum Volltext
Publications of the Astronomical Society of the Pacific, 2022-11, Vol.134 (1041), p.114501
- The CASA Team
- Bean, Ben
- Bhatnagar, Sanjay
- Castro, Sandra
- Meyer, Jennifer Donovan
- Emonts, Bjorn
- Garcia, Enrique
- Garwood, Robert
- Golap, Kumar
- Villalba, Justo Gonzalez
- Harris, Pamela
- Hayashi, Yohei
- Hoskins, Josh
- Hsieh, Mingyu
- Jagannathan, Preshanth
- Kawasaki, Wataru
- Keimpema, Aard
- Kettenis, Mark
- Lopez, Jorge
- Marvil, Joshua
- Masters, Joseph
- McNichols, Andrew
- Mehringer, David
- Miel, Renaud
- Moellenbrock, George
- Montesino, Federico
- Nakazato, Takeshi
- Ott, Juergen
- Petry, Dirk
- Pokorny, Martin
- Raba, Ryan
- Rau, Urvashi
- Schiebel, Darrell
- Schweighart, Neal
- Sekhar, Srikrishna
- Shimada, Kazuhiko
- Small, Des
- Steeb, Jan-Willem
- Sugimoto, Kanako
- Suoranta, Ville
- Tsutsumi, Takahiro
- van Bemmel, Ilse M.
- Verkouter, Marjolein
- Wells, Akeem
- Xiong, Wei
- Szomoru, Arpad
- Griffith, Morgan
- Glendenning, Brian
- Kern, Jeff
2022
Link zum Volltext
Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023, p.649-663
2023
Link zum Volltext
ACM transactions on mathematical software, 2020-09, Vol.46 (3), p.1-28, Article 26
2020
Link zum Volltext
Monthly notices of the Royal Astronomical Society, 2022, Vol.514 (1), p.77-104
- Maxted, P F L
- Ehrenreich, D
- Wilson, T G
- Alibert, Y
- Cameron, A Collier
- Hoyer, S
- Sousa, S G
- Olofsson, G
- Bekkelien, A
- Deline, A
- Delrez, L
- Bonfanti, A
- Borsato, L
- Alonso, R
- Anglada Escudé, G
- Barrado, D
- Barros, S C C
- Baumjohann, W
- Beck, M
- Beck, T
- Benz, W
- Billot, N
- Biondi, F
- Bonfils, X
- Brandeker, A
- Broeg, C
- Bárczy, T
- Cabrera, J
- Charnoz, S
- Corral Van Damme, C
- Csizmadia, Sz
- Davies, M B
- Deleuil, M
- Demangeon, O D S
- Demory, B-O
- Erikson, A
- Florén, H G
- Fortier, A
- Fossati, L
- Fridlund, M
- Futyan, D
- Gandolfi, D
- Gillon, M
- Guedel, M
- Guterman, P
- Heng, K
- Isaak, K G
- Kiss, L
- Laskar, J
- Lecavelier des Etangs, A
- Lendl, M
- Lovis, C
- Magrin, D
- Nascimbeni, V
- Ottensamer, R
- Pagano, I
- Pallé, E
- Peter, G
- Piotto, G
- Pollacco, D
- Pozuelos, F J
- Queloz, D
- Ragazzoni, R
- Rando, N
- Rauer, H
- Reimers, C
- Ribas, I
- Salmon, S
- Santos, N C
- Scandariato, G
- Simon, A E
- Smith, A M S
- Steller, M
- Swayne, M I
- Szabó, Gy M
- Ségransan, D
- Thomas, N
- Udry, S
- Van Grootel, V
- Walton, N A
2022
Link zum Volltext
Sensors (Basel, Switzerland), 2023-03, Vol.23 (7), p.3470
2023
Link zum Volltext
Computers & mathematics with applications (1987), 2021-01, Vol.81 (1), p.407-422
2021
Link zum Volltext
The Astrophysical journal, 2021-04, Vol.911 (1), p.45
2021
Link zum Volltext
Analytical chemistry (Washington), 2020-01, Vol.92 (2), p.1898-1907
2020
Link zum Volltext
Electronics (Basel), 2024-05, Vol.13 (9), p.1690
2024
Link zum Volltext
Sensors (Basel, Switzerland), 2022-12, Vol.22 (24), p.9999
2022
Link zum Volltext
Acta crystallographica. Section D, Biological crystallography., 2019-10, Vol.75 (10), p.861-877
- Liebschner, Dorothee
- Afonine, Pavel V.
- Baker, Matthew L.
- Bunkóczi, Gábor
- Chen, Vincent B.
- Croll, Tristan I.
- Hintze, Bradley
- Hung, Li-Wei
- Jain, Swati
- McCoy, Airlie J.
- Moriarty, Nigel W.
- Oeffner, Robert D.
- Poon, Billy K.
- Prisant, Michael G.
- Read, Randy J.
- Richardson, Jane S.
- Richardson, David C.
- Sammito, Massimo D.
- Sobolev, Oleg V.
- Stockwell, Duncan H.
- Terwilliger, Thomas C.
- Urzhumtsev, Alexandre G.
- Videau, Lizbeth L.
- Williams, Christopher J.
- Adams, Paul D.
2019
Link zum Volltext
Mathematical programming computation, 2019-03, Vol.11 (1), p.1-36
2019
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Software
- Mathematics
- Mathematics, Applied
- Computer Science, Software Engineering
- Engineering
- Chemistry
- Computer Science, Interdisciplinary Applications
- Life Sciences & Biomedicine
- Algorithms
- Physics
- Exact Sciences And Technology
- Engineering, Electrical & Electronic
- Biochemistry & Molecular Biology
- Physics, Applied
- Statistics & Probability
- Chemistry, Multidisciplinary
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- SpringerLink (Online service)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE Xplore
- Oxford University Press Journals Current
- Wiley Online Library Journals
- Wiley Online Library Full Collection 2018
- EBSCOhost Business Source Ultimate
- SpringerLink Series
- NUS Single-Journal Subscriptions
- ACM数字图书馆
- Taylor & Francis
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie
Neu hinzugefügt