Results
|
|
581.
|
Service-Oriented Computing - ICSOC 2021 Workshops [electronic resource] : AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22-25, 2021, Proceedings / edited by Hakim Hacid, Monther Aldwairi, Mohamed Reda Bouadjenek, Marinella Petrocchi, Noura Faci, Fatma Outay, Amin Beheshti, Lauritz Thamsen, Hai Dong. by Series: Lecture Notes in Computer Science ; 13236
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.
|
|
|
582.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by Series: Lecture Notes in Computer Science ; 8143
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).
|
|
|
583.
|
|
|
|
584.
|
|
|
|
585.
|
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 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 Matthias Felleisen, Philippa Gardner. by Series: Lecture Notes in Computer Science ; 7792
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).
|
|
|
586.
|
|
|
|
587.
|
|
|
|
588.
|
|
|
|
589.
|
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).
|
|
|
590.
|
|
|
|
591.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings / edited by Erika Ábrahám, Klaus Havelund. by Series: Lecture Notes in Computer Science ; 8413
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
592.
|
|
|
|
593.
|
Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson. by Series: Lecture Notes in Computer Science ; 7590
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).
|
|
|
594.
|
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).
|
|
|
595.
|
|
|
|
596.
|
|
|
|
597.
|
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).
|
|
|
598.
|
|
|
|
599.
|
|
|
|
600.
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 7610
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).
|
