Classify

An experimental classification web service

Powered by the Classify Web Service.

Search Results

Search Criteria: author = "Lee, Insup"
Displaying 1 to 10 of 10
Title & Author Format Holdings Editions From To
Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings by Cha, Sungdeok
DDC/LCC
  543 18 2008 2019
Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings by Alur, Rajeev, 1966-
DDC/LCC
  433 26 2001 2013
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings by Lee, Insup
DDC/LCC
  397 18 1995 1995
Handbook of real-time and embedded systems by Lee, Insup
DDC/LCC
  367 23 2007 2008
Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing : proceedings : 12-14 May, 2004, Vienna, Austria by International Symposium on Object-Oriented Real-Time Distributed Computing (7e : 2004 : Vienne, Autriche)
LCC
  259 3 2004 2004
CONCUR '95: Concurrency Theory : 6th International Conference Philadelphia, PA, USA, August 21-24, 1995 Proceedings by Lee, Insup
DDC/LCC
  32 1 1995 1995
Concurrency theory : 6th international conference ; proceedings by Lee, Insup [Editor]
LCC
  24 5 1995 2002
Storytelling as a method of active purification of memory for reconciliation among Korean Carmelites by Lee, Insup
LCC
  23 2 2018 2018
Influence of processing parameters on the characteristics of surface layers of low temperature plasma nitrocarburized AISI 630 martensitic stainless steel by Lee, Insup
DDC
  2 1 2017 2017
An analysis of the merger premium in pure stock exchange mergers : theory and empirical evidence by Lee, Insup
LCC
  2 2 1985 1986
Displaying 1 to 10 of 10
.