|
|
|
Public Key Cryptography – PKC 2011 [electronic resource] : 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011. Proceedings / edited by Dario Catalano, Nelly Fazio, Rosario Gennaro, Antonio Nicolosi. by Catalano, Dario [editor.] | Fazio, Nelly [editor.] | Gennaro, Rosario [editor.] | Nicolosi, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6571Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Service-Oriented Computing [electronic resource] : ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers / edited by E. Michael Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato. by Maximilien, E. Michael [editor.] | Rossi, Gustavo [editor.] | Yuan, Soe-Tsyr [editor.] | Ludwig, Heiko [editor.] | Fantinato, Marcelo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6568Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns / edited by James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun. by Noble, James [editor.] | Johnson, Ralph [editor.] | Avgeriou, Paris [editor.] | Harrison, Neil B [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6510Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / edited by Brian Malloy, Steffen Staab, Mark Brand. by Malloy, Brian [editor.] | Staab, Steffen [editor.] | Brand, Mark [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6563Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings / edited by Andreas Koch, Ram Krishnamurthy, John McAllister, Roger Woods, Tarek El-Ghazawi. by Koch, Andreas [editor.] | Krishnamurthy, Ram [editor.] | McAllister, John [editor.] | Woods, Roger [editor.] | El-Ghazawi, Tarek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6578Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Recent Advances in Constraints [electronic resource] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers / edited by Javier Larrosa, Barry O’Sullivan. by Larrosa, Javier [editor.] | O’Sullivan, Barry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6384Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Biometrics and ID Management [electronic resource] : COST 2101 European Workshop, BioID 2011, Brandenburg (Havel), Germany, March 8-10, 2011. Proceedings / edited by Claus Vielhauer, Jana Dittmann, Andrzej Drygajlo, Niels Christian Juul, Michael C. Fairhurst. by Vielhauer, Claus [editor.] | Dittmann, Jana [editor.] | Drygajlo, Andrzej [editor.] | Juul, Niels Christian [editor.] | Fairhurst, Michael C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6583Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / edited by Alex Biryukov, Guang Gong, Douglas R. Stinson. by Biryukov, Alex [editor.] | Gong, Guang [editor.] | Stinson, Douglas R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6544Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz. by Barner, Sharon [editor.] | Harris, Ian [editor.] | Kroening, Daniel [editor.] | Raz, Orna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6504Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan. by Bravetti, Mario [editor.] | Bultan, Tevfik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6551Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar. by Cooper, Keith [editor.] | Mellor-Crummey, John [editor.] | Sarkar, Vivek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6548Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Human Aspects of Visualization [electronic resource] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers / edited by Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl. by Ebert, Achim [editor.] | Dix, Alan [editor.] | Gershon, Nahum D [editor.] | Pohl, Margit [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6431Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings / edited by John Salerno, Shanchieh Jay Yang, Dana Nau, Sun-Ki Chai. by Salerno, John [editor.] | Yang, Shanchieh Jay [editor.] | Nau, Dana [editor.] | Chai, Sun-Ki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6589Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe. by Barthe, Gilles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6602Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|