|
|
|
|
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings / edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne. by Cunningham, William H [editor.] | McCormick, S. Thomas [editor.] | Queyranne, Maurice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1084Source: 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): .
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings / edited by Friedhelm Meyer, Burkhard Monien. by Meyer, Friedhelm [editor.] | Monien, Burkhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1099Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Intelligence and Security Informatics: Biosurveillance [electronic resource] : Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007. Proceedings / edited by Daniel Zeng, Ivan Gotham, Ken Komatsu, Cecil Lynch, Mark Thurmond, David Madigan, Bill Lober, James Kvach, Hsinchun Chen. by Zeng, Daniel [editor.] | Gotham, Ivan [editor.] | Komatsu, Ken [editor.] | Lynch, Cecil [editor.] | Thurmond, Mark [editor.] | Madigan, David [editor.] | Lober, Bill [editor.] | Kvach, James [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4506Source: 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): .
|
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstädt, Dieter Kratsch, Haiko Müller. by Brandstädt, Andreas [editor.] | Kratsch, Dieter [editor.] | Müller, Haiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4769Source: 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): .
|
|
|
|
|
Analysis and Modeling of Faces and Gestures [electronic resource] : Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings / edited by S. Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong. by Zhou, S. Kevin [editor.] | Zhao, Wenyi [editor.] | Tang, Xiaoou [editor.] | Gong, Shaogang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4778Source: 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): .
|
|
|
|
|
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings / edited by Uwe Brinkschulte, Tony Givargis, Stefano Russo. by Brinkschulte, Uwe [editor.] | Givargis, Tony [editor.] | Russo, Stefano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5287Source: 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): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager. by Ouaknine, Joël [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5813Source: 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): .
|
|
|
|
|
Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings / edited by Nancy A. Lynch, Alexander A. Shvartsman. by Lynch, Nancy A [editor.] | Shvartsman, Alexander A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6343Source: 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): .
|
|
|
|
|
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by Braberman, Víctor [editor.] | Fribourg, Laurent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8053Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers / edited by Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk. by Brandstädt, Andreas [editor.] | Jansen, Klaus [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8165Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Aspects of Matrix Models by Subrata Bal [author]. Material type: Text Publication details: 2002Dissertation Note: 2002 ; Ph.D ; University of MadrasAdvisor(s): Balachandran, Sathiapalan.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Machine Learning and Interpretation in Neuroimaging [electronic resource] : 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers / edited by Irina Rish, Georg Langs, Leila Wehbe, Guillermo Cecchi, Kai-min Kevin Chang, Brian Murphy. by Rish, Irina [editor.] | Langs, Georg [editor.] | Wehbe, Leila [editor.] | Cecchi, Guillermo [editor.] | Chang, Kai-min Kevin [editor.] | Murphy, Brian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9444 | Lecture Notes in Computer Science ; 9444Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas. by Spirakis, Paul [editor.] | Tsigas, Philippas [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10616 | Lecture Notes in Computer Science ; 10616Edition: 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): .
|
