Refine your search

Your search returned 748 results.

Not what you expected? Check for suggestions
Sort
Results
361.
Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal. by
  • Raynal, Michel [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.

362.
Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel. by
  • Bonacina, Maria Paola [editor.]
  • Stickel, Mark E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7788
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.

363.
ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus [electronic resource] / edited by Olav W. Bertelsen, Luigina Ciolfi, Maria Antonietta Grasso, George Angelos Papadopoulos. by
  • Bertelsen, Olav W [editor.]
  • Ciolfi, Luigina [editor.]
  • Grasso, Maria Antonietta [editor.]
  • Papadopoulos, George Angelos [editor.]
  • SpringerLink (Online service)
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.

364.
Trends in Mobile Web Information Systems [electronic resource] : MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers / edited by Maristella Matera, Gustavo Rossi. by
  • Matera, Maristella [editor.]
  • Rossi, Gustavo [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 183
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.

365.
Managing Open Innovation Technologies [electronic resource] / edited by Jenny S. Z. Eriksson Lundström, Mikael Wiberg, Stefan Hrastinski, Mats Edenius, Pär J. Ågerfalk. by
  • Eriksson Lundström, Jenny S. Z [editor.]
  • Wiberg, Mikael [editor.]
  • Hrastinski, Stefan [editor.]
  • Edenius, Mats [editor.]
  • Ågerfalk, Pär J [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.

366.
Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers / edited by Yuyu Yuan, Xu Wu, Yueming Lu. by
  • Yuan, Yuyu [editor.]
  • Wu, Xu [editor.]
  • Lu, Yueming [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 320
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.

367.
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by
  • Garcia-Alfaro, Joaquin [editor.]
  • Cuppens, Frédéric [editor.]
  • Cuppens-Boulahia, Nora [editor.]
  • Miri, Ali [editor.]
  • Tawbi, Nadia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7743
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.

368.
The Languages of Western Tonality [electronic resource] / by Eytan Agmon. by
  • Agmon, Eytan [author.]
  • SpringerLink (Online service)
Series: Computational Music Science
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.

369.
Data structures, algorithms, and applications in Java / Sartaj Sahni. by
  • Sahni, Sartaj
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston Burr Ridge : McGraw-Hill, c2005
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.74 SAD.

370.
Using R for data management, statistical analysis, and graphics [electronic resource] / Nick Horton, Ken Kleinman. by
  • Horton, Nicholas J
  • Kleinman, Ken
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton : Taylor & Francis, 2011
Online access:
Availability: No items available.

371.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by
  • Clarke, Dave [editor.]
  • Noble, James [editor.]
  • Wrigstad, Tobias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7850
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.

372.
Automatic Malware Analysis [electronic resource] : An Emulator Based Approach / by Heng Yin, Dawn Song. by
  • Yin, Heng [author.]
  • Song, Dawn [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.

373.
Data-Intensive Computing : Architectures, Algorithms, and Applications / edited by Ian Gorton, Deborah K. Gracio. by
  • Gorton, Ian [editor.]
  • Gracio, Deborah K [editor.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

374.
Sustained Simulation Performance 2013 [electronic resource] : Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013 / edited by Michael M. Resch, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Yevgeniya Kovalenko. by
  • Resch, Michael M [editor.]
  • Bez, Wolfgang [editor.]
  • Focht, Erich [editor.]
  • Kobayashi, Hiroaki [editor.]
  • Kovalenko, Yevgeniya [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.

375.
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by
  • Cellier, Peggy [editor.]
  • Distel, Felix [editor.]
  • Ganter, Bernhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7880
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.

376.
Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel. by
  • Lau, Kung-Kiu [editor.]
  • Lamersdorf, Winfried [editor.]
  • Pimentel, Ernesto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8135
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.

377.
The Future Internet [electronic resource] : Future Internet Assembly 2013: Validated Results and New Horizons / edited by Alex Galis, Anastasius Gavras. by
  • Galis, Alex [editor.]
  • Gavras, Anastasius [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7858
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.

378.
Digital Legacy and Interaction [electronic resource] : Post-Mortem Issues / edited by Cristiano Maciel, Vinícius Carvalho Pereira. by
  • Maciel, Cristiano [editor.]
  • Pereira, Vinícius Carvalho [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: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

379.
Ethical and Social Issues in the Information Age [electronic resource] / by Joseph Migga Kizza. by
  • Kizza, Joseph Migga [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 5th 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.

380.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
  • Johnsen, Einar Broch [editor.]
  • Petre, Luigia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
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