Refine your search

Your search returned 93 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
41.
42.
Numerical analysis and statistical methods : including compuiter programming in C and Fortran 77 / Sujata Sinha and Sushama Pradhan by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: Kolkata : Academic Pub., 2011
Availability: Items available for loan: National Library of India (2)Call number: E 518.0285 Si 65, ...

Place hold Request article Save to lists
43.
No cover image available
Game playing with BASIC / Donald D. Spencer by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Bombay : Hayden Book, c1984
Availability: Items available for loan: National Library of India (1)Call number: E 001.6424 Sp 33.

Place hold Request article Save to lists
44.
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by Series: Lecture Notes in Computer Science ; 8088
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
45.
Ten years of concurrency semantics : selected paper of the Amsterdam Concurrecy Group/ eds. J. W. de Bakker, J. J. M. M. Rutten by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Singapore : World Scientific, c1992
Availability: Items available for loan: National Library of India (1)Call number: E/O 004.35 T 25.

Place hold Request article Save to lists
46.
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by Series: Lecture Notes in Computer Science ; 7842
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
47.
Process plant simulation/ B. V. Babu by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Oxford University Press, 2004
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 B 119.

Place hold Request article Save to lists
48.
Numerical analysis and statistical methods : including compuiter programming in C and Fortran 77 / Sujata Sinha and Sushama Pradhan by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: Kolkata : Academic Pub., 2012
Availability: Items available for loan: National Library of India (1)Call number: E 518.0285 Si 65 (1).

Place hold Request article Save to lists
49.
Numerical methods with Python : for the sciences / William Miles by
Publication details: Berlin : De Gruyter, 2023
Availability: Items available for loan: National Library of India (1)Call number: E 530.15 M 598 nu.

Place hold Request article Save to lists
50.
Mathematical Foundations of Software Engineering [electronic resource] : A Practical Guide to Essentials / by Gerard O'Regan. 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: 004.0151.

Place hold Save to lists
51.
No cover image available
Logic, algebraand databases / Peter M. D. Gray by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Attiliated East-West Press, 1984
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 G 794.

Place hold Request article Save to lists
52.
Applied hierarchical modeling in ecology : analysis of distribution, abundance and species richness in R and BUGS. Volume 1, Prelude and static models / Marc Kery, J. Andrew Royle. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Amsterdam : Elsevier, [2016]
Other title:
  • Prelude and static models.
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
53.
PDE modeling of tissue engineering and regenerative medicine : computer analysis in R / William E. Schiesser. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: London ; San Diego, CA : Academic Press, [2023]
Online resources:
Availability: Items available for loan: (1).

Place hold Save to lists
54.
Samson Abramsky on Logic and Structure in Computer Science and Beyond [electronic resource] / edited by Alessandra Palmigiano, Mehrnoosh Sadrzadeh. 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: 160.

Place hold Save to lists
55.
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by Series: Lecture Notes in Computer Science ; 7681
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
56.
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
57.
Practical Aspects of Declarative Languages [electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan. 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.13.

Place hold Save to lists
58.
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
59.
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
60.
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Series: Lecture Notes in Computer Science ; 8241
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
                                                                           
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