IMSc Library

Lists
Public lists New Arrivals (16 September 2024) New Arrivals (01 September 2024) New Arrivals (16 August 2024) Independence Day Book Exhibition Indian leaders Post Independence New Arrivals (01 August 2024) IMSc Faculty Publications (Books) New Arrivals (19 July 2024) New Arrivals (03 July, 2024) View All
Your lists Log in to create your own lists

Log in to your account
Search history
Clear

+91-44-22543226
library@imsc.res.in

Navigation ▾

Home
About Library ▾ ▾
Library Use Policies
Floor Plans
Library User Guides
Dspace@IMSc
Purchase Suggestions
Library Events
Contact us
IMSc Website

Search :

Advanced Search

Advanced search
Tag cloud
Libraries

Log in to your account

Login: Password:

Please use your IMSc email user id and password to Login

Home
Results of search for 'su:"Concurrency"'

Refine your search

Availability
- Limit to currently available items
Authors
Holding libraries
- IMSc Library
Item types
- BOOKS
- THESIS & DISSERTATION
Series
Topics

Your search returned 15 results.

Not what you expected? Check for suggestions

Sort by:

Unhighlight Highlight

| |

			Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93 by de Bakker, J W \| de Roever, W.P \| Rozenberg, G. Series: Lecture notes in computer science ; 00803Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Current trends in concurrency, overviews and tutorials by De Bakker, J W. etal Eds. Series: Lecture notes in computer science ; 00224Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1986Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			Concurrency 88 Proceedings, Int. Conf., Hamburg, FRG, 1988 by Vogt, F H. Ed. Series: Lecture notes in computer science ; 00335Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			CONCUR '90 Proceedings, Amsterdam, The Netherlands, 1990 by Baeten, J C M. Ed \| Klop, J W. ed. Series: Lecture notes in computer science ; 00458Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			Concurrency Theory, 7th International Conference on- Proceedings, Pisa, Italy, 1996 by Montanari, Ugo. Ed \| Sassone, Vladimiro. Ed. Series: Lecture notes in computer science ; 01119Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Models for Concurrency by Abraham, Uri. Series: Algebra, Logic and Applications Series, Vol. 11Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Gordon & Breach ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 34 Call number: 681.3 ABR. Place hold Log in to add tags
			Concurrency and Parallelism, Programming, Networking, and Security : Proceedings, 2nd ASIAN 1996, Singapore by Jaffar, Joxan. Ed \| Yap, Roland H C. Ed. Series: Lecture notes in computer science ; 01179Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Concur 2000 - Concurrency Theory, Proceedings of the 11th International Conference, Univ. Park, PA, 2000 by Palamidessi, Catuscia. Ed. Series: Lecture notes in computer science ; 01877Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags
			Concurrency Verification: Introduction to Compositional and Noncompositional Methods by de Roever, William-Paul et al. Series: Cambridge tracts in theorerical computer science; 54Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 ROE. Place hold Log in to add tags
			Linear time, branching time and partial order in logics and models for concurrency : by de Bakker, J.W Ed \| de Roever, W.P. Ed \| Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00354Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			Structures in concurrency theory: Proceedings, international workshop, Berlin, May 1995 by Desel, Jorg Ed. Series: Workshops in computingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DES. Place hold Log in to add tags
			No cover image available Concur 2001 - Concurrency Theory, Proceedings of the 12th International Conference, Denmark by Larsen, Kim G. Ed \| Nielsen, Mogens. Ed. Series: Lecture notes in computer science ; 02154Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Control and synthesis of open reactive systems by Madhusudan, P [author]. Material type: Text Publication details: 2001Dissertation Note: 2001 ; Ph.D ; University of MadrasAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: UNM Th-70 . Place hold Log in to add tags
			No cover image available Models for concurrency: Local presentations for finite state distributed systems by Swarup Kumar, Mohalik [author]. Material type: Text Publication details: 1998Dissertation Note: 1998 ; Ph.D ; University of MadrasAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			No cover image available Parameterized complexity of some problems in concurrency and verification by Praveen, M [author]. Material type: Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th39 . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha