Results
|
|
921.
|
|
|
|
922.
|
|
|
|
923.
|
|
|
|
924.
|
|
|
|
925.
|
|
|
|
926.
|
|
|
|
927.
|
Artificial General Intelligence [electronic resource] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Series: Lecture Notes in Computer Science ; 9205
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
928.
|
|
|
|
929.
|
|
|
|
930.
|
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).
|
|
|
931.
|
|
|
|
932.
|
|
|
|
933.
|
|
|
|
934.
|
Emerging Technologies in Computing [electronic resource] : 5th EAI International Conference, iCETiC 2022, Chester, UK, August 15-16, 2022, Proceedings / edited by Mahdi H. Miraz, Garfield Southall, Maaruf Ali, Andrew Ware. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 004.6.
|
|
|
935.
|
|
|
|
936.
|
|
|
|
937.
|
|
|
|
938.
|
|
|
|
939.
|
ICT as Key Technology against Global Warming [electronic resource] : Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / edited by Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan, A Min Tjoa. by Series: Lecture Notes in Computer Science ; 7453
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Availability: Items available for loan: National Library of India (1).
|
|
|
940.
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by Series: Lecture Notes in Computer Science ; 8273
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|