|
|
10601.
|
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann.
by Gheyi, Rohit [editor.] | Naumann, David [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
|
|
|
10602.
|
E-Science and Information Management [electronic resource] : Third International Symposium on Information Management in a Changing World, IMCW 2012, Ankara, Turkey, September 19-21, 2012. Proceedings / edited by Serap Kurbanoğlu, Umut Al, Phyllis Lepon Erdoğan, Yaşar Tonta, Nazan Uçak.
by Kurbanoğlu, Serap [editor.] | Al, Umut [editor.] | Erdoğan, Phyllis Lepon [editor.] | Tonta, Yaşar [editor.] | Uçak, Nazan [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
|
|
|
10603.
|
Information and Software Technologies [electronic resource] : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkiene.
by Skersys, Tomas [editor.] | Butleris, Rimantas [editor.] | Butkiene, Rita [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
|
|
|
10604.
|
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
|
|
|
10605.
|
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
|
|
|
10606.
|
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
|
|
|
10607.
|
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
|
|
|
10608.
|
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
|
|
|
10609.
|
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
|
|
|
10610.
|
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
|
|
|
10611.
|
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
|
|
|
10612.
|
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
|
|
|
10613.
|
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
|
|
|
10614.
|
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
|
|
|
10615.
|
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
|
|
|
10616.
|
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
|
|
|
10617.
|
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
|
|
|
10618.
|
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
|
|
|
10619.
|
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
|
|
|
10620.
|
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
|
