Refine your search

Your search returned 3990 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2381.
Mathematical Foundations of computer science 1977 : Symposium / 6th Symposiun on Mathematical Foundations of Computer Science MICS-77 held at Tatranska Lomanica, Czcchoslovakia, September 5-9, 1977 ; edited by J. Gruska by Series: Lecture notes in computer Science ; no.53
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer-Verlag, c1977
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
2382.
2383.
2384.
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. by Series: Lecture Notes in Computer Science ; 6486
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
2385.
Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / edited by Anton Benz...[et al.] by Series: Lecture Notes in Computer Science ; 6207
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
2386.
Web Technologies and Applications [electronic resource] : 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, China, April 18-20, 2011. Proceedings / edited by Xiaoyong Du...[et.al] by Series: Lecture Notes in Computer Science ; 6612
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
2387.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Peter Merz, Jin-Kao Hao. by Series: Lecture Notes in Computer Science ; 6622
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
2388.
Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Series: Lecture Notes in Computer Science ; 6810
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
2389.
2390.
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings/ edited by Zhiguo Gong...[et al.] by Series: Lecture Notes in Computer Science ; 6987 | Lecture Notes in Computer Science ; 6988
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
2391.
Visual Informatics: Sustaining Research and Innovations [electronic resource] : Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings/ edited by Halimah Badioze Zaman...[et al.] by Series: Lecture Notes in Computer Science ; 7066 | Lecture Notes in Computer Science ; 7067
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • IVIC 2011
Online resources:
Availability: Items available for loan: National Library of India (2).

Place hold Request article Save to lists
2392.
Rigorous Software Engineering for Service-Oriented Systems [electronic resource] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / edited by Martin Wirsing, Matthias Hölzl. by Series: Lecture Notes in Computer Science ; 6582
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
2393.
Advances in Spatial and Temporal Databases [electronic resource] : 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings / edited by Dieter Pfoser...[et al.] by Series: Lecture Notes in Computer Science ; 6849
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
2394.
Advances in Visual Computing [electronic resource] : 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28, 2011. Proceedings, / edited by George Bebis...[et al.] by Series: Lecture Notes in Computer Science ; 6938 | Lecture Notes in Computer Science ; 6939
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
2395.
Trusted Systems [electronic resource] : Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers / edited by Liqun Chen, Moti Yung. by Series: Lecture Notes in Computer Science ; 6802
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
2396.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. by Series: Lecture Notes in Computer Science ; 6538
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
2397.
New Horizons in Web-Based Learning - ICWL 2010 Workshops [electronic resource] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers / edited by Xiangfeng Luo...[et.al] by Series: Lecture Notes in Computer Science ; 6537
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • ICWL 2010
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2398.
GeoSpatial Semantics [electronic resource] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings / edited by Christophe Claramunt, Sergei Levashkin, Michela Bertolotto. by Series: Lecture Notes in Computer Science ; 6631
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
2399.
2400.
Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. by Series: Lecture Notes in Computer Science ; 6859
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
                                                                           
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