|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
Combinatorial Optimization — Eureka, You Shrink! [electronic resource] : Papers Dedicated to Jack Edmonds 5th International Workshop Aussois, France, March 5–9, 2001 Revised Papers / edited by Michael Jünger, Gerhard Reinelt, Giovanni Rinaldi. by Jünger, Michael [editor.] | Reinelt, Gerhard [editor.] | Rinaldi, Giovanni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2570Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Security Protocols [electronic resource] : 10th International Workshop, Cambridge, UK, April 17-19, 2002. Revised Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2845Source: 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): .
|
|
|
|
Graph Drawing [electronic resource] : 9th International Symposium, GD 2001 Vienna, Austria, September 23–26, 2001 Revised Papers / edited by Petra Mutzel, Michael Jünger, Sebastian Leipert. by Mutzel, Petra [editor.] | Jünger, Michael [editor.] | Leipert, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2265Source: 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): .
|
|
|
|
Computer Security — ESORICS 2002 [electronic resource] : 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14–16, 2002 Proceedings / edited by Dieter Gollmann, Günther Karjoth, Michael Waidner. by Gollmann, Dieter [editor.] | Karjoth, Günther [editor.] | Waidner, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2502Source: 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): .
|
|
|
|
Modern Advanced Mathematics for Engineers by Mitin, Vladimir V | Romanov, Dmitri A | Polis, Michael P. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York John Wiley & Sons 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 15 Call number: 51 MIT.
|
|
|
|
Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3364Source: 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): .
|
|
|
|
Advances in Intelligent Data Analysis V [electronic resource] : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003. Proceedings / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt. by R. Berthold, Michael [editor.] | Lenz, Hans-Joachim [editor.] | Bradley, Elizabeth [editor.] | Kruse, Rudolf [editor.] | Borgelt, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2810Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
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): .
|
|
|
|
Security Protocols [electronic resource] : 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings / edited by Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Harbison, William S [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1550Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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): .
|
|
|
|
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): .
|
|
|
|
Security Protocols [electronic resource] : 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers / edited by Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe. by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Crispo, Bruno [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2467Source: 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): .
|
|
|
|
|
|
|
|
Algorithms – ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings / edited by Lars Arge, Michael Hoffmann, Emo Welzl. by Arge, Lars [editor.] | Hoffmann, Michael [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4698Source: 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): .
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings / edited by Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi. by Li, Xiaodong [editor.] | Kirley, Michael [editor.] | Zhang, Mengjie [editor.] | Green, David [editor.] | Ciesielski, Vic [editor.] | Abbass, Hussein [editor.] | Michalewicz, Zbigniew [editor.] | Hendtlass, Tim [editor.] | Deb, Kalyanmoy [editor.] | Tan, Kay Chen [editor.] | Branke, Jürgen [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5361Source: 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): .
|
|
|
|
Abdominal Imaging. Computation and Clinical Applications [electronic resource] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier. by Yoshida, Hiroyuki [editor.] | Warfield, Simon [editor.] | Vannier, Michael W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8198Source: 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): .
|
|
|
|
Database Programming Languages [electronic resource] : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers / edited by Marcelo Arenas, Michael I. Schwartzbach. by Arenas, Marcelo [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4797Source: 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): .
|