Results
|
81.
|
|
|
82.
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
- Gonthier, Georges [editor.]
- Norrish, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
83.
|
Cyberspace Safety and Security [electronic resource] : 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings / edited by Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan. by
- Wang, Guojun [editor.]
- Ray, Indrakshi [editor.]
- Feng, Dengguo [editor.]
- Rajarajan, Muttukrishnan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8300
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
84.
|
Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan. by
- Augusto, Juan Carlos [editor.]
- Wichert, Reiner [editor.]
- Collier, Rem [editor.]
- Keyson, David [editor.]
- Salah, Albert Ali [editor.]
- Tan, Ah-Hwee [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8309
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
85.
|
|
|
86.
|
|
|
87.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8297
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
88.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8298
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
89.
|
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
- Baldoni, Roberto [editor.]
- Nisse, Nicolas [editor.]
- Steen, Maarten van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
90.
|
Multiple Access Communcations [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems. by
- Jonsson, Magnus [editor.]
- Vinel, Alexey [editor.]
- Bellalta, Boris [editor.]
- Marina, Ninoslav [editor.]
- Dimitrova, Desislava [editor.]
- Fiems, Dieter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8310
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
91.
|
Worldwide Commonalities and Challenges in Information Literacy Research and Practice [electronic resource] : European Conference on Information Literacy, ECIL 2013 Istanbul, Turkey, October 22-25, 2013 Revised Selected Papers / edited by Serap Kurbanoğlu, Esther Grassian, Diane Mizrachi, Ralph Catts, Sonja Špiranec. by
- Kurbanoğlu, Serap [editor.]
- Grassian, Esther [editor.]
- Mizrachi, Diane [editor.]
- Catts, Ralph [editor.]
- Špiranec, Sonja [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 397
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
92.
|
Critical Information Infrastructures Security [electronic resource] : 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers / edited by Eric Luiijf, Pieter Hartel. by
- Luiijf, Eric [editor.]
- Hartel, Pieter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8328
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
93.
|
Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
- Ermolayev, Vadim [editor.]
- Mayr, Heinrich C [editor.]
- Nikitchenko, Mykola [editor.]
- Spivakovsky, Aleksander [editor.]
- Zholtkevych, Grygoriy [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 412
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
94.
|
Ambient Media and Systems [electronic resource] : Third International ICST Conference, AMBI-SYS 2013, Athens, Greece, March 15, 2013, Revised Selected Papers / edited by Constantinos T. Angelis, Dimitrios Fotiadis, Alexandros T. Tzallas. by
- Angelis, Constantinos T [editor.]
- Fotiadis, Dimitrios [editor.]
- Tzallas, Alexandros T [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 118
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
95.
|
Sensor Systems and Software [electronic resource] : 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers / edited by Marco Zuniga, Gianluca Dini. by
- Zuniga, Marco [editor.]
- Dini, Gianluca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 122
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
96.
|
Security and Privacy in Communication Networks [electronic resource] : 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, Revised Selected Papers / edited by Tanveer Zia, Albert Zomaya, Vijay Varadharajan, Morley Mao. by
- Zia, Tanveer [editor.]
- Zomaya, Albert [editor.]
- Varadharajan, Vijay [editor.]
- Mao, Morley [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 127
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
97.
|
Evolving Ambient Intelligence [electronic resource] : AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers / edited by Michael J. O’Grady, Hamed Vahdat-Nejad, Klaus-Hendrik Wolf, Mauro Dragone, Juan Ye, Carsten Röcker, Gregory O’Hare. by
- O’Grady, Michael J [editor.]
- Vahdat-Nejad, Hamed [editor.]
- Wolf, Klaus-Hendrik [editor.]
- Dragone, Mauro [editor.]
- Ye, Juan [editor.]
- Röcker, Carsten [editor.]
- O’Hare, Gregory [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 413
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
98.
|
|
|
99.
|
|
|
100.
|
|