Results
|
|
6861.
|
|
|
|
6862.
|
Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / edited by Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs. by Series: Lecture Notes in Computer Science ; 6992
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).
|
|
|
6863.
|
|
|
|
6864.
|
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 Series: Lecture Notes in Computer Science ; 6527
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).
|
|
|
6865.
|
|
|
|
6866.
|
|
|
|
6867.
|
|
|
|
6868.
|
Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. by Series: Lecture Notes in Computer Science ; 7056
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).
|
|
|
6869.
|
|
|
|
6870.
|
|
|
|
6871.
|
Intelligent Information and Database Systems [electronic resource] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak. by Series: Lecture Notes in Computer Science ; 6591 | Lecture Notes in Computer Science ; 6592
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 (2).
|
|
|
6872.
|
|
|
|
6873.
|
|
|
|
6874.
|
|
|
|
6875.
|
|
|
|
6876.
|
|
|
|
6877.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Series: Lecture Notes in Computer Science ; 7021
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).
|
|
|
6878.
|
|
|
|
6879.
|
Database Systems for Advanced Applications [electronic resource] : 16th International Conference, DASFAA 2011, Hong Kong, China, April 22-25, 2011, Proceedings, Part I / edited by Jeffrey Xu Yu, Myoung Ho Kim, Rainer Unland. by Series: Lecture Notes in Computer Science ; 6587 | Lecture Notes in Computer Science ; 6588
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 (2).
|
|
|
6880.
|
|