|
|
|
|
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. by Audebaud, Philippe [editor.] | Paulin-Mohring, Christine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5133Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Combinatorics and Computer Science [electronic resource] : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers / edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis. by Deza, Michel [editor.] | Euler, Reinhardt [editor.] | Manoussakis, Ioannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1120Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Structural and Syntactical Pattern Recognition [electronic resource] : 6th International Workshop, SSPR '96 Leipzig, Germany, August 20–23, 1996 Proceedings / edited by Petra Perner, Patrick Wang, Azriel Rosenfeld. by Perner, Petra [editor.] | Wang, Patrick [editor.] | Rosenfeld, Azriel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1121Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert. by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1123Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert. by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1124Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Functional Programming [electronic resource] : Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text / edited by John Launchbury, Erik Meijer, Tim Sheard. by Launchbury, John [editor.] | Meijer, Erik [editor.] | Sheard, Tim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1129Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Wright, Joakim [editor.] | Grundy, Jim [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1125Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent Trends in Data Type Specification [electronic resource] : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers / edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl. by Haveraaen, Magne [editor.] | Owe, Olaf [editor.] | Dahl, Ole-Johan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1130Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings / edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska. by Alferes, José Jülio [editor.] | Pereira, Luís Moniz [editor.] | Orlowska, Ewa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
