|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic methodology and software technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, proceedings by Johnson, Michael | Vene, Varmo Eds. Series: Lecture notes in computer science ; 04019Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Implementation and application of automata 13th international conference, CIAA 2008 San Francisco, CA, USA, July 2008 proceedings by Ibarra, Oscar H, Ed | Ravikumar, Bala, Ed. Series: Lecture notes in computer science ; 05148Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
Computer science - theory and applications by Diekert, Volker, Ed | Volkov, Mikhail V, Ed | Voronkov, Andrei, Ed. Series: Lecture notes in computer science ; 04649Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer-Verlag ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical theory and computational practice 5th conference on computability in Europe, CiE2009, Heldelberg, Germany, july 19-24, 2009 proceedings by Ambos-spies, Klaus, Ed | Lowe, Benedikt, Ed | Merkle, Wolfgang, Ed. Series: Lecture notes in computer science ; 05635Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer - Verlag ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
Language and automata theory and applications third international conference, LATA 2009 Tarragona, Spain, April 2-8, 2009 proceedings by Dediu, Adrian Horia, Ed | Ionescu, Armand Mihai, Ed | Martin-Vide, Carlos, Ed. Series: Lecture notes in computer science ; 05457Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer-Verlag ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
|
