Refine your search

Your search returned 612 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
521.
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
522.
Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun. by Series: Lecture Notes in Computer Science ; 13299
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
523.
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos. by Series: Lecture Notes in Computer Science ; 13560
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
524.
The teacher's guide to Scratch--advanced : professional development for coding education / Kai Hutchence. by
Material type: Text Text; Literary form: Not fiction
Publication details: New York, NY : Routledge, 2024
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.13/3.

Place hold Save to lists
525.
Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings / edited by Lucas Lima, Vince Molnár. by Series: Lecture Notes in Computer Science ; 13768
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
526.
Java for business : using Java to win customers, cut costs and drive growth / Thomas Anderson by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Calcuta : Jaica pub., c1997
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 An 24.

Place hold Request article Save to lists
527.
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / edited by Ugo Dal Lago, Ricardo Peña. by Series: Lecture Notes in Computer Science ; 8552
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
528.
529.
The teacher's guide to Scratch--intermediate : professional development for coding education / Kai Hutchence. by
Material type: Text Text; Literary form: Not fiction
Publication details: New York, NY : Routledge, 2024
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.13/3.

Place hold Save to lists
530.
Asp, ADOand XML complete / [published by] BPB Publications
Edition: 2nd,rev.ed
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.262 Ac 85.

Place hold Request article Save to lists
531.
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
532.
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone. 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.1.

Place hold Save to lists
533.
Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings / edited by Gagandeep Singh, Caterina Urban. by Series: Lecture Notes in Computer Science ; 13790
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
534.
Rules and Reasoning [electronic resource] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings / edited by Guido Governatori, Anni-Yasmin Turhan. by Series: Lecture Notes in Computer Science ; 13752
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
535.
Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales. 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
536.
PLC Programming In Instruction List According To IEC 61131-3 [electronic resource] : A Systematic And Action-Oriented Introduction In Structured Programming / by Hans-Joachim Adam, Mathias Adam. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 629.8.

Place hold Save to lists
537.
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by Series: Lecture Notes in Computer Science ; 8245
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
538.
Guide to Java [electronic resource] : A Concise Introduction to Programming / by James T. Streib, Takako Soma. by Series:
Edition: 2nd 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.11.

Place hold Save to lists
539.
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. 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: 511.3.

Place hold Save to lists
540.
Object oriented programming with C++/ M. T. Somashekara ... [et al.] by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : PHI Learning, 2012
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 Ob 3.

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