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...Science of computer programming, 2013-09, Vol.78 (9), p.1212-1239
2013
Volltextzugriff (PDF)
Journal of symbolic computation, 2013-01, Vol.48, p.1-36
2013
Volltextzugriff (PDF)
International journal of critical computer-based systems, 2014, Vol.5 (1/2), p.78
2014
Volltextzugriff (PDF)
Journal of symbolic computation, 2010-11, Vol.45 (11), p.1114-1143
2010
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2012-09, Vol.8 (3), p.195-212
2012
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.2, p.317-318
2010
Volltextzugriff (PDF)
Relations and Kleene Algebra in Computer Science, p.242-259
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2011, p.173-193
Volltextzugriff (PDF)
The journal of logic and algebraic programming, 2012-07, Vol.81 (5), p.606-622
2012
Volltextzugriff (PDF)
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010, 2010, p.1-8
2010
Volltextzugriff (PDF)
Atherosclerosis, 2024-08, Vol.395
2024
Volltextzugriff (PDF)
Atherosclerosis, 2024-08, Vol.395
2024
Volltextzugriff (PDF)
Synthèse (Algiers, Algeria), 2016 (32), p.22-29
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Invariant Assertions
- Invariant Functions
- Invariant Relations
- Loop Functions
- Science & Technology
- Technology
- While Loop
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Program Analysis
- Refinement Calculus
- Relational Calculus
- While Loops
- Computer Languages
- Computer Science, Software Engineering
- Computing Loop Behavior
- Equations
- Function Extraction
Kollektion
Zeitschrift / Serie
Neu hinzugefügt