Your search returned 237 results.

Results
	221.	Principles and Practice of Constraint Programming [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / edited by Michela Milano. by Milano, Michela [edt] Series: Lecture Notes in Computer Science ; 7514 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	222.	Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov. by Horimoto, Katsuhisa [edt] Nakatsui, Masahiko [edt] Popov, Nikolaj [edt] Series: Lecture Notes in Computer Science ; 6479 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	223.	Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings / edited by Dimitrios Poulakis, George Rahonis. by Poulakis, Dimitrios [editor.] Rahonis, George [editor.] Series: Lecture Notes in Computer Science ; 13706 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	224.	Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov. by Lin, Anthony W [editor.] Zetzsche, Georg [editor.] Potapov, Igor [editor.] Series: Lecture Notes in Computer Science ; 13608 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	225.	Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings / edited by Olivier Bournez, Enrico Formenti, Igor Potapov. by Bournez, Olivier [editor.] Formenti, Enrico [editor.] Potapov, Igor [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	226.	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [edt] Miller, Dale [edt] Series: Lecture Notes in Computer Science ; 7679 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	227.	No cover image available Theory of hierarchical, multilevel, systems/ M.D. Mesarovic, D. Macko and Y. Takahara by Mesarovic, M.D Macko, D [jt aut] Takahara, Y [jt aut] Series: Mathematics in science and engineering: a series of monographs and textbooks ; 68 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York: Academic Press, c1970 Availability: Items available for loan: National Library of India (1)Call number: E 629.8 M 56. Place hold Request article Save to lists
	228.	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 Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	229.	No cover image available Lectures on numerical analysis and linear programming / by G. Capriz by Capriz, G Series: Tata Institute of Fundamental Research. Lectures on mathematics and physics. Physics, 22 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay : Tata Institute of Fundamental Research, 1964 Availability: Items available for loan: National Library of India (1)Call number: E/O 517.382 C 174. Place hold Request article Save to lists
	230.	Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov. by Drewes, Frank [editor.] Volkov, Mikhail [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	231.	Developments in Language Theory [electronic resource] : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings / edited by Volker Diekert, Mikhail Volkov. by Diekert, Volker [editor.] Volkov, Mikhail [editor.] Series: Lecture Notes in Computer Science ; 13257 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 004.0151. Place hold Save to lists
	232.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [edt] Nerode, Anil [edt] Series: Lecture Notes in Computer Science ; 7734 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	233.	Prolog: The Next 50 Years [electronic resource] / edited by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi. by Warren, David S [editor.] Dahl, Veronica [editor.] Eiter, Thomas [editor.] Hermenegildo, Manuel V [editor.] Kowalski, Robert [editor.] Rossi, Francesca [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	234.	Intermediate C programming / Yung-Hsiang and George K. Thiruvathukal by Yung-Hsiang Lu Thiruvathukal, George K [jt. auth.] Edition: 2nd ed. Publication details: Boca Raton, Fla. : CRC Press, c2024 Availability: Items available for loan: National Library of India (2)Call number: E/O 005.133 L 96, ... Place hold Request article Save to lists
	235.	Biomedical digital signal processing : C-language examples and laboratory experiments for the IBM PC / edited by Willis J. Tompkins by Tompkins, Willis J [edt] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : Prentice-Hall of India, c1995 Availability: Items available for loan: National Library of India (1)Call number: E 610.28 B 521 w. Place hold Save to lists
	236.	R-Calculus, II: Many-Valued Logics [electronic resource] / by Wei Li, Yuefei Sui. by Li, Wei [author.] Sui, Yuefei [author.] Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	237.	Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger. by Rauber, Thomas [author.] Rünger, Gudula [author.] Edition: 3rd ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.11. Place hold Save to lists

First
Previous
3
4
5
6
7
8
9
10
11
12

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