Sortiert nach
ACM transactions on mathematical software, 2013-04, Vol.39 (3), p.1-43
2013
Volltextzugriff (PDF)
FMTea 2019: Formal Methods Teaching, 2019, Vol.11758, p.69-80
2019
Volltextzugriff (PDF)
Software Technologies: Applications and Foundations, p.596-603
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2023-03, Vol.49 (1), p.1-31, Article 3
2023
Volltextzugriff (PDF)
Formal Methods Teaching, p.97-110
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3
2019
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2023-06, Vol.49 (2), p.1-23, Article 15
2023
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2023-03, Vol.48 (4), p.1-16, Article 47
2023
Volltextzugriff (PDF)
Formal Methods Teaching, p.212-227
Volltextzugriff (PDF)
Mathematics and computers in simulation, 2020-09, Vol.175, p.202-217
2020
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2004-06, Vol.30 (2), p.196-199
2004
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2022-03, Vol.48 (1), p.1-33, Article 2
2022
Volltextzugriff (PDF)
Optimization methods & software, 2022-05, Vol.37 (3), p.954-981
2022
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, p.458-471
2021
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2005-09, Vol.31 (3), p.302-325
2005
Volltextzugriff (PDF)
Mathematical programming computation, 2022-12, Vol.14 (4), p.781-818
2022
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2005-09, Vol.31 (3), p.397-423
2005
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2001-12, Vol.27 (4), p.422-455
2001
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2023-12, Vol.49 (4), p.1-26, Article 34
2023
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2015-06, Vol.41 (3), p.1-5
2015
Volltextzugriff (PDF)
Formal Methods Teaching, p.196-211
Volltextzugriff (PDF)
Static Analysis, p.135-159
Volltextzugriff (PDF)
Optimization methods & software, 2018-11, Vol.33 (4-6), p.1192-1206
2018
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2024-03, Vol.50 (1), p.1-34, Article 6
2024
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Mathematics
- Computer Science
- Physical Sciences
- Science & Technology
- Technology
- Computer Science, Interdisciplinary Applications
- Operations Research & Management Science
- Exact Sciences And Technology
- Algorithms
- Applied Sciences
- Computer Science, Artificial Intelligence
- Mathematics Of Computing
- Numerical Analysis
- Mathematical Methods In Physics
- Computer Science, Theory & Methods
- Mathematics And Statistics
- Computer Science; Control Theory; Systems
- Optimization
Kollektion
- Ingenta
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- SpringerLink Series
- IngentaConnect Journals
- ACM Digital Library
- IEEE Xplore
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Taylor & Francis Journals Complete
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Single Journals
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
Zeitschrift / Serie
Neu hinzugefügt