Refine your search

Your search returned 350 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
221.
Critical Infrastructure Protection VII [electronic resource] : 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers / edited by Jonathan Butts, Sujeet Shenoi. by
  • Butts, Jonathan [editor.]
  • Shenoi, Sujeet [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 417
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
222.
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 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
223.
Cyber-physical systems : integrated computing and engineering design / Fei Hu. by
  • Hu, Fei, 1972-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : CRC press, c2014
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 629.89 HUC, ...

Place hold Add to cart
224.
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
225.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
  • Sharygina, Natasha [editor.]
  • Veith, Helmut [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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
226.
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
227.
Distributed User Interfaces: Usability and Collaboration [electronic resource] / edited by María D. Lozano, Jose A. Gallud, Ricardo Tesoriero, Victor M.R. Penichet. by
  • Lozano, María D [editor.]
  • Gallud, Jose A [editor.]
  • Tesoriero, Ricardo [editor.]
  • Penichet, Victor M.R [editor.]
  • SpringerLink (Online service)
Series: Human–Computer Interaction Series
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
228.
Multimedia Processing, Communication and Computing Applications [electronic resource] : Proceedings of the First International Conference, ICMCCA, 13-15 December 2012 / edited by Punitha P. Swamy, Devanur S. Guru. by
  • Swamy, Punitha P [editor.]
  • Guru, Devanur S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 213
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
229.
Android Malware [electronic resource] / by Xuxian Jiang, Yajin Zhou. by
  • Jiang, Xuxian [author.]
  • Zhou, Yajin [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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
230.
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by
  • Kučera, Antonín [editor.]
  • Henzinger, Thomas A [editor.]
  • Nešetřil, Jaroslav [editor.]
  • Vojnar, Tomáš [editor.]
  • Antoš, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7721
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
231.
Mining Intelligence and Knowledge Exploration [electronic resource] : First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings / edited by Rajendra Prasath, T. Kathirvalavakumar. by
  • Prasath, Rajendra [editor.]
  • Kathirvalavakumar, T [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8284
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
232.
Concise Guide to Databases [electronic resource] : A Practical Introduction / by Peter Lake, Paul Crowther. by
  • Lake, Peter [author.]
  • Crowther, Paul [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
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
233.
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil. by
  • Park, James J. (Jong Hyuk) [editor.]
  • Arabnia, Hamid R [editor.]
  • Kim, Cheonshik [editor.]
  • Shi, Weisong [editor.]
  • Gil, Joon-Min [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7861
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
234.
Pro JSF and HTML5 [electronic resource] : Building Rich Internet Components / by Hazem Saleh, Allan Lykke Christensen, Zubin Wadia. by
  • Saleh, Hazem [author.]
  • Christensen, Allan Lykke [author.]
  • Wadia, Zubin [author.]
  • SpringerLink (Online service)
Edition: Second Edition.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Online access:
Availability: No items available.

Add to cart
235.
Web Technologies and Applications [electronic resource] : 15th Asia-Pacific Web Conference, APWeb 2013, Sydney, Australia, April 4-6, 2013. Proceedings / edited by Yoshiharu Ishikawa, Jianzhong Li, Wei Wang, Rui Zhang, Wenjie Zhang. by
  • Ishikawa, Yoshiharu [editor.]
  • Li, Jianzhong [editor.]
  • Wang, Wei [editor.]
  • Zhang, Rui [editor.]
  • Zhang, Wenjie [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7808
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
236.
Selected Areas in Cryptography [electronic resource] : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers / edited by Lars R. Knudsen, Huapeng Wu. by
  • Knudsen, Lars R [editor.]
  • Wu, Huapeng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7707
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
237.
Measuring SIP Proxy Server Performance [electronic resource] / by Sureshkumar V. Subramanian, Rudra Dutta. by
  • Subramanian, Sureshkumar V [author.]
  • Dutta, Rudra [author.]
  • SpringerLink (Online service)
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
238.
Guide to Cloud Computing [electronic resource] : Principles and Practice / by Richard Hill, Laurie Hirsch, Peter Lake, Siavash Moshiri. by
  • Hill, Richard [author.]
  • Hirsch, Laurie [author.]
  • Lake, Peter [author.]
  • Moshiri, Siavash [author.]
  • SpringerLink (Online service)
Series: Computer Communications and Networks
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
239.
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 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
240.
Counterterrorism and Cybersecurity [electronic resource] : Total Information Awareness / by Newton Lee. by
  • Lee, Newton [author.]
  • 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
Pages