Results
|
|
201.
|
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
- Kotzé, Paula [editor.]
- Marsden, Gary [editor.]
- Lindgaard, Gitte [editor.]
- Wesson, Janet [editor.]
- Winckler, Marco [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8120
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
202.
|
|
|
|
203.
|
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
- Giachino, Elena [editor.]
- Hähnle, Reiner [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
204.
|
Progress in Artificial Intelligence [electronic resource] : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings / edited by Luís Correia, Luís Paulo Reis, José Cascalho. by
- Correia, Luís [editor.]
- Reis, Luís Paulo [editor.]
- Cascalho, José [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8154
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
205.
|
Communications and Multimedia Security [electronic resource] : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings / edited by Bart De Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer. by
- Decker, Bart De [editor.]
- Dittmann, Jana [editor.]
- Kraetzer, Christian [editor.]
- Vielhauer, Claus [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8099
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
206.
|
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
- Legay, Axel [editor.]
- Bensalem, Saddek [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
207.
|
Information Access Evaluation. Multilinguality, Multimodality, and Visualization [electronic resource] : 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings / edited by Pamela Forner, Henning Müller, Roberto Paredes, Paolo Rosso, Benno Stein. by
- Forner, Pamela [editor.]
- Müller, Henning [editor.]
- Paredes, Roberto [editor.]
- Rosso, Paolo [editor.]
- Stein, Benno [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8138
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
208.
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings / edited by Yuhua Luo. by
- Luo, Yuhua [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8091
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
209.
|
Intelligent Robotics and Applications [electronic resource] : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II / edited by Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu. by
- Lee, Jangmyung [editor.]
- Lee, Min Cheol [editor.]
- Liu, Honghai [editor.]
- Ryu, Jee-Hwan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8103
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
210.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
- Grossi, Davide [editor.]
- Roy, Olivier [editor.]
- Huang, Huaxin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
211.
|
|
|
|
212.
|
Provable Security [electronic resource] : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings / edited by Willy Susilo, Reza Reyhanitabar. by
- Susilo, Willy [editor.]
- Reyhanitabar, Reza [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8209
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
213.
|
The Semantic Web – ISWC 2013 [electronic resource] : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II / edited by Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz. by
- Alani, Harith [editor.]
- Kagal, Lalana [editor.]
- Fokoue, Achille [editor.]
- Groth, Paul [editor.]
- Biemann, Chris [editor.]
- Parreira, Josiane Xavier [editor.]
- Aroyo, Lora [editor.]
- Noy, Natasha [editor.]
- Welty, Chris [editor.]
- Janowicz, Krzysztof [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8219
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
214.
|
Model and Data Engineering [electronic resource] : Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings / edited by Alfredo Cuzzocrea, Sofian Maabout. by
- Cuzzocrea, Alfredo [editor.]
- Maabout, Sofian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8216
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
215.
|
|
|
|
216.
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I / edited by José Ruiz-Shulcloper, Gabriella Sanniti di Baja. by
- Ruiz-Shulcloper, José [editor.]
- Sanniti di Baja, Gabriella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8258
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
217.
|
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / edited by Kazue Sako, Palash Sarkar. by
- Sako, Kazue [editor.]
- Sarkar, Palash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8269
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
218.
|
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / edited by Kazue Sako, Palash Sarkar. by
- Sako, Kazue [editor.]
- Sarkar, Palash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8270
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
219.
|
Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu. by
- Basu, Samik [editor.]
- Pautasso, Cesare [editor.]
- Zhang, Liang [editor.]
- Fu, Xiang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8274
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
220.
|
Algorithms and Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam. by
- Cai, Leizhen [editor.]
- Cheng, Siu-Wing [editor.]
- Lam, Tak-Wah [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8283
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
