Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical logic/ James Donald Monk by Monk,James Donald. Material type:  Text Publication details: New York : Springer, 1976Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 511.3 MON/M.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection [electronic resource] : 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings / edited by Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta. by Demazeau, Yves | Matson, Eric | Corchado, Juan Manuel | De la Prieta, Fernando. Series: Lecture Notes in Artificial Intelligence ; 11523Edition: 1st ed. 2019.Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 006.3.
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / edited by Anthony Widjaja Lin. by Lin, Anthony Widjaja. Series: Programming and Software Engineering ; 11893Edition: 1st ed. 2019.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.13.
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak. by Majumdar, Rupak | Kunčak, Viktor. Series: Theoretical Computer Science and General Issues ; 10427Edition: 1st ed. 2017.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1015113.
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P | Koepf, Wolfram | Seiler, Werner M | Vorozhtsov, Evgenii V. Series: Theoretical Computer Science and General Issues ; 10490Edition: 1st ed. 2017.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1.
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I / edited by Aythami Morales, Julian Fierrez, José Salvador Sánchez, Bernardete Ribeiro. by Morales, Aythami | Fierrez, Julian | Sánchez, José Salvador | Ribeiro, Bernardete. Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11867Edition: 1st ed. 2019.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 006.4.
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / edited by Paul Kaufmann, Pedro A. Castillo. by Kaufmann, Paul | Castillo, Pedro A. Series: Theoretical Computer Science and General Issues ; 11454Edition: 1st ed. 2019.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1.
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin. by Huisman, Marieke | Rubin, Julia. Series: Theoretical Computer Science and General Issues ; 10202Edition: 1st ed. 2017.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1.
|
