Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2061.
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Series: Lecture Notes in Computer Science ; 8941
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
2062.
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Series: Lecture Notes in Computer Science ; 9128
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
2063.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle. by Series: Lecture Notes in Computer Science ; 9323
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
2064.
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska. by Series: Lecture Notes in Computer Science ; 7177
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
2065.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers / edited by Jörg Kienzle. by Series: Lecture Notes in Computer Science ; 7167
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
2066.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by Series: Lecture Notes in Computer Science ; 7844
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
2067.
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi. by Series: Lecture Notes in Computer Science ; 9294
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2068.
Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji. by Series: Lecture Notes in Computer Science ; 9231
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
2069.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 8802
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2070.
No cover image available
Object-orient modeling and design with UML/ Michael Blaha, James Rumbaugh by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Prantice Hall, 2006
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 B 572.

Place hold Request article Save to lists
2071.
NetBeans IDE programmer certified expert exam guide(Exam 310-045) / Robert Liguori, Ryan Cuprak by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, c2010
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 L 627.

Place hold Request article Save to lists
2072.
No cover image available
Shieldose : a computer code for space-sheilding radiation dose calculations / Stephen Seltzer by Series: National Bureau of Standars, technical no ; 1116
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : U.S. Government Printing Office, 1980
Availability: Items available for loan: National Library of India (1)Call number: U.S 658.18018 Se 49.

Place hold Request article Save to lists
2073.
Complexity of sequential and parallel numerical algorithms / edited by J. F. Traub by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Academic Press, 1973
Availability: Items available for loan: National Library of India (1)Call number: E519.92 Sy68.

Place hold Request article Save to lists
2074.
Software Technologies [electronic resource] : 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek. by Series: Communications in Computer and Information Science ; 1622
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: 005.1.

Place hold Save to lists
2075.
End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by Series: Lecture Notes in Computer Science ; 7897
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
2076.
2077.
Online teaching and learning in higher education during Covid-19 : international perspectives and experiences / edited by Roy Y. Chan, Krishna Bista, Ryan M. Allen. by Series:
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: New York, NY : Routledge, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 378.1/7344678.

Place hold Save to lists
2078.
Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 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 Lars Birkedal. by Series: Lecture Notes in Computer Science ; 7213
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
2079.
CONCUR 2012 - Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski. by Series: Lecture Notes in Computer Science ; 7454
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
2080.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by Series: Lecture Notes in Computer Science ; 8307
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
                                                                           
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