Refine your search

Your search returned 2759 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2421.
Emerging Management Mechanisms for the Future Internet [electronic resource] : 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings / edited by Guillaume Doyen, Martin Waldburger, Pavel Čeleda, Anna Sperotto, Burkhard Stiller. by
  • Doyen, Guillaume [editor.]
  • Waldburger, Martin [editor.]
  • Čeleda, Pavel [editor.]
  • Sperotto, Anna [editor.]
  • Stiller, Burkhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7943
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
2422.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by
  • Liu, Shaoying [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7787
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
2423.
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
  • Lourenço, João M [editor.]
  • Farchi, Eitan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
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
2424.
Enabling Things to Talk [electronic resource] : Designing IoT solutions with the IoT Architectural Reference Model / edited by Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Rob van Kranenburg, Sebastian Lange, Stefan Meissner. by
  • Bassi, Alessandro [editor.]
  • Bauer, Martin [editor.]
  • Fiedler, Martin [editor.]
  • Kramp, Thorsten [editor.]
  • Kranenburg, Rob van [editor.]
  • Lange, Sebastian [editor.]
  • Meissner, Stefan [editor.]
  • SpringerLink (Online service)
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
2425.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / 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 ; 8119
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
2426.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / 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 ; 8117
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
2427.
Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. by
  • Palamidessi, Catuscia [editor.]
  • Ryan, Mark D [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8191
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
2428.
Pollution Under Environmental Regulation in Energy Markets [electronic resource] / by Francesco Gullì. by
  • Gullì, Francesco [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Energy ; 6
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2429.
Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing [electronic resource] / edited by Vinu V. Das. by
  • Das, Vinu V [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 150
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2430.
Handbook of Optimization [electronic resource] : From Classical to Modern Approach / edited by Ivan Zelinka, Václav Snášel, Ajith Abraham. by
  • Zelinka, Ivan [editor.]
  • Snášel, Václav [editor.]
  • Abraham, Ajith [editor.]
  • SpringerLink (Online service)
Series: Intelligent Systems Reference Library ; 38
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
2431.
Intelligent Counting Under Information Imprecision [electronic resource] : Applications to Intelligent Systems and Decision Support / by Maciej Wygralak. by
  • Wygralak, Maciej [author.]
  • SpringerLink (Online service)
Series: Studies in Fuzziness and Soft Computing ; 292
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
2432.
Efficient 3D Scene Modeling and Mosaicing [electronic resource] / by Tudor Nicosevici, Rafael Garcia. by
  • Nicosevici, Tudor [author.]
  • Garcia, Rafael [author.]
  • SpringerLink (Online service)
Series: Springer Tracts in Advanced Robotics ; 87
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
2433.
Approaches to Probabilistic Model Learning for Mobile Manipulation Robots [electronic resource] / by Jürgen Sturm. by
  • Sturm, Jürgen [author.]
  • SpringerLink (Online service)
Series: Springer Tracts in Advanced Robotics ; 89
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
2434.
Android security : attacks and defenses / Abhishek Dubey, Anmol Misra, by
  • Dubey, Abhishek
  • Misra, Anmol
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : CRC press, c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.8 DUA, ...

Place hold Add to cart
2435.
Human Factors in Augmented Reality Environments [electronic resource] / edited by Weidong Huang, Leila Alem, Mark A. Livingston. by
  • Huang, Weidong [editor.]
  • Alem, Leila [editor.]
  • Livingston, Mark A [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2436.
Integral Methods in Science and Engineering [electronic resource] : Progress in Numerical and Analytic Techniques / edited by Christian Constanda, Bardo E.J. Bodmann, Haroldo F. de Campos Velho. by
  • Constanda, Christian [editor.]
  • Bodmann, Bardo E.J [editor.]
  • Velho, Haroldo F. de Campos [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
Online access:
Availability: No items available.

Add to cart
2437.
Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers / edited by Vincent Guyot. by
  • Guyot, Vincent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7593
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
2438.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / edited by Alexander Dudin, Koen De Turck. by
  • Dudin, Alexander [editor.]
  • Turck, Koen De [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7984
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
2439.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
  • Blazy, Sandrine [editor.]
  • Paulin-Mohring, Christine [editor.]
  • Pichardie, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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
2440.
Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin. by
  • Malyshkin, Victor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7979
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