Results
|
|
341.
|
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications [electronic resource] : 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings / edited by Tran Khanh Dang, Josef Küng, Tai M. Chung. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.3.
|
|
|
342.
|
Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13704
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
343.
|
|
|
|
344.
|
Computer-Aided Architectural Design. Design Imperatives: The Future is Now [electronic resource] : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021, Selected Papers / edited by David Gerber, Evangelos Pantazis, Biayna Bogosian, Alicia Nahmad, Constantinos Miltiadis. by Series: Communications in Computer and Information Science ; 1465
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Availability: Items available for loan: (1)Call number: 670.285.
|
|
|
345.
|
Network and Parallel Computing [electronic resource] : 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings / edited by Christophe Cérin, Depei Qian, Jean-Luc Gaudiot, Guangming Tan, Stéphane Zuckerman. by Series: Theoretical Computer Science and General Issues ; 13152
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 621.39 | 004.6.
|
|
|
346.
|
|
|
|
347.
|
|
|
|
348.
|
|
|
|
349.
|
Science, Engineering Management and Information Technology [electronic resource] : First International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022, Revised Selected Papers, Part I / edited by Abolfazl Mirzazadeh, Babek Erdebilli, Erfan Babaee Tirkolaee, Gerhard-Wilhelm Weber, Arpan Kumar Kar. 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: 006.3.
|
|
|
350.
|
|
|
|
351.
|
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Series: Lecture Notes in Computer Science ; 9397
Edition: 1st ed. 2015.
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).
|
|
|
352.
|
|
|
|
353.
|
|
|
|
354.
|
|
|
|
355.
|
|
|
|
356.
|
|
|
|
357.
|
|
|
|
358.
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by Mohammad Reza Mousavi, Anna Philippou. by Series: Lecture Notes in Computer Science ; 13273
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
359.
|
|
|
|
360.
|
Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings / edited by Jérôme Durand-Lose, György Vaszil. by Series: Lecture Notes in Computer Science ; 13419
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 518.1.
|