Sortiert nach
Electronic proceedings in theoretical computer science, 2019-12, Vol.310 (Proc. F-IDE 2019), p.29-34
2019
Link zum Volltext
Theoretical computer science, 2002-09, Vol.286 (2), p.153-196
2002
Link zum Volltext
Lecture notes in computer science, 2004, Vol.2960
1, 2004
Link zum Volltext
2000
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.106-120
2010
Link zum Volltext
Formal aspects of computing, 2011-03, Vol.23 (2), p.221-238
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-06, Vol.212 (Proc. WoC 2015), p.63-80
2016
Link zum Volltext
Theoretical computer science, 2018-09, Vol.741, p.44-47
2018
Link zum Volltext
Journal of computer languages (Online), 2019-02, Vol.50, p.39-48
2019
Link zum Volltext
Generative Programming and Component Engineering, 2004, p.489-490
2004
Link zum Volltext
Science of computer programming, 2015-01, Vol.97, p.2-10
2015
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation, p.296-321
Link zum Volltext
The journal of logic and algebraic programming, 2004-07, Vol.60-61, p.195-228
2004
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-02, Vol.103, p.184-212
2019
Link zum Volltext
Rewriting Logic and Its Applications, 2014, Vol.8663, p.213-229
2014
Link zum Volltext
Algebraic Methodology and Software Technology, 2002, p.21-40
2002
Link zum Volltext
Lecture notes in computer science, 2003, p.262-277
2003
Link zum Volltext
Journal of logical and algebraic methods in programming, 2017-04, Vol.88, p.174-190
2017
Link zum Volltext
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023, p.220-225
2023
Link zum Volltext
Theoretical computer science, 2007, Vol.373 (3), p.161-162
2007
Link zum Volltext
Lecture notes in computer science, 2006, p.281-295
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Humans
- Life Sciences & Biomedicine
- Computer Science
- Female
- Technology
- Computer Science, Theory & Methods
- Male
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Child
- Adult
- General & Internal Medicine
- Middle Aged
- Neurosciences & Neurology
- Programming Languages
- Software Engineering
- Theoretical Computing
Kollektion
- IngentaConnect
- SpringerLink Series
- EZB Electronic Journals Library
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- NUS Single-Journal Subscriptions
- ACM Digital Library Complete
- Oxford Journals
- BMJ_英国医学会期刊
- Oxford Journals 2020 Medicine
- SpringerNature Journals
- JSTOR
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library
- Applied Social Sciences Index & Abstracts (ASSIA)
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Science Of Computer Programming
- American Journal Of Obstetrics And Gynecology
- Neuroimage
- The New England Journal Of Medicine
- Cerebral Cortex
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Pediatric Neurology