Refine your search

Your search returned 372 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
321.
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
322.
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
323.
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
324.
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
325.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
  • Veanes, Margus [editor.]
  • Viganò, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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
326.
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
327.
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
328.
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
329.
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
330.
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
331.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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
332.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
333.
ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna. by
  • Castagna, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7920
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
334.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II / 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 ; 8118
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
335.
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
  • Leite, João [editor.]
  • Son, Tran Cao [editor.]
  • Torroni, Paolo [editor.]
  • Torre, Leon van der [editor.]
  • Woltran, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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
336.
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira. by
  • Urzaiz, Gabriel [editor.]
  • Ochoa, Sergio F [editor.]
  • Bravo, José [editor.]
  • Chen, Liming Luke [editor.]
  • Oliveira, Jonice [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8276
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
337.
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
  • Qadeer, Shaz [editor.]
  • Tasiran, Serdar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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
338.
Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / edited by Stefan Mangard. by
  • Mangard, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7771
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
339.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by
  • Coecke, Bob [editor.]
  • Ong, Luke [editor.]
  • Panangaden, Prakash [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7860
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
340.
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
Pages