Results
|
|
2021.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / by Series: Programming and Software Engineering ; 6217
Edition: 1st ed. 2010.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2022.
|
|
|
|
2023.
|
|
|
|
2024.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems VI [electronic resource] : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6541
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2025.
|
|
|
|
2026.
|
|
|
|
2027.
|
|
|
|
2028.
|
Compiler Construction [electronic resource] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7210
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2029.
|
Distributed Computing and Internet Technology [electronic resource] : Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3816
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2030.
|
|
|
|
2031.
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 7714
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2032.
|
|
|
|
2033.
|
|
|
|
2034.
|
|
|
|
2035.
|
|
|
|
2036.
|
|
|
|
2037.
|
Design, User Experience, and Usability: Novel User Experiences [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9747
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2038.
|
|
|
|
2039.
|
|
|
|
2040.
|
|
