|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo. by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 510Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings / edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Maarten Wegdam. by Havinga, Paul [editor.] | Lijding, Maria [editor.] | Meratnia, Nirvana [editor.] | Wegdam, Maarten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4272Source: 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): .
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5126Source: 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): .
|
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings / edited by Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy. by Boavida, Fernando [editor.] | Monteiro, Edmundo [editor.] | Mascolo, Saverio [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4517Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rough Sets and Intelligent Systems Paradigms [electronic resource] : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings / edited by Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron. by Kryszkiewicz, Marzena [editor.] | Peters, James F [editor.] | Rybinski, Henryk [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4585Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings / edited by Ashish Goel, Klaus Jansen, José D. P. Rolim, Ronitt Rubinfeld. by Goel, Ashish [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Rubinfeld, Ronitt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5171Source: 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): .
|
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers / edited by Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Daniel Paulusma. by Broersma, Hajo [editor.] | Erlebach, Thomas [editor.] | Friedetzky, Tom [editor.] | Paulusma, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5344Source: 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): .
|
|
|
|
|
Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings / edited by Volker Diekert, Dirk Nowotka. by Diekert, Volker [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5583Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński. by Královič, Rastislav [editor.] | Niwiński, Damian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5734Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. by Hsu, Ching-Hsien [editor.] | Yang, Laurence T [editor.] | Park, Jong Hyuk [editor.] | Yeo, Sang-Soo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6081Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I / edited by Weili Wu, Ovidiu Daescu. by Wu, Weili [editor.] | Daescu, Ovidiu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6508Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Continued fractions : [electronic resource] from analytic number theory to constructive approximation : a volume in honor of L.J. Lange : continued fractions, from analytic number theory to constructive approximation, May 20-23, 1998, University of Missouri-Columbia / Bruce C. Berndt, Fritz Gesztesy, editors. by Lange, L. J. (Leo Jerome), 1928- | Berndt, Bruce C, 1939- | Gesztesy, Fritz, 1953-. Series: Contemporary mathematics (American Mathematical Society) ; v. 236.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, 1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Scalar, Vector, and Matrix Mathematics Theory, Facts, and Formulas by Bernstein, Dennis S. Edition: Revised and Expanded Edition;Language: English Language: English Publication details: Princeton Princeton University Press 2018Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 40 Call number: 514.14 BER.
|
|
|
|
|
Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Fco. Javier Toledo-Moreo, Hojjat Adeli. by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9108 | Lecture Notes in Computer Science ; 9108Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Intelligent Data Analysis XVI [electronic resource] : 16th International Symposium, IDA 2017, London, UK, October 26–28, 2017, Proceedings / edited by Niall Adams, Allan Tucker, David Weston. by Adams, Niall [editor.] | Tucker, Allan [editor.] | Weston, David [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10584 | Lecture Notes in Computer Science ; 10584Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
