Results
|
|
|
|
Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado. by Petrenko, Alexandre | Simão, Adenilso | Maldonado, José Carlos | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6435Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann. by Barringer, Howard | Falcone, Ylies | Finkbeiner, Bernd | Havelund, Klaus | Lee, Insup | Pace, Gordon | Roşu, Grigore | Sokolsky, Oleg | Tillmann, Nikolai | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6418Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák. by Dix, Jürgen | Fisher, Michael | Novák, Peter | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6214Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu. by Dong, Jin Song | Zhu, Huibiao | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6447Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel. by Engels, Gregor | Lewerentz, Claus | Schäfer, Wilhelm | Schürr, Andy | Westfechtel, Bernhard | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5765Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. by Clarke, Edmund M | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6355Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók. by Horváth, Zoltán | Plasmeijer, Rinus | Zsók, Viktória | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6299Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. by Johnson, Michael | Pavlovic, Dusko | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6486Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / edited by H. Jaap Herik, Hiroyuki Iida, Aske Plaat. by Herik, H. Jaap | Iida, Hiroyuki | Plaat, Aske | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6515Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij. by Benz, Anton | Ebert, Christian | Jäger, Gerhard | Rooij, Robert | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6207Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. by Fernandes, João M | Lämmel, Ralf | Visser, Joost | Saraiva, João | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6491Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth. by Banerjee, Mohua | Seth, Anil | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6521Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. by Beckert, Bernhard | Marché, Claude | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6528Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa. by Domaratzki, Michael | Salomaa, Kai | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6482Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
