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...2007 edition., 2007
Volltextzugriff (PDF)
Nature physics, 2017-12, Vol.13 (12), p.1158-1162
2017
Volltextzugriff (PDF)
Physical review letters, 2020-01, Vol.124 (1), p.010504-010504, Article 010504
2020
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2019-05, Vol.45 (5), p.489-506
2019
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2022-09, Vol.48 (9), p.3280-3296
2022
Volltextzugriff (PDF)
IEEE transactions on vehicular technology, 2019-07, Vol.68 (7), p.6903-6916
2019
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2019-03, Vol.64 (3), p.1265-1272
2019
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2011-09, Vol.20 (4), p.1-64
2011
Volltextzugriff (PDF)
IEEE Communications surveys and tutorials, 2019-01, Vol.21 (2), p.1275-1313
2019
Volltextzugriff (PDF)
Artificial intelligence, 2018-11, Vol.264, p.1-26
2018
Volltextzugriff (PDF)
Engineering with computers, 2019-04, Vol.35 (2), p.567-577
2019
Volltextzugriff (PDF)
Pattern recognition letters, 2019-04, Vol.121, p.113-122
2019
Volltextzugriff (PDF)
Theory of computing systems, 2019-05, Vol.63 (4), p.715-808
2019
Volltextzugriff (PDF)
The Astronomical journal, 2015-10, Vol.150 (4), p.1-13
2015
Volltextzugriff (PDF)
Monthly notices of the Royal Astronomical Society, 2017-02, Vol.465 (1), p.746-746
- Sanchez, C
- Clampitt, J
- Kovacs, A
- Jain, B
- Garcia-Bellido, J
- Nadathur, S
- Gruen, D
- Hamaus, N
- Huterer, D
- Vielzeuf, P
- Amara, A
- Bonnett, C
- DeRose, J
- Hartley, W G
- Jarvis, M
- Lahav, O
- Miquel, R
- Rozo, E
- Rykoff, E S
- Sheldon, E
- Wechsler, R H
- Zuntz, J
- Abbott, T M C
- Abdalla, F B
- Annis, J
- Benoit-Levy, A
- Bernstein, G M
- Bernstein, R A
- Bertin, E
- Brooks, D
- Buckley-Geer, E
- Rosell, A Carnero
- Kind, M Carrasco
- Carretero, J
- Crocce, M
- Cunha, C E
- D'Andrea, C B
- da Costa, L N
- Desai, S
- Diehl, H T
- Dietrich, J P
- Doel, P
- Evrard, A E
- Neto, A Fausti
- Flaugher, B
- Fosalba, P
- Frieman, J
- Gaztanaga, E
- Gruendl, R A
- Gutierrez, G
- et. al
2017
Volltextzugriff (PDF)
Journal of physics. Conference series, 2021-03, Vol.1827 (1), p.12098
2021
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2018-11, Vol.44 (11), p.1039-1069
2018
Volltextzugriff (PDF)
International journal of computer vision, 2019-06, Vol.127 (6-7), p.845-862
2019
Volltextzugriff (PDF)
Monthly notices of the Royal Astronomical Society, 2016-09, Vol.461 (2), p.1431-1450
- Rozo, E.
- Rykoff, E. S.
- Abate, A.
- Bonnett, C.
- Crocce, M.
- Davis, C.
- Hoyle, B.
- Leistedt, B.
- Peiris, H. V.
- Wechsler, R. H.
- Abbott, T.
- Abdalla, F. B.
- Banerji, M.
- Bauer, A. H.
- Benoit-Lévy, A.
- Bernstein, G. M.
- Bertin, E.
- Brooks, D.
- Buckley-Geer, E.
- Burke, D. L.
- Capozzi, D.
- Rosell, A. Carnero
- Carollo, D.
- Kind, M. Carrasco
- Carretero, J.
- Castander, F. J.
- Childress, M. J.
- Cunha, C. E.
- D'Andrea, C. B.
- Davis, T.
- DePoy, D. L.
- Desai, S.
- Diehl, H. T.
- Dietrich, J. P.
- Doel, P.
- Eifler, T. F.
- Evrard, A. E.
- Neto, A. Fausti
- Flaugher, B.
- Fosalba, P.
- Frieman, J.
- Gaztanaga, E.
- Gerdes, D. W.
- Glazebrook, K.
- Gruen, D.
- Gruendl, R. A.
- Honscheid, K.
- James, D. J.
- Jarvis, M.
- Kim, A. G.
- Kuehn, K.
- Kuropatkin, N.
- Lahav, O.
- Lidman, C.
- Lima, M.
- Maia, M. A. G.
- March, M.
- Martini, P.
- Melchior, P.
- Miller, C. J.
- Miquel, R.
- Mohr, J. J.
- Nichol, R. C.
- Nord, B.
- O'Neill, C. R.
- Ogando, R.
- Plazas, A. A.
- Romer, A. K.
- Roodman, A.
- Sako, M.
- Sanchez, E.
- Santiago, B.
- Schubnell, M.
- Sevilla-Noarbe, I.
- Smith, R. C.
- Soares-Santos, M.
- Sobreira, F.
- Suchyta, E.
- Swanson, M. E. C.
- Thaler, J.
- Thomas, D.
- Uddin, S.
- Vikram, V.
- Walker, A. R.
- Wester, W.
- Zhang, Y.
- da Costa, L. N.
2016
Volltextzugriff (PDF)
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.109-119
2018
Volltextzugriff (PDF)
Concurrency and computation, 2019-02, Vol.31 (3), p.n/a
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Program Verification
- Computer Science, Software Engineering
- Software
- Engineering
- Computer Science, Theory & Methods
- Software Engineering
- Verification
- Computer Programs
- Engineering, Electrical & Electronic
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Theory Of Computation
- Algorithms
- Mathematical Models
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Programming Languages
- Computer Science, Information Systems
- Computer Simulation
Kollektion
- Ingenta.com
- ACM Digital Library
- IEEE Xplore
- EZB-FREE-00999 freely available EZB journals
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- SpringerLink Series
- Elsevier ScienceDirect Journals Collection
- IngentaConnect Journals
- Business Source Ultimate
- Journals@Ovid Ovid Full Text
- Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Publisher website
- MEDLINE
- AIP Journals Complete
- SAGE Journals
Zeitschrift / Serie
- Ieee Transactions On Software Engineering
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- International Journal On Software Tools For Technology Transfer
- Acm Transactions On Programming Languages And Systems
- Sigplan Notices
- Formal Methods In System Design
- Communications Of The Acm
- Software Testing, Verification & Reliability
- Formal Aspects Of Computing
Neu hinzugefügt