|
|
|
|
Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. by Garcia-Alfaro, Joaquin [editor.] | Lafourcade, Pascal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6888Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. by Szmuc, Tomasz [editor.] | Szpyrka, Marcin [editor.] | Zendulka, Jaroslav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7054Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt. by Schmitt, Jens B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7201Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara König. by Flanagan, Cormac [editor.] | König, Barbara [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7214Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl. by Seidl, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7211Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan [editor.] | Zisman, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7212Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff. by Sakama, Chiaki [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7169Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / edited by Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis. by Artikis, Alexander [editor.] | Craven, Robert [editor.] | Kesim Çiçekli, Nihan [editor.] | Sadighi, Babak [editor.] | Stathis, Kostas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7360Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis Vos, Robert Wille. by Vos, Alexis [editor.] | Wille, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7165Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / edited by Zhenjiang Hu, Juan Lara. by Hu, Zhenjiang [editor.] | Lara, Juan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7307Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz. by Furia, Carlo A [editor.] | Nanz, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7304Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book. by Gschwind, Thomas [editor.] | Paoli, Flavio [editor.] | Gruhn, Volker [editor.] | Book, Matthias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7306Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. by Giese, Holger [editor.] | Rosu, Grigore [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7273Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CONCUR 2012 – Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski. by Koutny, Maciej [editor.] | Ulidowski, Irek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7454Source: 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): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund. by Chakraborty, Supratik [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: 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): .
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / edited by Andréa W. Richa, Christian Scheideler. by Richa, Andréa W [editor.] | Scheideler, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7596Source: 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): .
|
