Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Series: Lecture Notes in Computer Science ; 7305
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
2.
Secure and Trustworthy Service Composition [electronic resource] : The Aniketos Approach / edited by Achim D. Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios. by Series: Lecture Notes in Computer Science ; 8900
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).

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