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...Evolvable Systems: From Biology to Hardware, 2010, p.169-180
2010
Volltextzugriff (PDF)
Computer science journal of Moldova, 2023-12, Vol.31 (3(93)), p.395-408
2023
Volltextzugriff (PDF)
Multimedia tools and applications, 2024-05, Vol.83 (15), p.46531-46556
2024
Volltextzugriff (PDF)
Journal of symbolic computation, 2017-05, Vol.80, p.125-163
2017
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2017-12, Vol.93, p.68-91
2017
Volltextzugriff (PDF)
Hybrid Artificial Intelligent Systems, 2017, Vol.10334, p.415-426
2017
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2016, Vol.9942, p.134-151
2016
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-01, Vol.85 (1), p.98-120
2016
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2014, Vol.8663, p.97-112
2014
Volltextzugriff (PDF)
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.451-474
2015
Volltextzugriff (PDF)
Computational Linguistics and Intelligent Text Processing, 2010, p.638-647
2010
Volltextzugriff (PDF)
Software Language Engineering, 2013, p.281-301
2013
Volltextzugriff (PDF)
2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2020, p.286-293
2020
Volltextzugriff (PDF)
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017, p.129-136
2017
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2014-06, Vol.304, p.81-96
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Symbolic Execution
- Logic In Computer Science
- Logic
- Programming Languages
- Reachability Logic
- Science & Technology - Other Topics
- Computer Programming / Software Development
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Engineering
- Engineering, Electrical & Electronic
- Mathematics
- Mathematics, Applied
- Maude
- Path Condition
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IEEE/IET Electronic Library (IEL)
- Access via ScienceDirect (Elsevier)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Full Text
- Springer journals
Zeitschrift / Serie
- Journal Of Logical And Algebraic Methods In Programming
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Computer Science Journal Of Moldova
- Electronic Notes In Theoretical Computer Science
- Journal Of Symbolic Computation
- Multimedia Tools And Applications