|
|
|
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Holub, Jan [editor.] | Žďárek, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4783Source: 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): .
|
|
|
|
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007. Proceedings / edited by László Kovács, Norbert Fuhr, Carlo Meghini. by Kovács, László [editor.] | Fuhr, Norbert [editor.] | Meghini, Carlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4675Source: 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): .
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 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 ; 802Source: 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): .
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings / edited by Shlomi Dolev, Jorge Cobb, Michael Fischer, Moti Yung. by Dolev, Shlomi [editor.] | Cobb, Jorge [editor.] | Fischer, Michael [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6366Source: 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): .
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings / edited by Marc Dacier, Michael Bailey, Michalis Polychronakis, Manos Antonakakis. by Dacier, Marc [editor.] | Bailey, Michael [editor.] | Polychronakis, Michalis [editor.] | Antonakakis, Manos [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10453 | Lecture Notes in Computer Science ; 10453Edition: 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): .
|
|
|
|
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch. by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3097Source: 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): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu. by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3317Source: 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): .
|
|
|
|
Trends in the representation theory of finite dimensional algebras : [electronic resource] 1997 Joint Summer Research Conference on Trends in the Representation Theory of Finite Dimensional Algebras, July 20-24, 1997, Seattle, Washington / Edward L. Green, Birge Huisgen-Zimmermann, editors. by Joint Summer Research Conference on Trends in the Representation Theory of Finite Dimensional Algebras (1997 : Seattle, Wash.) | Green, Edward L, 1946- | Huisgen-Zimmermann, Birge, 1946-. Series: Contemporary mathematics (American Mathematical Society) ; v. 229.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Graph Drawing [electronic resource] : 10th International Symposium, GD 2002 Irvine, CA, USA, August 26–28, 2002 Revised Papers / edited by Michael T. Goodrich, Stephen G. Kobourov. by Goodrich, Michael T [editor.] | Kobourov, Stephen G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2528Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt [editor.] | Aalst, Wil M [editor.] | Ajmone Marsan, Marco [editor.] | Franceschinis, Giuliana [editor.] | Kleijn, Jetty [editor.] | Kristensen, Lars Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7400Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Cool Stars, Stellar Systems, and the Sun [electronic resource] : Proceedings of the Fourth Cambridge Workshop on Cool Stars, Stellar Systems, and the Sun Held in Santa Fe, New Mexico, October 16–18, 1985 / edited by Michael Zeilik, David M. Gibson. by Zeilik, Michael [editor.] | Gibson, David M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 254Source: 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): .
|
|
|
|
High Performance Computing and Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings / edited by Michael Gerndt, Dieter Kranzlmüller. by Gerndt, Michael [editor.] | Kranzlmüller, Dieter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4208Source: 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): .
|
|
|
|
Mathematical Foundations of Computer Science 1988 [electronic resource] : Proceedings of the 13th Symposium Carlsbad, Czechoslovakia, August 29 – September 2, 1988 / edited by Michal P. Chytil, Václav Koubek, Ladislav Janiga. by Chytil, Michal P [editor.] | Koubek, Václav [editor.] | Janiga, Ladislav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 324Source: 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): .
|
|
|
|
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart. by Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | O’Neill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6025Source: 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): .
|
|
|
|
Pattern Recognition [electronic resource] : 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings / edited by Michael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler. by Goesele, Michael [editor.] | Roth, Stefan [editor.] | Kuijper, Arjan [editor.] | Schiele, Bernt [editor.] | Schindler, Konrad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6376Source: 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): .
|
|
|
|
Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings / edited by Hiroyuki Yoshida, David Hawkes, Michael W. Vannier. by Yoshida, Hiroyuki [editor.] | Hawkes, David [editor.] | Vannier, Michael W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7601Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond. by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 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): .
|