Results
|
|
3941.
|
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 Series: Lecture Notes in Computer Science ; 6605
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
3942.
|
Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Series: Lecture Notes in Computer Science ; 6826
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
3943.
|
|
|
|
3944.
|
|
|
|
3945.
|
Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings / edited by Bao-Liang Lu, Liqing Zhang, James Kwok. by Series: Lecture Notes in Computer Science ; 7062 | Lecture Notes in Computer Science ; 7063 | Lecture Notes in Computer Science ; 7064
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (3).
|
|
|
3946.
|
|
|
|
3947.
|
|
|
|
3948.
|
|
|
|
3949.
|
|
|
|
3950.
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. by Series: Lecture Notes in Computer Science ; 6877
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
3951.
|
|
|
|
3952.
|
|
|
|
3953.
|
|
|
|
3954.
|
|
|
|
3955.
|
|
|
|
3956.
|
|
|
|
3957.
|
|
|
|
3958.
|
|
|
|
3959.
|
|
|
|
3960.
|
|