3101.
Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler.
by CAI 2011 (4th : 2011 : Linz, Austria) | Winkler, Franz [edt.] .
Material type: Text; 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: National Library of India (1).
3102.
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.
by Silva, Leila [edt.] | Simao, Adenilso [edt.] | Davies, Jim [edt.] | SBMF 2010 (13th : 2010 : Natal, Brazil) .
Material type: Text; 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: National Library of India (1).
3103.
Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 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 Dimitra Giannakopoulou, Fernando Orejas.
by FASE 2011 (14th : 2011 : Saarbrücken, Germany) | Orejas, Fernando [edt.] | Giannakopoulou, Dimitra [edt.] | ETAPS 2011 (2011 : Saarbrücken, Germany) .
Material type: Text; 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: National Library of India (1).
3104.
Tarkasaṁgrah / तर्कसंग्रह / अन्नम भट्ट ; भूमिका महादेव राजाराम बोदस Annam Bhatta
by अन्नम भट्ट.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: बम्बे : गवर्नमेन्ट सेन्ट्रल बुक डिप्पो, 1897Availability: Items available for loan: National Library of India
[Call number: A.C/S 160 A ]
(1).
3105.
Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
by Rahonis, George [edt.] | Kuich, Werner [edt.] .
Material type: Text; 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: National Library of India (1).
3106.
Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
by International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland) | Sofronie-Stokkermans, Viorica [edt.] | Bjørner, Nikolaj [edt.] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Other title: CADE-23.Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
3107.
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige.
by ECMFA 2011 (7th : 2011 : Birmingham, UK) | France, Robert B [edt.] .
Material type: Text; 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: National Library of India (1).
3108.
Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel.
by International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavik, Iceland) | Dingel, Juergen | Bruni, Roberto | International Federation for Information Processing | IFIP Working Group 6.1 | International Conference on Formal Description Techniques (31st : 2011 : Reykjavik, Iceland) | International Federated Conferences on Distributed Computing Techniques (6th : 2011 : Reykjavik, Iceland) .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Other title: FMOODS 2011 | FORTE 2011.Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
3109.
Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 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 Martin Hofmann.
by FOSSACS 2011 (14th : 2011 : Saarbrücken, Germany) | Hofmann, Martin [edt.] | ETAPS 2011 (2011 : Saarbrücken, Germany) .
Material type: Text; 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: National Library of India (1).
3110.
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite...[et al.]
by CLIMA XII (12th : 2011 : Barcelona, Spain) | Leite, João [edt.] .
Material type: Text; 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: National Library of India (1).
3111.
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte.
by International Symposium on Formal Methods (17th : 2011 : Limerick, Ireland) | Schulte, Wolfram [edt.] | Butler, Michael [edt.] .
Material type: Text; 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: National Library of India (1).
3112.
Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas.
by European Performance Engineering Workshop (8th : 2011 : Borrowdale, UK) | Thomas, Nigel.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Other title: EPEW 2011.Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
3113.
Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati.
by DLT 2011 (15th : 2011 : Milan, Italy) | Leporati, Alberto [edt.] | Mauri, Giancarlo [edt.] .
Material type: Text; 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: National Library of India (1).
3114.
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi.
by International SPIN Workshop (18th : 2011 : Snowbird, USA) | Musuvathi, Madanlal [edt.] | Groce, Alex [edt.] .
Material type: Text; 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: National Library of India (1).
3115.
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...[et.al]
by Barner, Sharon [edt.] | HVC 2010 (6th : 2010 : Haifa, Israel) .
Material type: Text; 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: National Library of India (1).
3116.
Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling.
by ER 2011 (30th : 2011 : Brussels, Belgium) | Delcambre, Lois [edt.] | Ling, Tok-Wang [edt.] | Jeusfeld, Manfred [edt.] .
Material type: Text; 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: National Library of India (1).
3117.
Multiagent System Technologies [electronic resource] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings / edited by Franziska Klügl, Sascha Ossowski.
by German Conference on Multiagent System Technologies (9th : Berlin, Germany) | Ossowski, Sascha [edt.] | Klügl, Franziska [edt.] .
Material type: Text; 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: National Library of India (1).
3118.
Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / edited by Béatrice Bouchou-Markhoff...[et al.]
by CIAA 2011 (16th : 2011 : Blois, France) | Bouchou-Markhoff, Béatrice [edt.] .
Material type: Text; 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: National Library of India (1).
3119.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe.
by TABLEAUX 2011 (20th : 2011 : Bern, Switzerland) | Metcalfe, George [edt.] | Brünnler, Kai [edt.] .
Material type: Text; 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: National Library of India (1).
3120.
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer.
by CAV 2011 (23rd : 2011 : Snowbird, USA) | Qadeer, Shaz [edt.] | Gopalakrishnan, Ganesh [edt.] .
Material type: Text; 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: National Library of India (1).