[Sökformulär] [Info om databasen] [Söktips]

Biblio: söktermen projektkod=2665 gav 3 träffar


1. Rönkkö, Mauno / Institutionen för informationsbehandling / Projekt
  Differential equations as actions / Mauno Rönkkö, Anders P. Ravn.
- Ingår i: 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 / Projekt
  Data refinement of remote procedures / K. Sere, M. Waldén.
- Ingår i: 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 / Projekt
  Data refinement of remote procedures / K. Sere, M. Waldén.
- Ingår i: 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