|
|
15081.
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin.
by Kahl, Wolfram [editor.] | Griffin, Timothy G [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15082.
|
Arts and Technology [electronic resource] : Second International Conference, ArtsIT 2011, Esbjerg, Denmark, December 10-11, 2011, Revised Selected Papers / edited by Anthony L. Brooks.
by Brooks, Anthony L [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15083.
|
ICT Critical Infrastructures and Society [electronic resource] : 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedings / edited by Magda David Hercheui, Diane Whitehouse, William McIver, Jackie Phahlamohlaka.
by Hercheui, Magda David [editor.] | Whitehouse, Diane [editor.] | McIver, William [editor.] | Phahlamohlaka, Jackie [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15084.
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings / edited by Davide Balzarotti, Salvatore J. Stolfo, Marco Cova.
by Balzarotti, Davide [editor.] | Stolfo, Salvatore J [editor.] | Cova, Marco [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15085.
|
KI 2012: Advances in Artificial Intelligence [electronic resource] : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings / edited by Birte Glimm, Antonio Krüger.
by Glimm, Birte [editor.] | Krüger, Antonio [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15086.
|
Cellular Automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / edited by Georgios Ch. Sirakoulis, Stefania Bandini.
by Sirakoulis, Georgios Ch [editor.] | Bandini, Stefania [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15087.
|
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin.
by Cerro, Luis Fariñas [editor.] | Herzig, Andreas [editor.] | Mengin, Jérôme [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15088.
|
Scalable Uncertainty Management [electronic resource] : 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings / edited by Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger.
by Hüllermeier, Eyke [editor.] | Link, Sebastian [editor.] | Fober, Thomas [editor.] | Seeger, Bernhard [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15089.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković.
by Jurdziński, Marcin [editor.] | Ničković, Dejan [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15090.
|
Green Communications and Networking [electronic resource] : First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers / edited by Joel J. P. C. Rodrigues, Liang Zhou, Min Chen, Aravind Kailas.
by Rodrigues, Joel J. P. C [editor.] | Zhou, Liang [editor.] | Chen, Min [editor.] | Kailas, Aravind [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15091.
|
Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / edited by Dieter Gollmann, Felix C. Freiling.
by Gollmann, Dieter [editor.] | Freiling, Felix C [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15092.
|
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund.
by Chakraborty, Supratik [editor.] | Mukund, Madhavan [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15093.
|
Security and Privacy in Mobile Information and Communication Systems [electronic resource] : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers / edited by Andreas U. Schmidt, Giovanni Russello, Ioannis Krontiris, Shiguo Lian.
by Schmidt, Andreas U [editor.] | Russello, Giovanni [editor.] | Krontiris, Ioannis [editor.] | Lian, Shiguo [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15094.
|
Understanding High-Dimensional Spaces [electronic resource] / by David B. Skillicorn.
by Skillicorn, David B [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
15095.
|
Artificial Intelligence Applications and Innovations [electronic resource] : 8th IFIP WG 12.5 International Conference, AIAI 2012, Halkidiki, Greece, September 27-30, 2012, Proceedings, Part I / edited by Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos.
by Iliadis, Lazaros [editor.] | Maglogiannis, Ilias [editor.] | Papadopoulos, Harris [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15096.
|
Artificial Intelligence Applications and Innovations [electronic resource] : AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Halkidiki, Greece, September 27-30, 2012, Proceedings, Part II / edited by Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos, Kostas Karatzas, Spyros Sioutas.
by Iliadis, Lazaros [editor.] | Maglogiannis, Ilias [editor.] | Papadopoulos, Harris [editor.] | Karatzas, Kostas [editor.] | Sioutas, Spyros [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15097.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I / edited by Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori.
by Ayache, Nicholas [editor.] | Delingette, Hervé [editor.] | Golland, Polina [editor.] | Mori, Kensaku [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15098.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II / edited by Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori.
by Ayache, Nicholas [editor.] | Delingette, Hervé [editor.] | Golland, Polina [editor.] | Mori, Kensaku [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15099.
|
Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro.
by Paoli, Flavio [editor.] | Pimentel, Ernesto [editor.] | Zavattaro, Gianluigi [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
15100.
|
Open Source Systems: Long-Term Sustainability [electronic resource] : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings / edited by Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi.
by Hammouda, Imed [editor.] | Lundell, Björn [editor.] | Mikkonen, Tommi [editor.] | Scacchi, Walt [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, 2012Online access: Click here to access online Availability: No items available
|