|
|
|
|
|
|
|
Finite Mathematics Practical Applications by Johnson, David B | Mowry, Thomas A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: USA Brooks/Cole Publishing company 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 23 Call number: 51 JOH.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. by Bravetti, Mario [editor.] | Kloul, Leïla [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3670Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Orthogonal Polynomials and their Applications [electronic resource] : Proceedings of an International Symposium held in Segovia, Spain, Sept. 22–27, 1986 / edited by Manuel Alfaro, Jesús S. Dehesa, Francisco J. Marcellan, José L. Rubio de Francia, Jaime Vinuesa. by Alfaro, Manuel [editor.] | Dehesa, Jesús S [editor.] | Marcellan, Francisco J [editor.] | Rubio de Francia, José L [editor.] | Vinuesa, Jaime [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1329Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Stochastic Processes in Classical and Quantum Systems [electronic resource] : Proceedings of the 1st Ascona-Como International Conference, Held in Ascona, Ticino (Switzerland), June 24–29, 1985 / edited by S. Albeverio, G. Casati, D. Merlini. by Albeverio, S [editor.] | Casati, G [editor.] | Merlini, D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 262Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider. by Gutin, Gregory [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8246Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski. by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2988Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Applied Computing [electronic resource] : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings / edited by Suresh Manandhar, Jim Austin, Uday Desai, Yoshio Oyanagi, Asoke K. Talukder. by Manandhar, Suresh [editor.] | Austin, Jim [editor.] | Desai, Uday [editor.] | Oyanagi, Yoshio [editor.] | Talukder, Asoke K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3285Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithms and Data Structures [electronic resource] : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings / edited by Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack. by Dehne, Frank [editor.] | López-Ortiz, Alejandro [editor.] | Sack, Jörg-Rüdiger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3608Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet. by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Torenvliet, Leen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3526Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / edited by Isabelle Bloch, Alfredo Petrosino, Andrea G. B. Tettamanzi. by Bloch, Isabelle [editor.] | Petrosino, Alfredo [editor.] | Tettamanzi, Andrea G. B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3849Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Leonardis, Aleš [editor.] | Bischof, Horst [editor.] | Pinz, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3954Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|