Refine your search

Your search returned 2058 results.

Not what you expected? Check for suggestions
Sort
Results
441.
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by
  • Brocke, Jan vom [editor.]
  • Hekkala, Riitta [editor.]
  • Ram, Sudha [editor.]
  • Rossi, Matti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7939
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
Availability: No items available.

442.
Progress in Cryptology – INDOCRYPT 2013 [electronic resource] : 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings / edited by Goutam Paul, Serge Vaudenay. by
  • Paul, Goutam [editor.]
  • Vaudenay, Serge [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8250
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

443.
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
  • Duchier, Denys [editor.]
  • Parmentier, Yannick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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
Availability: No items available.

444.
Mobile Authentication [electronic resource] : Problems and Solutions / by Markus Jakobsson. by
  • Jakobsson, Markus [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
Availability: No items available.

445.
Transactions on Edutainment IX [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Fotis Liarokapis. by
  • Pan, Zhigeng [editor.]
  • Cheok, Adrian David [editor.]
  • Müller, Wolfgang [editor.]
  • Liarokapis, Fotis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7544
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
Availability: No items available.

446.
Managing Risk and Information Security [electronic resource] : Protect to Enable / by Malcolm Harkins. by
  • Harkins, Malcolm [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.

447.
Distributed Graph Algorithms for Computer Networks [electronic resource] / by K. Erciyes. by
  • Erciyes, K [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
Availability: No items available.

448.
Introduction to Bisimulation and Coinduction / Davide Sangiorgi. by
  • Sangiorgi, Davide [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Introduction to Bisimulation & Coinduction
Availability: No items available.

449.
Computer vision : algorithms and applications / Richard Szeliski. by
  • Szeliski, Richard, 1958-
Series: Texts in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.37 CZC, ...

450.
WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama. by
  • Ghosh, Subir Kumar [editor.]
  • Tokuyama, Takeshi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7748
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
Availability: No items available.

451.
High Performance Computing in Science and Engineering ‘12 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012 / edited by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch. by
  • Nagel, Wolfgang E [editor.]
  • Kröner, Dietmar H [editor.]
  • Resch, Michael M [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
Availability: No items available.

452.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by
  • Crespi Reghizzi, Stefano [author.]
  • Breveglieri, Luca [author.]
  • Morzenti, Angelo [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

453.
Sustainable Web Ecosystem Design [electronic resource] / by Greg O'Toole. by
  • O'Toole, Greg [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
Availability: No items available.

454.
Programming language concepts / Peter Sestoft. by
  • Sestoft, Peter
Series: Undergraduate topics in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Springer, ©2012
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.13 SEP, ...

455.
Guide to Voice and Video over IP [electronic resource] : For Fixed and Mobile Networks / by Lingfen Sun, Is-Haka Mkwawa, Emmanuel Jammeh, Emmanuel Ifeachor. by
  • Sun, Lingfen [author.]
  • Mkwawa, Is-Haka [author.]
  • Jammeh, Emmanuel [author.]
  • Ifeachor, Emmanuel [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
Availability: No items available.

456.
Wireless Access Flexibility [electronic resource] : First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings / edited by Giuseppe Bianchi, Andrey Lyakhov, Evgeny Khorov. by
  • Bianchi, Giuseppe [editor.]
  • Lyakhov, Andrey [editor.]
  • Khorov, Evgeny [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8072
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
Availability: No items available.

457.
Targeted Advertising Technologies in the ICT Space [electronic resource] : A Use Case Driven Analysis / by Christian Schlee. by
  • Schlee, Christian [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.

458.
High Performance Computing in Science and Engineering ‘13 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013 / edited by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch. by
  • Nagel, Wolfgang E [editor.]
  • Kröner, Dietmar H [editor.]
  • Resch, Michael M [editor.]
  • 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
Availability: No items available.

459.
High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by
  • Daydé, Michel [editor.]
  • Marques, Osni [editor.]
  • Nakajima, Kengo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7851
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
Availability: No items available.

460.
People, Problems, and Proofs [electronic resource] : Essays from Gödel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan. by
  • Lipton, Richard J [author.]
  • Regan, Kenneth W [author.]
  • 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
Availability: No items available.

Pages