Results
|
|
1041.
|
|
|
|
1042.
|
Recent Advances in Intrusion Detection [electronic resource] : 14th International Symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011. Proceedings / edited by Robin Sommer, Davide Balzarotti, Gregor Maier. by Series: Lecture Notes in Computer Science ; 6961
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
1043.
|
|
|
|
1044.
|
|
|
|
1045.
|
|
|
|
1046.
|
|
|
|
1047.
|
|
|
|
1048.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel. by Series: Lecture Notes in Computer Science ; 6722
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
1049.
|
|
|
|
1050.
|
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. by Series: Lecture Notes in Computer Science ; 6698
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
1051.
|
|
|
|
1052.
|
|
|
|
1053.
|
|
|
|
1054.
|
|
|
|
1055.
|
|
|
|
1056.
|
|
|
|
1057.
|
|
|
|
1058.
|
|
|
|
1059.
|
|
|
|
1060.
|
|