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...Sensors (Basel, Switzerland), 2024-01, Vol.24 (3), p.903
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36
2012
Volltextzugriff (PDF)
Automated software engineering, 2022-05, Vol.29 (1), p.7, Article 7
2022
Volltextzugriff (PDF)
Theory and practice of logic programming, 2024-01, Vol.24 (1), p.57-109
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2021-11, Vol.123, p.100700, Article 100700
2021
Volltextzugriff (PDF)
Horizonte sanitario (en linea), 2016-03, Vol.15 (1), p.5
2016
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100727, Article 100727
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100728, Article 100728
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2023-08, Vol.134, p.100887, Article 100887
2023
Volltextzugriff (PDF)
Theory and practice of logic programming, 2020-01, Vol.20 (1), p.44-98
2020
Volltextzugriff (PDF)
Specification, Algebra, and Software, 2014, p.129-150
2014
Volltextzugriff (PDF)
Formal Methods, 2023, Vol.14000, p.240-259
2023
Volltextzugriff (PDF)
Recent Trends in Algebraic Development Techniques, 2019, Vol.11563, p.27-44
2019
Volltextzugriff (PDF)
Horizonte sanitario (en linea), 2016-03, Vol.15 (1), p.5
2016
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2020, Vol.12328, p.156-175
2020
Volltextzugriff (PDF)
Virtual reality : the journal of the Virtual Reality Society, 2024-03, Vol.28 (1), p.64, Article 64
2024
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2018, Vol.11152, p.59-75
2018
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, 2015, Vol.8941, p.17-31
2015
Volltextzugriff (PDF)
Formal methods in system design, 2005-09, Vol.27 (1-2), p.113-172
2005
Volltextzugriff (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2002, 2002, Vol.2529, p.292-307
2002
Volltextzugriff (PDF)
Formal methods in system design, 2005-09, Vol.27 (1-2), p.113-172
2005
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2016, Vol.9942, p.98-117
2016
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2016, Vol.9938, p.141-156
2016
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, 2011, p.216-225
2011
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2024, p.145-162
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Maude
- Rewriting Logic
- Life Sciences & Biomedicine
- Physical Sciences
- Computer Science, Software Engineering
- Chemistry
- Computer Science, Artificial Intelligence
- Humans
- Model Checking
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Artificial Intelligence
- Cadiz
Kollektion
- Ingenta E-Journals
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ScienceDirect Journals (5 years ago - present)
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- IngentaConnect Journals
- Springer Online Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Wiley Online Library All Journals
- ACM Digital Library
- Single Journals
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Dalton Transactions : An International Journal Of Inorganic Chemistry
- Nihon Kenchiku Gakkai Keikakukei Ronbunshū
- Journal Of Architecture And Planning
- Journal Of Logical And Algebraic Methods In Programming
- Gaceta Médica De México
- Inorganic Chemistry
- La Salud En Tabasco
- Nihon Kenchiku Gakkai Keikakukei Ronbunshu/nihon Kenchiku Gakkai Keikaku-Kei Rombunshū
- Revista Internacional De Ciencias Del Deporte
Neu hinzugefügt