|
|
13961.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13962.
|
Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose.
by Kinny, David [editor.] | Hsu, Jane Yung-jen [editor.] | Governatori, Guido [editor.] | Ghose, Aditya K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13963.
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert.
by Schreck, Pascal [editor.] | Narboux, Julien [editor.] | Richter-Gebert, Jürgen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13964.
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania.
by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng-Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13965.
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania.
by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | Kumar, Akhil [editor.] | Reichert, Manfred [editor.] | Qing, Li [editor.] | Ooi, Beng-Chin [editor.] | Damiani, Ernesto [editor.] | Schmidt, Douglas C [editor.] | White, Jules [editor.] | Hauswirth, Manfred [editor.] | Hitzler, Pascal [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13966.
|
On the Move to Meaningful Internet Systems: OTM 2011 Workshops [electronic resource] : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.
by Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13967.
|
Business Process Model and Notation [electronic resource] : Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings / edited by Remco Dijkman, Jörg Hofstetter, Jana Koehler.
by Dijkman, Remco [editor.] | Hofstetter, Jörg [editor.] | Koehler, Jana [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13968.
|
Ambient Intelligence [electronic resource] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings / edited by David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben J. A. Kröse.
by Keyson, David V [editor.] | Maher, Mary Lou [editor.] | Streitz, Norbert [editor.] | Cheok, Adrian [editor.] | Augusto, Juan Carlos [editor.] | Wichert, Reiner [editor.] | Englebienne, Gwenn [editor.] | Aghajan, Hamid [editor.] | Kröse, Ben J. A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13969.
|
Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings / edited by Baoxiang Liu, Chunlai Chai.
by Liu, Baoxiang [editor.] | Chai, Chunlai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13970.
|
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang.
by Yang, Hongseok [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13971.
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre [editor.] | Shao, Zhong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13972.
|
Complex Networks [electronic resource] : Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers / edited by Luciano F. Costa, Alexandre Evsukoff, Giuseppe Mangioni, Ronaldo Menezes.
by F. Costa, Luciano [editor.] | Evsukoff, Alexandre [editor.] | Mangioni, Giuseppe [editor.] | Menezes, Ronaldo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13973.
|
Social Robotics [electronic resource] : Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings / edited by Bilge Mutlu, Christoph Bartneck, Jaap Ham, Vanessa Evers, Takayuki Kanda.
by Mutlu, Bilge [editor.] | Bartneck, Christoph [editor.] | Ham, Jaap [editor.] | Evers, Vanessa [editor.] | Kanda, Takayuki [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13974.
|
Internet and Network Economics [electronic resource] : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings / edited by Ning Chen, Edith Elkind, Elias Koutsoupias.
by Chen, Ning [editor.] | Elkind, Edith [editor.] | Koutsoupias, Elias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13975.
|
Service-Oriented Computing [electronic resource] : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings / edited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad.
by Kappel, Gerti [editor.] | Maamar, Zakaria [editor.] | Motahari-Nezhad, Hamid R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13976.
|
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges [electronic resource] : IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers / edited by Karin Anna Hummel, Helmut Hlavacs, Wilfried Gansterer.
by Hummel, Karin Anna [editor.] | Hlavacs, Helmut [editor.] | Gansterer, Wilfried [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13977.
|
Knowledge Engineering and Management [electronic resource] : Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011) / edited by Yinglin Wang, Tianrui Li.
by Wang, Yinglin [editor.] | Li, Tianrui [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
13978.
|
Research in Systems Analysis and Design: Models and Methods [electronic resource] : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers / edited by Stanisław Wrycza.
by Wrycza, Stanisław [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13979.
|
Computational Intelligence and Information Technology [electronic resource] : First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan.
by Das, Vinu V [editor.] | Thankachan, Nessy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13980.
|
Middleware 2011 [electronic resource] : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings / edited by Fabio Kon, Anne-Marie Kermarrec.
by Kon, Fabio [editor.] | Kermarrec, Anne-Marie [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
