1.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt.
by VMCAI 2011 (12th : 2011 : Austin, TX, USA) | Schmidt, David [edt.] | Jhala, Ranjit [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).
2.
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude...[et al.]
by UC 2011 (10th : 2011 : Turku, Finland) | Calude, Cristian S [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).
3.
Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong.
by TLCA 2011 (10th : 2011 : Novi Sad, Serbia) | Ong, Luke [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).
4.
Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók.
by Horváth, Zoltán [edt.] | Zsók, Viktória [edt.] | Page, Rex [edt.] | TFP 2010 (11th : 2010 : Norman, USA) .
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).
5.
Transactions on High-Performance Embedded Architectures and Compilers [electronic resource] / edited by Per Stenström.
by Stenström, Per [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Pt III | Pt IV Availability: Items available for loan: National Library of India (2).
6.
Transactions on Computational Science XXIV [electronic resource] : Special Issue on Reversible Computing / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan.
by Gavrilova, Marina L [edt] | Tan, C.J. Kenneth [edt] | Thapliyal, Himanshu [edt] | Ranganathan, Nagarajan [edt] .
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
7.
Transactions on Aspect-Oriented Software Development VIII [electronic resource] / edited by Shmuel Katz...[et al.]
by Katz, Shmuel [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).
8.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 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 Parosh Aziz Abdulla, K. Rustan M. Leino.
by TACAS 2011 (17th : 2011 : Saarbrücken, Germany) | Leino, K. Rustan M [edt.] | Abdulla, Parosh Aziz [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).
9.
Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings / edited by Jordi Cabot, Eelco Visser.
by ICMT 2011 (4th : 2011 : Zurich, Switzerland) | Visser, Eelco [edt.] | Cabot, Jordi [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).
10.
Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon.
by SAT 2011 (14th : 2011 : Ann Arbor, USA) | Simon, Laurent [edt.] | Sakallah, Karem A [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).
11.
Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / edited by Mitsunori Ogihara, Jun Tarui.
by TAMC 2011 (8th : 2011 : Tokyo, Japan) | Tarui, Jun [edt.] | Ogihara, Mitsunori [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).
12.
Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari.
by ICTAC 2011 (8th : 2011 : Johannesburg, South Africa) | Pihlajasaari, Pekka [edt.] | Cerone, Antonio [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).
13.
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff.
by TAP 2011 (5th : 2011 : Zurich, Switzerland) | Wolff, Burkhart [edt.] | Gogolla, Martin [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).
14.
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi.
by International Conference on Testing Software and Systems (23rd : 2011 : Paris, France) | Zaïdi, Fatiha [edt.] | Wolff, Burkhart [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).
15.
System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann.
by Herrmann, Peter [edt.] | Kraemer, Frank Alexander [edt.] | SAM 2010 (6th : 2010 : Oslo, Norway) .
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).
16.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings / edited by Weiru Liu.
by ECSQARU 2011 (11th : 2011 : Belfast, UK) | Liu, Weiru [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).
17.
Switching theory and logic design/ A. Anand Kumar
by Kumar, A. Anand.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Adult;
Publisher: Delhi : PHI Learning, 2016Availability: Items available for loan: National Library of India
[Call number: E 621.3819582 K 96 (3 ed.) ]
(1).
18.
Switching theory and logic design / A. Anand Kumar
by Kumar, A. Anand.
Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Adult;
Publisher: New Delhi : PHI Learning, 2014Availability: Items available for loan: National Library of India
[Call number: E 621.3819582 K 96 (1) ]
(1).
19.
Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel.
by International Static Analysis Symposium (17th : 2010 : Perpignan, France) | Martel, Matthieu [edt] | Cousot, Radhia [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).
20.
Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav.
by SAS 2011 (18th : 2011 : Venice, Italy) | Yahav, Eran [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).