Results
|
|
2401.
|
Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino. by
- Pathan, Mukaddim [editor.]
- Wei, Guiyi [editor.]
- Fortino, Giancarlo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8223
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2402.
|
|
|
|
2403.
|
Conceptual Modeling [electronic resource] : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings / edited by Wilfred Ng, Veda C. Storey, Juan C. Trujillo. by
- Ng, Wilfred [editor.]
- Storey, Veda C [editor.]
- Trujillo, Juan C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8217
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2404.
|
|
|
|
2405.
|
|
|
|
2406.
|
|
|
|
2407.
|
Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2012) [electronic resource] : Volume 2 / edited by Jagdish Chand Bansal, Pramod Singh, Kusum Deep, Millie Pant, Atulya Nagar. by
- Bansal, Jagdish Chand [editor.]
- Singh, Pramod [editor.]
- Deep, Kusum [editor.]
- Pant, Millie [editor.]
- Nagar, Atulya [editor.]
- SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 202
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2408.
|
|
|
|
2409.
|
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
- Veanes, Margus [editor.]
- Viganò, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2410.
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
- Groves, Lindsay [editor.]
- Sun, Jing [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2411.
|
|
|
|
2412.
|
|
|
|
2413.
|
|
|
|
2414.
|
|
|
|
2415.
|
|
|
|
2416.
|
|
|
|
2417.
|
|
|
|
2418.
|
|
|
|
2419.
|
|
|
|
2420.
|
|