Refine your search

Your search returned 3489 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
341.
Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
342.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Series: Lecture Notes in Computer Science ; 8137
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
343.
Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings / edited by Jan Jürjens, Frank Piessens, Nataliia Bielova. by Series: Lecture Notes in Computer Science ; 8364
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
344.
Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang. by Series: Lecture Notes in Computer Science ; 8829
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
345.
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Series: Lecture Notes in Computer Science ; 9407
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
346.
Financial performance in software industry / S. Kalaiselvi by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New Delhi : Discovery Pub. House, 2009
Availability: Items available for loan: National Library of India (1)Call number: E 338.470040954 K 124.

Place hold Request article Save to lists
347.
Software engineering and programming languages/ S. Prabha by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Thiruchirappalli : TiSSL Pub., 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 P 88.

Place hold Request article Save to lists
348.
Handbook of software quality assurance / edited by G. Gordon Schulmeyer by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston : Artech house, c2008
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.3 H 191.

Place hold Request article Save to lists
349.
Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings / edited by Elena A. Troubitsyna. by Series: Lecture Notes in Computer Science ; 6968
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
350.
Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.14.

Place hold Save to lists
351.
Business Modeling and Software Design [electronic resource] : 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings / edited by Boris Shishkov. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.3.

Place hold Save to lists
352.
Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh. by Series: Texts in Theoretical Computer Science. An EATCS Series
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
353.
Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by Series: Lecture Notes in Computer Science ; 7789
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
354.
No cover image available
Journal of advanced research in computer technology and software applications by
Material type: Continuing resource Continuing resource; Format: print
Publication details: Ghaziabad : Advanced Research (ADR) Publications, 2014 -
Availability: Items available for loan: National Library of India (1).

Place hold Save to lists
355.
Working wih Microsoft Visual Studio 2005 Team System/ Richard Hundhausen by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Prentice-Hall of India, 2006
Availability: Items available for loan: National Library of India (1)Call number: E005.3 H89.

Place hold Request article Save to lists
356.
No cover image available
Uindoj parikrama উইন্ডোজ পরিক্রমা আলোক ঘোষ Ghos, Alok by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Bengali
Publication details: কলকাতা: কম্পিউট্রনিক্স, 2001
Availability: Items available for loan: National Library of India (1)Call number: B005.43 G628.

Place hold Request article Save to lists
357.
Ayodobe Primiyar pro অ্যাডোব প্রিমিয়ার প্রো কৌশিক দত্ত, সোমা রায়চৌধুরী Datta, Kousik Raycaudhuri, Soma by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Bengali
Publication details: কলকাতা অঞ্জলি প্রকাশনী 2009
Availability: Items available for loan: National Library of India (1)Call number: B005.58 D556.

Place hold Request article Save to lists
358.
No cover image available
Maikrōcānpṭ ekcal 101 / மைக்ரோசாஷ்க்ஃப்ட் எக்சல் 101 உதவிக்குறிப்புகள் / S.S.N, ராஜா பதிப்பாளர் க. ஜெயகிருஷ்ணன் Rājā, S.S.N Jaya kirshinan, K / by
Edition: 1st ed.
Material type: Text Text
Language: Tamil
Publication details: சென்னை: பெரிகாம், 2004
Availability: Items available for loan: National Library of India (1)Call number: Ta 005.12 R325m.

Place hold Request article Save to lists
359.
No cover image available
ekcal 101 / எக்சல் 101 உதவிக்குறிப்புகள் / S.S.N, ராஜா பதிப்பாளர் க. ஜெயகிருஷ்ணன் S.S.N Jaya kirshinan, K / by
Edition: 1st ed.
Material type: Text Text
Language: Tamil
Publication details: சென்னை: பெரிகாம், 2004
Availability: Items available for loan: National Library of India (1)Call number: Ta 005.12 R325m.

Place hold Request article Save to lists
360.
A first course in computers : based on Windows XP and Office XP / Sanjay Saxena by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New Delhi : Vikas Publishing House, c2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.3684 Sa 97.

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