Sortiert nach
Journal of the American Planning Association, 2022-01, Vol.88 (3), p.285-287
2022
Link zum Volltext
Anthropology and humanism, 2022-06, Vol.47 (1), p.240-242
2022
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155
2016
- Link zum Volltext
ACM computing surveys, 2022-09, Vol.54 (7), p.1-38, Article 148
2022
Link zum Volltext
1st Edition 2021, 2021
Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.21-25
2023
Link zum Volltext
Meteorological applications, 2008-03, Vol.15 (1), p.3-18
2008
Link zum Volltext
1, 2011
Link zum Volltext
1st ed. 2018., 2018
Link zum Volltext
1st Edition 2021, 2021
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.549-559
2018
- Link zum Volltext
Proceedings of the 36th International Conference on Software Engineering, 2014, p.1036-1046
2014
Link zum Volltext
1st Edition 2019, 2019
Link zum Volltext
Solar energy, 2020-11, Vol.210, p.20-37
- Yang, Dazhi
- Alessandrini, Stefano
- Antonanzas, Javier
- Antonanzas-Torres, Fernando
- Badescu, Viorel
- Beyer, Hans Georg
- Blaga, Robert
- Boland, John
- Bright, Jamie M.
- Coimbra, Carlos F.M.
- David, Mathieu
- Frimane, Âzeddine
- Gueymard, Christian A.
- Hong, Tao
- Kay, Merlinde J.
- Killinger, Sven
- Kleissl, Jan
- Lauret, Philippe
- Lorenz, Elke
- van der Meer, Dennis
- Paulescu, Marius
- Perez, Richard
- Perpiñán-Lamigueiro, Oscar
- Peters, Ian Marius
- Reikard, Gordon
- Renné, David
- Saint-Drenan, Yves-Marie
- Shuai, Yong
- Urraca, Ruben
- Verbois, Hadrien
- Vignola, Frank
- Voyant, Cyril
- Zhang, Jie
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Verification
- Engineering
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic
- Computer Science, Theory & Methods
- Physical Sciences
- Formal Verification
- Computer Science, Information Systems
- Software
- Life Sciences & Biomedicine
- Algorithms
- Computer Science, Hardware & Architecture
- Computer Science, Artificial Intelligence
- Software Engineering
- Program Verification
- Exact Sciences And Technology
- Mathematical Models
Kollektion
- Ingenta
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Springer journals
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- HEAL-Link subscriptions: Springer Book Series
- Journals@Ovid Complete
- Wiley Online Library Database Model
- MEDLINE
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- EBSCOhost Business Source Ultimate
- NUS Single-Journal Subscriptions
- Taylor & Francis
- Taylor & Francis Online
Zeitschrift / Serie
- Medical Physics
- Ieee Access
- Journal Of Physics. Conference Series
- Journal Of Physics: Conference Series
- Ieee Transactions On Software Engineering
- Electronic Notes In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Weather And Forecasting
- International Journal On Software Tools For Technology Transfer
- Ifac Proceedings Volumes
Neu hinzugefügt