عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2561
QA
76
.
L28
Vol
.
2561
کتابخانه
محل استقرار
Relational methods in computer science :6th International Conference, RelMICS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, Ocotrber 16-21, 2001 : revised papers
2001: Oisterwijk, Netherlands
Berlin
Springer-Verlag
2002
x: 313p. : ill
Lecture notes in computer science ;1652
Includes bibliographies
ISBN: 3540003150
Harrie C.M. de Swart )ed.(
1
Congresses ، Computer science
Congresses ، Relationism
QA
76
.
L28
Vol
.
2561
AU
AU Zuck, Lenore D., 1958-
CO European Cooperation in the Field of Scientific and Technical Research )Organization(
CO Workshop of COST Action 472 TARSKI 1st: 2001: Oisterwijk, Netherlands
TI
SE
RelMICS
