Refine your search

Your search returned 3990 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2361.
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. by Series: Lecture Notes in Computer Science ; 6572
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2362.
NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings/ edited by Jordi Domingo-Pascual...[et.al] by Series: Lecture Notes in Computer Science ; 6640 | Lecture Notes in Computer Science ; 6641
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (2).

Place hold Request article Save to lists
2363.
Human Centered Design [electronic resource] : Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings / edited by Masaaki Kurosu. by Series: Lecture Notes in Computer Science ; 6776
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2364.
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff. by Series: Lecture Notes in Computer Science ; 6706
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2365.
Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 7273
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
2366.
Transactions on Computational Systems Biology XIV [electronic resource] : Special Issue on Computational Models for Cell Processes / edited by Corrado Priami, Ion Petre, Erik de Vink. by Series: Lecture Notes in Computer Science ; 7625
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
2367.
Computational Collective Intelligence. Technologies and Applications [electronic resource] : 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I / edited by Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz. by Series: Lecture Notes in Computer Science ; 7653
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
2368.
Security, privacy, and applied cryptography engineering : second international conference, SPACE 2012, Chennai, India, November 3-4, 2012 : proceedings / edited by Andrey Bogdanov, Somitra Sanadhya by Series: Lecture notes in computer science ; 7644
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Heidelberg : Springer, c2012
Other title:
  • SPACE 2012
Availability: Items available for loan: National Library of India (1)Call number: E 005.8 Se 26 sp.

Place hold Request article Save to lists
2369.
Lecture notes in computer science;/ Wolfgang Everling by Series: Lecture notes in computer science ; 35
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1975
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2370.
Lecture notes in computer science / Joost Engelfriet by Series: Lecture notes in computer science ; 20
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1974
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2371.
Lecture notes in computer science / edited by D. Bjrner and C. B. Jones by Series: Lecture notes in computer science ; 61
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1978
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2372.
Lecture notes in computer science / Procedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977; edited by Marek Karpinski by Series: Lecture notes in computer science ; 56
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2373.
2374.
Lecture notes in computer science / 4th GI conference, Aachen, March 26-28, 1979 ; edited by K. Weihrauch by Series: Lecture notes in computer science ; 67
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: French
Publication details: Berlin Springer Verlag 1979
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2375.
Lecture notes in computer science; / 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974; edited by Clemens E. Hackl by Series: Lecture notes in computer science ; 23
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: German
Publication details: Berlin Springer Verlag 1975
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2376.
Lecture notes in computer science;/ Interdisciplinary conference, Ann Arbor, March 1972; edited by Thomas Storer and David Winter by Series: Lecture notes in computer science ; 22
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1975
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2377.
No cover image available
Lecture notes in computer science Friedrich Ludwig Bauer ... [et al.] ; edited by J. Eickel by Series: Lecture notes in computer science ; 21
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1974
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2378.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings / edited by Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent. by Series: Lecture Notes in Computer Science ; 7314
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
2379.
No cover image available
Mathematical foundations of computer science : symposium / The 3rd Symposiun on Mathematical Foundations of computer Science held in Jadwisin near Warsaw, June 17-22, 1974 ; edited by A. Blikle by Series: Lecture notes in computer Science ; no. 28
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer-Verlag, c1975
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
2380.
Mathematical Foundations of computer Science 1975 symposium 4th Symposium on Mathematical Foundations of Computer Science 1975 held Czcchoslovakia ; edited by J. Becvar by Series: Lecture notes in computer Science ; no.32
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer-Verlag, c1975
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

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