close
1.

図書
図書
1. Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Furio Honsell, Marino Miculan (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2030
所蔵情報: loading…
2.

図書
図書
2. Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Jerzy Tiuryn (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1784
所蔵情報: loading…
3.

図書
図書
3. Lectures on systems, control, and information : lectures at the Morningside Center of Mathematics
Lei Guo and Stephen S.-T. Yau, editors
出版情報: Providence, R.I. : American Mathematical Society , [Cambridge, Mass.] : International Press, c2000
シリーズ名: AMS/IP studies in advanced mathematics ; v. 17
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the 38th IEEE Conference on Decision and Control : December 7-10, 1999 : Crowne Plaza Hotel & Resort, Phoenix, Arizona, USA (v. 1 : softbound - v. 5 : CD-Rom)
IEEE Control Systems Society
出版情報: Piscataway : IEEE Service Center, c1999
所蔵情報: loading…
5.

図書
図書
5. Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Wolfgang Thomas (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1578
所蔵情報: loading…
6.

図書
図書
6. Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
Maurice Nivat (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1378
所蔵情報: loading…
7.

図書
図書
7. Systems and control in the twenty-first century (: Boston ; : Basel)
Christopher I. Byrnes ... [et al.], editors
出版情報: Boston : Birkhäuser, c1997
シリーズ名: Systems & control
Progress in systems and control theory ; v. 22
所蔵情報: loading…
8.

図書
図書
8. Dynamics of complex interacting systems
edited by Eric Goles and Servet Martínez
出版情報: Dordrecht : Kluwer Academic, c1996
シリーズ名: Nonlinear phenomena and complex systems ; v. 2
所蔵情報: loading…
9.

図書
図書
9. Proceedings of the 34th IEEE Conference on Decision and Control : December 13-15, 1995, New Orleans Hilton Riverside, New Orleans, Louisiana, USA (: set - v. 4 : pbk)
IEEE Control Systems Society
出版情報: Piscataway : IEEE Service Center, c1995
所蔵情報: loading…
10.

図書
図書
10. Proceedings of the 33rd IEEE Conference on Decision and Control, December 14-16, 1994, Buena Vista Palace at Walt Disney Resort, Lake Buena Vista, Florida, USA (v. 1 - v. 4 : pbk)
IEEE Control Systems Society
出版情報: Piscataway : IEEE Service Center, c1994
所蔵情報: loading…