Results
|
|
201.
|
|
|
|
202.
|
Advances of Science and Technology [electronic resource] : 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27-29, 2021, Proceedings, Part II / edited by Mulatu Liyew Berihun. by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 412
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.3.
|
|
|
203.
|
VLSI-SoC: Technology Advancement on SoC Design [electronic resource] : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers / edited by Victor Grimblatt, Chip Hong Chang, Ricardo Reis, Anupam Chattopadhyay, Andrea Calimera. by Series: IFIP Advances in Information and Communication Technology ; 661
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: 621.39 | 004.6.
|
|
|
204.
|
|
|
|
205.
|
|
|
|
206.
|
|
|
|
207.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by Series: Lecture Notes in Computer Science ; 7793
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).
|
|
|
208.
|
Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato. by Series: Lecture Notes in Computer Science ; 7159
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).
|
|
|
209.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Series: Lecture Notes in Computer Science ; 8938
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).
|
|
|
210.
|
|
|
|
211.
|
|
|
|
212.
|
|
|
|
213.
|
|
|
|
214.
|
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan de Lara, Andrea Zisman. by Series: Lecture Notes in Computer Science ; 7212
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).
|
|
|
215.
|
|
|
|
216.
|
|
|
|
217.
|
|
|
|
218.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Series: Lecture Notes in Computer Science ; 8368
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
219.
|
Current Trends in Web Engineering [electronic resource] : 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers / edited by Florian Daniel, Oscar Diaz. by Series: Lecture Notes in Computer Science ; 9396
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).
|
|
|
220.
|
|