|
|
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.
by Mossakowski, Till [editor.] | Montanari, Ugo [editor.] | Haveraaen, Magne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
Social Computing and Social Media. Human Behavior [electronic resource] : 9th International Conference, SCSM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Gabriele Meiselwitz.
by Meiselwitz, Gabriele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Business Process Management [electronic resource] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth.
by Dustdar, Schahram [editor.] | Fiadeiro, José Luiz [editor.] | Sheth, Amit [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
Advances in Web Intelligence [electronic resource] : Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005, Proceedings / edited by Piotr S. Szczepaniak, Adam Niewiadomski.
by Szczepaniak, Piotr S [editor.] | Niewiadomski, Adam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas.
by Fiadeiro, José Luiz [editor.] | Mosses, Peter [editor.] | Orejas, Fernando [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
Ubiquitous Computing Systems [electronic resource] : 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings / edited by Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn.
by Ichikawa, Haruhisa [editor.] | Cho, We-Duke [editor.] | Satoh, Ichiro [editor.] | Youn, Hee Yong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
Image and Video Retrieval [electronic resource] : 5th Internatinoal Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings / edited by Hari Sundaram, Milind Naphade, John Smith, Yong Rui.
by Sundaram, Hari [editor.] | Naphade, Milind [editor.] | Smith, John [editor.] | Rui, Yong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / edited by Lluis Godo, Andrea Pugliese.
by Godo, Lluis [editor.] | Pugliese, Andrea [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
Adaptive and Intelligent Systems [electronic resource] : Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011, Proceedings / edited by Abdelhamid Bouchachia.
by Bouchachia, Abdelhamid [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
Haptics: Perception, Devices, Mobility, and Communication [electronic resource] : 8th International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part I / edited by Poika Isokoski, Jukka Springare.
by Isokoski, Poika [editor.] | Springare, Jukka [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings / edited by Yuhua Luo.
by Luo, Yuhua [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Technologies for E-Services [electronic resource] : 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers / edited by Christoph Bussler, Ming-Chien Shan.
by Bussler, Christoph [editor.] | Shan, Ming-Chien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Wil M. P. van der Aalst.
by van der Aalst, Wil M. P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 29, 2012, Proceedings / edited by Michael Chau, G. Alan Wang, Wei Thoo Yue, Hsinchun Chen.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Yue, Wei Thoo [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.
by Kordon, Fabrice [editor.] | Sokolsky, Oleg [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / edited by Naoki Kobayashi.
by Kobayashi, Naoki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
Resource Discovery [electronic resource] : Second International Workshop, RED 2009, Lyon, France, August 28, 2009, Revised Papers / edited by Zoé Lacroix.
by Lacroix, Zoé [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
Peer-to-Peer Systems III [electronic resource] : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers / edited by Geoffrey M. Voelker, Scott Shenker.
by Voelker, Geoffrey M [editor.] | Shenker, Scott [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
Graph Transformation [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.
by Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Kreowski, Hans-Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|