Refine your search

Your search returned 1904 results.

Sort
Results
1681.
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.

1682.
Java 2 : exam notes / Philip Heller by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, c2001
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 H 367.

1683.
SCEA Sun ® certified enterprise architect for Java™ EE study guide : (exam 310-051) / Paul R. Allen, Joseph J. Bambara by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, c2012
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 Al 54.

1684.
OCA/OCP : introduction to Oracle 9i SQL study guide / Chip Dawes and Biju Thomas by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, 2002
Availability: Items available for loan: National Library of India (2)Call number: E 005.133 D 3210, ...

1685.
DevOps for Airborne Software [electronic resource] : Exploring Modern Approaches / by Wanja Zaeske, Umut Durak. by Series: SpringerBriefs in Computer Science
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.

1686.
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).

1687.
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.

1688.
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang. by Series: Lecture Notes in Computer Science ; 13478
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.

1689.
Microsoft visual C# : step by step / John Sharp by
Edition: 8th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Delhi : PHI Learning, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 Sh 23 (8th).

1690.
Data and file structures :algorithms,problem solving and programming with C / Zakiya Malek by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : BPB Pub., 2010
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 M 293.

1691.
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).

1692.
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.

1693.
1694.
Fast and effective embedded systems design : applying the ARM mbed / Rob Toulson and Tim Wilmshurst. by
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Language: English
Publication details: Oxford : Newnes, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

1695.
OCP developer PL/SQL program units exam guide / Steve O'Hearn by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : TataMcGraw-Hill, c2002
Other title:
  • Oracle OCP developer PL/SQL program units exam guide
Availability: Items available for loan: National Library of India (1)Call number: E 005.369 Oh 2.

1696.
OCP introduction to Oracle 9i : SQL exam guide / Jason Couchman by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2001
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 C 83.

1697.
Designing an IAM framework with oracle identity and access management suite / Jeff Scheidel 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.8 Sch 25.

1698.
Transactions on Computational Intelligence XIII [electronic resource] / edited by Ngoc-Thanh Nguyen, Hoai An Le-Thi. by Series: Lecture Notes in Computer Science ; 8342
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).

1699.
Microsoft sharepoint 2010 : administrator's pocket consultant / Ben Curry by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Prentice-Hall, 2010
Availability: Items available for loan: National Library of India (1)Call number: E 006.7 C 937.

1700.
A' level made simple structured system analysis according to A5-R3 syllabus for DOECA / Madhulika Jain [and] Satish Jain by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Publications, 2003
Availability: Items available for loan: National Library of India (1)Call number: E/O 004.6 J 199.

                                                                           
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