Refine your search

Your search returned 2058 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1361.
Applied Cryptography and Network Security [electronic resource] : 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings / edited by Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini. by
  • Jacobson, Michael [editor.]
  • Locasto, Michael [editor.]
  • Mohassel, Payman [editor.]
  • Safavi-Naini, Reihaneh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7954
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1362.
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
  • Guo, Chengan [editor.]
  • Hou, Zeng-Guang [editor.]
  • Zeng, Zhigang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7951
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1363.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings / edited by Linda C. van der Gaag. by
  • Gaag, Linda C. van der [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7958
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1364.
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
  • Bartocci, Ezio [editor.]
  • Ramakrishnan, C. R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1365.
Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion [electronic resource] : 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Constantine Stephanidis, Margherita Antona. by
  • Stephanidis, Constantine [editor.]
  • Antona, Margherita [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8009
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1366.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7965
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1367.
Human Interface and the Management of Information. Information and Interaction Design [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Sakae Yamamoto. by
  • Yamamoto, Sakae [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8016
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1368.
Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Sakae Yamamoto. by
  • Yamamoto, Sakae [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8017
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1369.
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Masaaki Kurosu. by
  • Kurosu, Masaaki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8004
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1370.
Human-Computer Interaction. Applications and Services [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Masaaki Kurosu. by
  • Kurosu, Masaaki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8005
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1371.
Human-Computer Interaction. Towards Intelligent and Implicit Interaction [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V / edited by Masaaki Kurosu. by
  • Kurosu, Masaaki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8008
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1372.
Data Integration in the Life Sciences [electronic resource] : 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings / edited by Christopher J. O. Baker, Greg Butler, Igor Jurisica. by
  • Baker, Christopher J. O [editor.]
  • Butler, Greg [editor.]
  • Jurisica, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7970
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1373.
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by
  • Morgenstern, Leora [editor.]
  • Stefaneas, Petros [editor.]
  • Lévy, François [editor.]
  • Wyner, Adam [editor.]
  • Paschke, Adrian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8035
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1374.
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / edited by Wolfgang Faber, Domenico Lembo. by
  • Faber, Wolfgang [editor.]
  • Lembo, Domenico [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7994
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1375.
Wireless Algorithms, Systems, and Applications [electronic resource] : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / edited by Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing. by
  • Ren, Kui [editor.]
  • Liu, Xue [editor.]
  • Liang, Weifa [editor.]
  • Xu, Ming [editor.]
  • Jia, Xiaohua [editor.]
  • Xing, Kai [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7992
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1376.
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1377.
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott. by
  • Lepora, Nathan F [editor.]
  • Mura, Anna [editor.]
  • Krapp, Holger G [editor.]
  • Verschure, Paul F. M. J [editor.]
  • Prescott, Tony J [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8064
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1378.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers / edited by Emmanuel Prouff. by
  • Prouff, Emmanuel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7864
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1379.
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. by
  • Hameurlain, Abdelkader [editor.]
  • Küng, Josef [editor.]
  • Wagner, Roland [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7980
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
1380.
Digital Forensics and Watermaking [electronic resource] : 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers / edited by Yun Q. Shi, Hyoung-Joong Kim, Fernando Pérez-González. by
  • Shi, Yun Q [editor.]
  • Kim, Hyoung-Joong [editor.]
  • Pérez-González, Fernando [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7809
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages