Refine your search

Your search returned 363 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
201.
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Series: Lecture Notes in Computer Science ; 7021
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • SBMF 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
202.
Cloud computing/ V. K. Pachghare by
Material type: Text Text; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New Delhi : PHI Learning , 2016
Availability: Items available for loan: National Library of India (1)Call number: E 004.6782 P 115.

Place hold Request article Save to lists
203.
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. by Series: Lecture Notes in Computer Science ; 6664
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
204.
Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav. by Series: Lecture Notes in Computer Science ; 6887
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
205.
Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel. by Series: Lecture Notes in Computer Science ; 6337
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
206.
No cover image available
Proceedings of National Conference on Methods and Models in Computing (NCM2C 2008) / eds. D.K. Lobiyal, Aditi Sharan by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Allied Pubs., c2009
Other title:
  • National Conference on Methods and Models in Computing, NCM2C 2008
  • Methods and models in computing
  • Methods and models in computing (NCM2C 2008)
Availability: Items available for loan: National Library of India (1)Call number: E 004 N 213 (2008).

Place hold Request article Save to lists
207.
Systems analysis and design : with CASE tools / Len Fertuck by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Toronto : University of Toronto Press, c1992
Availability: Items available for loan: National Library of India (1)Call number: E 004.21 F 418.

Place hold Request article Save to lists
208.
Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / edited by Giorgio Delzanno, Igor Potapov. by Series: Lecture Notes in Computer Science ; 6945
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
209.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. by Series: Lecture Notes in Computer Science ; 6793
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
210.
211.
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. by Series: Lecture Notes in Computer Science ; 6486
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
212.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. by Series: Lecture Notes in Computer Science ; 6538
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
213.
Managing oracle fusion applications/ Richard Bingham by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2011
Availability: Items available for loan: National Library of India (1)Call number: E 658.0536 B 513.

Place hold Request article Save to lists
214.
Innovation in China : the Chinese software industry / Shang-Ling Jui by Series: Routledge contemporary China series ; 49
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: London : Routledge, 2010
Availability: Items available for loan: National Library of India (1)Call number: E/O 338.470050951 J 937.

Place hold Request article Save to lists
215.
Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury. by Series: Lecture Notes in Computer Science ; 6539
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
216.
Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari. by Series: Lecture Notes in Computer Science ; 6916
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
217.
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. by Series: Lecture Notes in Computer Science ; 6806
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
218.
219.
Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Wolfgang Meuter, Gruia-Catalin Roman. by Series: Lecture Notes in Computer Science ; 6721
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
220.
OpenMP in the Petascale Era [electronic resource] : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings / edited by Barbara M. Chapman...[et al.] by Series: Lecture Notes in Computer Science ; 6665
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
                                                                           
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