![[Sökformulär]](/icon/sok.gif){kind=icon}
![[Info om databasen]](/icon/info2.gif){kind=icon}
![[Söktips]](/icon/soktips.gif){kind=icon}
| 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 |