Sortiert nach
J.UCS (Annual print and CD-ROM archive ed.), 2022-01, Vol.28 (2), p.160-180
2022
Link zum Volltext
J.UCS (Annual print and CD-ROM archive ed.), 2019-01 (7), p.740
2019
Link zum Volltext
PeerJ. Computer science, 2024, Vol.10, p.e1898-e1898, Article e1898
2024
Link zum Volltext
Mathematics (Basel), 2023-04, Vol.11 (8), p.1888
2023
Link zum Volltext
Mathematics (Basel), 2020-06, Vol.8 (6), p.864
2020
Link zum Volltext
IEEE access, 2017, Vol.5, p.6735-6745
2017
Link zum Volltext
The Journal of systems and software, 2020-05, Vol.163, p.110522, Article 110522
2020
Link zum Volltext
IEEE transactions on software engineering, 2014-09, Vol.40 (9), p.862-894
2014
- Link zum Volltext
Software, practice & experience, 2022-07, Vol.52 (7), p.1581-1614
2022
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-09, Vol.94 (Proc. FLACOS 2012), p.1-10
2012
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-11, Vol.100, p.152-184
2018
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-10, Vol.107, p.54-78
2019
Link zum Volltext
Information and software technology, 2013-11, Vol.55 (11), p.1925-1947
2013
Link zum Volltext
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.467-483
2006
Link zum Volltext
Lecture notes in computer science, 2006, p.87-102
2006
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-07, Vol.86
2012
Link zum Volltext
Testing Software and Systems, p.106-122
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-11, Vol.100, p.152-184
2018
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-01, Vol.85 (1), p.227-244
2016
Link zum Volltext
Journal of information and telecommunication (Print), 2017-07, Vol.1 (3), p.273-289
2017
Link zum Volltext
SOFSEM 2016: Theory and Practice of Computer Science, p.490-502
Link zum Volltext
Advances in Computational Intelligence, p.403-414
Link zum Volltext
2020 IEEE Congress on Evolutionary Computation (CEC), 2020, p.1-8
2020
Link zum Volltext
Formal Techniques for Distributed Systems, p.114-129
Link zum Volltext
Software Engineering and Formal Methods, p.125-134
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Physical Sciences
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Life Sciences & Biomedicine
- Computer Science, Software Engineering
- Sensors
- Instruments & Instrumentation
- Chemistry
- Chemistry, Analytical
- Formal Methods
- Humans
- Computer Science, Information Systems
- Visible Light Positioning
- Accuracy
- Semantics
- Angle Of Arrival
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- IEEE Xplore
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- MEDLINE
- Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Oxford University Press Journals Current
- Oxford Journals 2020 Medicine
- Publisher or Other Site
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie