[Search form] [Info about the database] [Search tips]

Biblio: the search term projektkod=2665 results in 3 hits

1. Rönkkö, Mauno / Institutionen för informationsbehandling / Project
  Differential equations as actions / Mauno Rönkkö, Anders P. Ravn.
- In: Hybrid systems V : Fifth International Hybrid Systems Workshop : final program and abstracts HS'97, University of Notre Dame, Notre Dame, IN 46556, USA, September 11-13, 1997 / [University of Notre Dame]. - Notre Dame, IN : University of Notre Dame, 1997, s. 145-150.

2. Sere, Kaisa / Institutionen för informationsbehandling / Project
  Data refinement of remote procedures / K. Sere, M. Waldén.
- In: Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23-6, 1997 : proceedings / Martín Abadi, Takayaso Ito (eds.). - Berlin : Springer, cop. 1997, s. 267-294. - (Lecture notes in computer science ; 1281). Kongress: International Symposium on Theorethical Aspects of Computer Software (3 : 1997 : Sendai).
ISBN 3-540-63388-X
3. Waldén, Marina / Institutionen för informationsbehandling / Project
  Data refinement of remote procedures / K. Sere, M. Waldén.
- In: Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23-6, 1997 : proceedings / Martín Abadi, Takayaso Ito (eds.). - Berlin : Springer, cop. 1997, s. 267-294. - (Lecture notes in computer science ; 1281). Kongress: International Symposium on Theorethical Aspects of Computer Software (3 : 1997 : Sendai).
ISBN 3-540-63388-X