• English
    • Deutsch
Search 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • Search
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • Search
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 19

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Welcome to Constraint Handling Rules 
Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2008)
Teil eines Buches

Theorem Proving in Large Theories 
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches

ECTS und Kreditakkumulation: Das Ulmer Modell 
Gehring, Wolfgang (2003)
Teil eines Buches

As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs 
Frühwirth, Thom; Di Pierro, A.; Wiklicky, H. (2002)
Teil eines Buches

Constraints in Procedural and Concurrent Languages 
Frühwirth, Thom; Michel, L.; Schulte, C.; Rossi, F.; Beek, P. van; Walsh, T. (2006)
Teil eines Buches

Integrating Automated and Interactive Theorem Proving 
Ahrendt, W. et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches

A Programmer Friendly Modular Definition of the Semantics of Java. 
Börger, Egon; Schulte, Wolfram; Alves-Foss, J. (1999)
Teil eines Buches

Formal Methods and Tools: Introduction and Overview 
Berghammer, R.; Lakhnech, Y.; Reif, Wolfgang; Berghammer, R.; Lakhnech, Y. (1999)
Teil eines Buches

Ultra: A Learn System for the Interactive Manipulation of Functional Programs 
Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton; Cengarle, V. (2000)
Teil eines Buches

Structured specifications and interactive proofs with KIV 
Reif, Wolfgang et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches

  • 1
  • 2

About OPARU | Contact Us
Impressum | Privacy statement
 

 

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Discover

Institution
Institut für Programmiermethodik und Compilerbau (19)
PersonReif, Wolfgang (10)Bibel, W. (5)Schellhorn, Gerhard (5)... View MoreResource type
Teil eines Buches (19)
Issue date2000 - 2008 (6)1993 - 1999 (13)University Bibliographyja (19)

About OPARU | Contact Us
Impressum | Privacy statement