Search
Login
UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Technical Reports (Computer Science)
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Add filters
Filters
Use filters to refine the search results.
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 6 out of a total of 6 results for collection: Technical Reports (Computer Science).
(0.003 seconds)
Now showing items 1-6 of 6
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS
ntimm@cs.up.ac.za
(
Department of Computer Science: University of Pretoria
,
2018-08-01
)
Parameterised three-valued model checking
Timm, Nils
;
Gruner, Stefan
(
University of Pretoria
,
2015-10-07
)
Book Review: Eric Winsberg: Science in the Age of Computer Simulation
Gruner, Stefan
(
Springer-Verlag
,
2013
)
Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr
Gruner, Stefan
(
RWTH Aachen: Fachgruppe Informatik
,
1998
)
Schemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller Integrationswerkzeuge
Gruner, Stefan
(
RWTH Aachen: Fachgruppe Informatik
,
1997
)
On the Benefits of Deforestation - a Quantitative Analysis (EXCERPT)
Gruner, Stefan
(
TECTUM
,
1997
)
Now showing items 1-6 of 6
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of UPSpace
Communities & Collections
Issue Date
Authors
Titles
Subjects
Supervisor
UP Author
UP Postgraduate
Type
This Collection
Issue Date
Authors
Titles
Subjects
Supervisor
UP Author
UP Postgraduate
Type
My Account
Login
Register
UPSpace Workspace
Discover
Author
Gruner, Stefan (5)
Timm, Nils (1)
Subject
Algebraic optimisation (1)
Book review (1)
Computer simulations (1)
Deforestation (1)
Empirical analysis (1)
Eric Winsberg (1)
Formal methods (1)
Functional programming (1)
Graph grammars (1)
Graph schemas (1)
... View More
Date Issued
2010 - 2018 (3)
1997 - 1999 (3)
Has File(s)
true (6)