|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / edited by Franck Cassez, Claude Jard.
by Cassez, Franck [editor.] | Jard, Claude [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
|
|
|
|
Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Ville Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski.
by Kolehmainen, Ville [editor.] | Toivanen, Pekka [editor.] | Beliczynski, Bartlomiej [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Lydia Y. Chen, Hans P. Reiser.
by Chen, Lydia Y [editor.] | Reiser, Hans P [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
|
|
|
|
Computer and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings / edited by Pinar Yolum, Tunga Güngör, Fikret Gürgen, Can Özturan.
by Yolum, Pinar [editor.] | Güngör, Tunga [editor.] | Gürgen, Fikret [editor.] | Özturan, Can [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
|
|
|
|
Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization / edited by Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra.
by Stuckenschmidt, Heiner [editor.] | Parent, Christine [editor.] | Spaccapietra, Stefano [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings / edited by Marta Indulska, Sandeep Purao.
by Indulska, Marta [editor.] | Purao, Sandeep [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / edited by Twittie Senivongse, Rui Oliveira.
by Senivongse, Twittie [editor.] | Oliveira, Rui [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
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski.
by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [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
|
|
|
|
Middleware 2010 [electronic resource] : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings / edited by Indranil Gupta, Cecilia Mascolo.
by Gupta, Indranil [editor.] | Mascolo, Cecilia [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / edited by Sang-Soo Yeo, Jong Hyuk Park, Laurence Tianruo Yang, Ching-Hsien Hsu.
by Yeo, Sang-Soo [editor.] | Park, Jong Hyuk [editor.] | Yang, Laurence Tianruo [editor.] | Hsu, Ching-Hsien [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
|
|
|
|
Search Computing [electronic resource] : Trends and Developments / edited by Stefano Ceri, Marco Brambilla.
by Ceri, Stefano [editor.] | Brambilla, Marco [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
|
|
|
|
AD-HOC, Mobile and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011, Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup.
by Frey, Hannes [editor.] | Li, Xu [editor.] | Ruehrup, Stefan [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
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings / edited by Itsuki Noda, Noriako Ando, Davide Brugali, James J. Kuffner.
by Noda, Itsuki [editor.] | Ando, Noriako [editor.] | Brugali, Davide [editor.] | Kuffner, James J [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
|
|
|
|
Active and Programmable Networks [electronic resource] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005, Revised Papers / edited by David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden.
by Hutchison, David [editor.] | Denazis, Spyros [editor.] | Lefevre, Laurent [editor.] | Minden, Gary J [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
|
|
|
|
Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports / edited by Patrick Eugster.
by Eugster, Patrick [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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Adrian Paschke, Guido Governatori, John Hall.
by Paschke, Adrian [editor.] | Governatori, Guido [editor.] | Hall, John [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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I / edited by Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà, Youngsong Mun.
by Gervasi, Osvaldo [editor.] | Taniar, David [editor.] | Murgante, Beniamino [editor.] | Laganà, Antonio [editor.] | Mun, Youngsong [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
|
|
|
|
Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Kim Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammueller.
by Cipolla Ficarra, Francisco V [editor.] | Veltman, Kim [editor.] | Verber, Domen [editor.] | Cipolla-Ficarra, Miguel [editor.] | Kammueller, Florian [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
|
|
|
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings / edited by Alexander Dudin, Koen De Turck.
by Dudin, Alexander [editor.] | De Turck, Koen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
