|
|
11741.
|
Objects, Models, Components, Patterns [electronic resource] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings / edited by Judith Bishop, Antonio Vallecillo.
by Bishop, Judith [editor.] | Vallecillo, Antonio [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
|
|
|
11742.
|
Progress in Cryptology – AFRICACRYPT 2011 [electronic resource] : 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings / edited by Abderrahmane Nitaj, David Pointcheval.
by Nitaj, Abderrahmane [editor.] | Pointcheval, David [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
|
|
|
11743.
|
Research and Education in Robotics - EUROBOT 2011 [electronic resource] : International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings / edited by David Obdržálek, Achim Gottscheber.
by Obdržálek, David [editor.] | Gottscheber, Achim [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
|
|
|
11744.
|
Digital Information and Communication Technology and Its Applications [electronic resource] : International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011. Proceedings, Part I / edited by Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh.
by Cherifi, Hocine [editor.] | Zain, Jasni Mohamad [editor.] | El-Qawasmeh, Eyas [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
|
|
|
11745.
|
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 – July 1, 2011. Proceedings / edited by James O’Shea, Ngoc Thanh Nguyen, Keeley Crockett, Robert J. Howlett, Lakhmi C. Jain.
by O’Shea, James [editor.] | Nguyen, Ngoc Thanh [editor.] | Crockett, Keeley [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [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
|
|
|
11746.
|
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I / edited by Luca Aceto, Monika Henzinger, Jiří Sgall.
by Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jiří [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
|
|
|
11747.
|
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / edited by Luca Aceto, Monika Henzinger, Jiří Sgall.
by Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jiří [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
|
|
|
11748.
|
Virtual and Mixed Reality - New Trends [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Randall Shumaker.
by Shumaker, Randall [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
|
|
|
11749.
|
Virtual and Mixed Reality - Systems and Applications [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Randall Shumaker.
by Shumaker, Randall [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
|
|
|
11750.
|
Digital Information and Communication Technology and Its Applications [electronic resource] : International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part II / edited by Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh.
by Cherifi, Hocine [editor.] | Zain, Jasni Mohamad [editor.] | El-Qawasmeh, Eyas [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
|
|
|
11751.
|
Transactions on Aspect-Oriented Software Development VIII [electronic resource] / edited by Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen.
by Katz, Shmuel [editor.] | Mezini, Mira [editor.] | Schwanninger, Christine [editor.] | Joosen, Wouter [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
|
|
|
11752.
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings / edited by Michael Chau, G. Alan Wang, Xiaolong Zheng, Hsinchun Chen, Daniel Zeng, Wenji Mao.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Zheng, Xiaolong [editor.] | Chen, Hsinchun [editor.] | Zeng, Daniel [editor.] | Mao, Wenji [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
|
|
|
11753.
|
Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings / edited by Sven Apel, Ethan Jackson.
by Apel, Sven [editor.] | Jackson, Ethan [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
|
|
|
11754.
|
Advanced Information Systems Engineering Workshops [electronic resource] : CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings / edited by Camille Salinesi, Oscar Pastor.
by Salinesi, Camille [editor.] | Pastor, Oscar [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
|
|
|
11755.
|
Information Processing in Medical Imaging [electronic resource] : 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011. Proceedings / edited by Gábor Székely, Horst K. Hahn.
by Székely, Gábor [editor.] | Hahn, Horst 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
|
|
|
11756.
|
HCI International 2011 – Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Constantine Stephanidis.
by Stephanidis, Constantine [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
|
|
|
11757.
|
HCI International 2011 – Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Constantine Stephanidis.
by Stephanidis, Constantine [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
|
|
|
11758.
|
Cusped Shell-Like Structures [electronic resource] / by George Jaiani.
by Jaiani, George [author.] | 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
|
|
|
11759.
|
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer.
by Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [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
|
|
|
11760.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe.
by Brünnler, Kai [editor.] | Metcalfe, George [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
|
