IMSc Library catalog › Results of search for 'ccl=su:"Science" and itype:BK'

			LATIN '98, theoretical informatics: Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 proceedings by Lucchesi, Claudio L \| Moura, Arnaldo V Eds. Series: Lecture notes in computer science ; 01380Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and data structures: 6th International Workshop, WADS'99, Vancouver, Canada, August, 1999 proceedings by Dehne, Frank [et al] Eds. Series: Lecture notes in computer science ; 01663Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and data structures :5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 proceedings by Dehne, Frank et al, Eds. Series: Lecture notes in computer science ; 01272Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings by Wing, Jeannette M \| Woodcock, Jim \| Davies, Jim Eds. Series: Lecture notes in computer science ; 01708Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of computer science potential--theory--cognition by Freksa, Christian \| Jantzen,Matthias \| Valk, Rudiger Eds. Series: Lecture notes in computer science ; 01337Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings by Chlebus, Bogdan S \| Czaja, Ludwik Eds. Series: Lecture notes in computer science ; 01279Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings by Ciobanu, Gabriel \| Paun, Gheorghe Eds. Series: Lecture notes in computer science ; 01684Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings by Freuder, Eugene C Ed. Series: Lecture notes in computer science ; 01118Material 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
			Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings by Luby, Michael \| Rolim, Jose \| Serna, Maria Eds. Series: Lecture notes in computer science ; 01518Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings by Hochbaum, Dorit [et al] Eds. Series: Lecture notes in computer science ; 01671Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Models of massive parallelism: analysis of cellular automata and neural networks by Garzon, Max. Series: Texts in theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GAR. Place hold Log in to add tags
			Relational methods for computer science applications by Orlowska, Ewa \| Szalas, Andrzej Eds. Series: Studiesin fuzziness and soft computing; 65Material type: Text;Language: ; Format: print Publication details: New York ; Physica-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 13 Call number: 681.3 ORL. Place hold Log in to add tags
			Philosophical reflections and syntheses by Wigner, Eugene Paul. Edition: 1st ed.Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 44 Call number: 530.145 WIG. Place hold Log in to add tags
			Turing's connectionism investigation of neural network architectures by Teuscher, Christof. Series: Discrete mathematics and theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEU. Place hold Log in to add tags
			Parameterized and exact computation: First international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, proceedings by Downey, Rod \| Fellows, Michael \| Dehne, Frank. Series: Lecture notes in computer science ; 03162Edition: .Material type: Text;Language: ; Format: print Language: English Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Logic in computer science modelling and reasoning about systems by Huth, Michael \| Ryan, Mark. Edition: 2Material type: Text;Language: ; Format: print Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HUT. Place hold Log in to add tags
			Neural networks and analog computation beyond the turing limit by Siegelmann, Hava T. Series: Progress in theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston, Mass. ; Birkhauser ; c1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 29 Call number: 681.3.02 SIE. Place hold Log in to add tags
			Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993 by Johnson, David S \| Trick, Michael A. Series: DIMACS series in disc. maths. and theo. computer sc.; v. 26Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH. Place hold Log in to add tags
			Network flows and matching first DIMACS implementation challenge by Johnson, David S \| McGeoch, Catherine C. Eds. Series: DIMACS series in disc. maths and theo. computer sc.; v. 12Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH. Place hold Log in to add tags
			Constraints in computational logics theory and applications by Comon, Hubert \| Marche, Claude \| Treinen, Ralf. Series: Lecture notes in computer science ; 02002Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags

			LATIN '98, theoretical informatics: Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 proceedings by Lucchesi, Claudio L \| Moura, Arnaldo V Eds. Series: Lecture notes in computer science ; 01380Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and data structures: 6th International Workshop, WADS'99, Vancouver, Canada, August, 1999 proceedings by Dehne, Frank [et al] Eds. Series: Lecture notes in computer science ; 01663Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and data structures :5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 proceedings by Dehne, Frank et al, Eds. Series: Lecture notes in computer science ; 01272Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings by Wing, Jeannette M \| Woodcock, Jim \| Davies, Jim Eds. Series: Lecture notes in computer science ; 01708Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of computer science potential--theory--cognition by Freksa, Christian \| Jantzen,Matthias \| Valk, Rudiger Eds. Series: Lecture notes in computer science ; 01337Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings by Chlebus, Bogdan S \| Czaja, Ludwik Eds. Series: Lecture notes in computer science ; 01279Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings by Ciobanu, Gabriel \| Paun, Gheorghe Eds. Series: Lecture notes in computer science ; 01684Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings by Freuder, Eugene C Ed. Series: Lecture notes in computer science ; 01118Material 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
			Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings by Luby, Michael \| Rolim, Jose \| Serna, Maria Eds. Series: Lecture notes in computer science ; 01518Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings by Hochbaum, Dorit [et al] Eds. Series: Lecture notes in computer science ; 01671Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Models of massive parallelism: analysis of cellular automata and neural networks by Garzon, Max. Series: Texts in theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GAR. Place hold Log in to add tags
			Relational methods for computer science applications by Orlowska, Ewa \| Szalas, Andrzej Eds. Series: Studiesin fuzziness and soft computing; 65Material type: Text;Language: ; Format: print Publication details: New York ; Physica-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 13 Call number: 681.3 ORL. Place hold Log in to add tags
			Philosophical reflections and syntheses by Wigner, Eugene Paul. Edition: 1st ed.Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 44 Call number: 530.145 WIG. Place hold Log in to add tags
			Turing's connectionism investigation of neural network architectures by Teuscher, Christof. Series: Discrete mathematics and theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEU. Place hold Log in to add tags
			Parameterized and exact computation: First international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, proceedings by Downey, Rod \| Fellows, Michael \| Dehne, Frank. Series: Lecture notes in computer science ; 03162Edition: .Material type: Text;Language: ; Format: print Language: English Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Logic in computer science modelling and reasoning about systems by Huth, Michael \| Ryan, Mark. Edition: 2Material type: Text;Language: ; Format: print Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HUT. Place hold Log in to add tags
			Neural networks and analog computation beyond the turing limit by Siegelmann, Hava T. Series: Progress in theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston, Mass. ; Birkhauser ; c1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 29 Call number: 681.3.02 SIE. Place hold Log in to add tags
			Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993 by Johnson, David S \| Trick, Michael A. Series: DIMACS series in disc. maths. and theo. computer sc.; v. 26Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH. Place hold Log in to add tags
			Network flows and matching first DIMACS implementation challenge by Johnson, David S \| McGeoch, Catherine C. Eds. Series: DIMACS series in disc. maths and theo. computer sc.; v. 12Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH. Place hold Log in to add tags
			Constraints in computational logics theory and applications by Comon, Hubert \| Marche, Claude \| Treinen, Ralf. Series: Lecture notes in computer science ; 02002Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 726 results.