Refine your search

Your search returned 1885 results.

Sort
Results
1601.
Ambient Assisted Living and Daily Activities [electronic resource] : 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014. Proceedings / edited by Leandro Pecchia, Liming Luke Chen, Chris Nugent, José Bravo. by Series: Lecture Notes in Computer Science ; 8868
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).

1602.
Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. by Series: Lecture Notes in Computer Science ; 8348
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).

1603.
Conceptual Modeling [electronic resource] : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings / edited by Eric Yu, Gillian Dobbie, Matthias Jarke, Sandeep Purao. by Series: Lecture Notes in Computer Science ; 8824
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).

1604.
Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman. by Series: Lecture Notes in Computer Science ; 9434
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).

1605.
Parallel Computing Technologies [electronic resource] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings / edited by Victor Malyshkin. by Series: Lecture Notes in Computer Science ; 6873
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).

1606.
Distributed Applications and Interoperable Systems [electronic resource] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Pascal Felber, Romain Rouvoy. by Series: Lecture Notes in Computer Science ; 6723
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:
  • IFIP WG 6.1
Online resources:
Availability: Items available for loan: National Library of India (1).

1607.
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).

1608.
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).

1609.
1610.
Virtual, Augmented and Mixed Reality [electronic resource] : 15th International Conference, VAMR 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings / edited by Jessie Y. C. Chen, Gino Fragomeni. 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: 005.437 | 004.019.

1611.
1612.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Series: Lecture Notes in Computer Science ; 8244
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

1613.
1614.
Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings / edited by Ken Peffers, Marcus Rothenberger, Bill Kuechler. by Series: Lecture Notes in Computer Science ; 7286
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).

1615.
RoboCup 2011: Robot Soccer World Cup XV [electronic resource] / edited by Thomas Röfer, N. Michael Mayer, Jesus Savage, Uluc̨ Saranlı. by Series: Lecture Notes in Computer Science ; 7416
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).

1616.
Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Series: Lecture Notes in Computer Science ; 7271
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).

1617.
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin. by Series: Lecture Notes in Computer Science ; 8837
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).

1618.
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci. by Series: Lecture Notes in Computer Science ; 9233
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

1619.
The Authoritative Guide on Harbor [electronic resource] : Management and Practice of Cloud Native Artifacts Such as Container Images and Helm Charts / by Haining Zhang, Yan Wang. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.6782.

1620.
The Management of Continuous Product Development [electronic resource] : Empirical Research in the Online Game Industry / by Wei Huang. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 658.4062 | 658.514.

                                                                           
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