Refine your search

Your search returned 412 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
101.
Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage. by Series: Lecture Notes in Computer Science ; 7257
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
102.
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Series: Lecture Notes in Computer Science ; 7680
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
103.
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani. by Series: Lecture Notes in Computer Science ; 9392
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
104.
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang. by Series: Lecture Notes in Computer Science ; 9364
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
105.
Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Series: Lecture Notes in Computer Science ; 7321
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
106.
Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by Series: Lecture Notes in Computer Science ; 7230
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
107.
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund. by Series: Lecture Notes in Computer Science ; 7561
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
108.
Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / edited by Santiago Escobar. by Series: Lecture Notes in Computer Science ; 8663
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
109.
NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier. by Series: Lecture Notes in Computer Science ; 8430
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
110.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Series: Lecture Notes in Computer Science ; 7148
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
111.
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Series: Lecture Notes in Computer Science ; 7226
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
112.
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by Series: Lecture Notes in Computer Science ; 8172
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
113.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt. by Series: Lecture Notes in Computer Science ; 7201
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
114.
Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by Series: Lecture Notes in Computer Science ; 7186
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
115.
Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Series: Lecture Notes in Computer Science ; 7571
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
116.
Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar. by Series: Lecture Notes in Computer Science ; 9333
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
117.
Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 8734
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
118.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Series: Lecture Notes in Computer Science ; 8174
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
119.
Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 7162
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
120.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković. by Series: Lecture Notes in Computer Science ; 7595
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India