• English
    • Deutsch
Search 
  •   OPARU Home
  • Search
  •   OPARU Home
  • 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 181-186 of 186

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Transformational derivation of (parallel) programs using skeletons 
Boiten, E. A.; Geerling, A. M.; Partsch, H. A. (1993)
Beitrag zu einer Konferenz

The KIV-approach to Software Verification 
Reif, Wolfgang; Broy, M.; Jähnichen, S. (1995)
Teil eines Buches

Tactics in KIV 
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt (1994)
Wissenschaftlicher Artikel

The VSE Development Method - A Way to Engineer High-Assurance Software Systems 
Hutter, D. et al.; Gotzheim, B. (1995)
Beitrag zu einer Konferenz

Logik für Informatiker 
Schöning, Uwe (1995)
Buch

Algorithmen - kurz gefasst 
Schöning, Uwe (1997)
Buch

  • 1
  • . . .
  • 16
  • 17
  • 18
  • 19

About OPARU | Contact Us
Impressum | Privacy statement
 

 

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Discover

Faculty
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie (186)
Fakultät für Naturwissenschaften (3)Medizinische Fakultät (1)InstitutionInstitut für Optoelektronik (122)Institut für Programmiermethodik und Compilerbau (53)Institut für Verteilte Systeme (6)... View MorePersonEbeling, Karl Joachim (122)Michalzik, R (41)Grabherr, M (35)... View MoreResource typeBeitrag zu einer Konferenz (85)Wissenschaftlicher Artikel (82)Teil eines Buches (13)... View MoreIssue date1999 (40)1998 (35)1997 (35)1996 (24)1995 (23)1994 (17)1993 (7)1992 (4)1991 (1)University Bibliographyja (186)

About OPARU | Contact Us
Impressum | Privacy statement