Refine your search

Your search returned 2465 results.

Sort
Results
2081.
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).

2082.
A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul. by Series: Lecture Notes in Computer Science ; 9000
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).

2083.
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Julian Togelius, Neil Urquhart, A. Şima Uyar, Georgios N. Yannakakis. by Series: Lecture Notes in Computer Science ; 7248
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).

2084.
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Series: Lecture Notes in Computer Science ; 9369
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

2085.
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by Series: Lecture Notes in Computer Science ; 8299
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).

2086.
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal. by Series: Lecture Notes in Computer Science ; 7225
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).

2087.
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Series: Lecture Notes in Computer Science ; 7342
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).

2088.
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann. by Series: Lecture Notes in Computer Science ; 7498
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).

2089.
Reliable Software Technologies - Ada-Europe 2014 [electronic resource] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / edited by Laurent George, Tullio Vardanega. by Series: Lecture Notes in Computer Science ; 8454
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).

2090.
Exploring information technology
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Chennai : Macmillan, 2003
Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.4 Ex 74.

2091.
The big basics books of Microsoft Office 97 / Jennifer Fultom, Sherri kinkoph [and] Joe Kraynak by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Prentice-Hall of India, 1998
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.7136 F 959.

2092.
Object oriented progamming with C ++ / E. Balagurusamy by
Edition: 6th ed
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education c 2013
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 B 181 b.

2093.
Object oriented progamming using C ++ and java / E. Balagurusamy by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education c 2012
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 B 181 ob.

2094.
Digital Image Processing [electronic resource] : An Algorithmic Introduction / by Wilhelm Burger, Mark J. Burge. by Series: Texts in Computer Science
Edition: 3rd 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: 006.37.

2095.
The Structure of Game Design [electronic resource] / by Wallace Wang. 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: 794.815.

2096.
SQL and NoSQL Databases [electronic resource] : Modeling, Languages, Security and Architectures for Big Data Management / by Michael Kaufmann, Andreas Meier. by
Edition: 2nd 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.74.

2097.
UML and C++ : a practical guide to object-oriented development/ Richard C. Lee, William M. Tepfenhart by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Prentice-Hall, 2005
Availability: Items available for loan: National Library of India (1)Call number: E 005.117 L 515.

2098.
2099.
Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis De Vos, Robert Wille. by Series: Lecture Notes in Computer Science ; 7165
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).

2100.
Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings / edited by Paris Avgeriou, Uwe Zdun. by Series: Lecture Notes in Computer Science ; 8627
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).

                                                                           
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