Skip to main content
IMSc Library
Lists
Public lists
New Arrivals (22 October 2024)
New Arrivals (03 July, 2024)
New Arrivals (01 October 2024)
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)
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
▾
▾
Objectives
Collections
Facilities
Library Services
Library Staff
Library Use Policies
Floor Plans
Library User Guides
Dspace@IMSc
Purchase Suggestions
Library Events
Contact us
IMSc Website
Search :
Library catalog
Title
Author
Subject
ISBN
Series
Call number
Publication year
Publisher
Barcode/ACCN NO
-- All Item type --
BOOKS
JOURNALS(PRINT)
E-BOOKS
E-JOURNALS
THESIS
CDROM
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 'ccl=au:"Borger,E. et al Eds."'
Refine your search
Availability
Limit to currently available items
Authors
Borger,E. et al Eds
Holding libraries
IMSc Library
Item types
BOOKS
Series
Lecture notes in com...
Lecture notes in com...
Topics
Computer Science
Computer Science Log...
Your search returned 2 results.
Not what you expected? Check for
suggestions
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
|
|
Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings
by
Borger,E. et al Eds.
Series:
Lecture notes in computer science ; 00533
Material type:
Text
;Language:
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin
;
Springer Verlag
;
1990
Availability:
Items available for loan:
IMSc Library
(1).
Location(s):
Second floor, Rack No: 48, Shelf No: 13
Call number:
681 LNCS
.
Place hold
Log in to add tags
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991
by
Borger,E. et al Eds.
Series:
Lecture notes in computer science ; 00626
Material type:
Text
;Language:
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin
;
Springer-Verlag
;
1992
Availability:
Items available for loan:
IMSc Library
(1).
Location(s):
Second floor, Rack No: 48, Shelf No: 14
Call number:
681 LNCS
.
Place hold
Log in to add tags
The Institute of Mathematical Sciences, Chennai, India
Powered by
Koha