Search history [x]
Your search returned 4 results.
by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].
by Alur, Rajeev, 1966- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].
by Dunin-Kºeplicz, Barbara [author.] | Verbrugge, Rineke | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.].
by Gnesi, Stefania, 1954- | Margaria-Steffen, Tiziana, 1964- | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.].
International Institute of Information Technology, Bangalore 26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.
Powered by Koha