Results
|
|
1.
|
|
|
|
2.
|
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).
|
|
|
3.
|
Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran. by Series: Lecture Notes in Computer Science ; 8767
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
4.
|
Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran. by Series: Lecture Notes in Computer Science ; 8767
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|