Refine your search

Your search returned 2058 results.

Not what you expected? Check for suggestions
Sort
Results
961.
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio. by
  • Joshi, Kaustubh [editor.]
  • Siegle, Markus [editor.]
  • Stoelinga, Mariëlle [editor.]
  • D’Argenio, Pedro R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8054
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.

962.
Excel 2010 for Physical Sciences Statistics [electronic resource] : A Guide to Solving Practical Problems / by Thomas J Quirk, Meghan Quirk, Howard Horton. by
  • Quirk, Thomas J [author.]
  • Quirk, Meghan [author.]
  • Horton, Howard [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

963.
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný. by
  • Blockeel, Hendrik [editor.]
  • Kersting, Kristian [editor.]
  • Nijssen, Siegfried [editor.]
  • Železný, Filip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8189
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.

964.
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný. by
  • Blockeel, Hendrik [editor.]
  • Kersting, Kristian [editor.]
  • Nijssen, Siegfried [editor.]
  • Železný, Filip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8190
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.

965.
Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by
  • O’Regan, Gerard [author.]
  • 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.

966.
Compiler Design [electronic resource] : Syntactic and Semantic Analysis / by Reinhard Wilhelm, Helmut Seidl, Sebastian Hack. by
  • Wilhelm, Reinhard [author.]
  • Seidl, Helmut [author.]
  • Hack, Sebastian [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.

967.
Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by
  • Tan, Ying [editor.]
  • Shi, Yuhui [editor.]
  • Mo, Hongwei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7928
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.

968.
Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by
  • Luca, Aldo de [author.]
  • D’Alessandro, Flavio [author.]
  • SpringerLink (Online service)
Series: UNITEXT ; 68
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

969.
Programming in Mathematica / Roman E. Maeder. by
  • Maeder, Roman
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addision Wesley Pub., c1997
Availability: Items available for loan: Central Library, SUST (2)Call number: 510.28553 MAP, ...

970.
Service-oriented distributed knowledge discovery [electronic resource] / Domenico Talia, Paolo Trunfio. by
  • Talia, Domenico
  • Trunfio, Paolo
Series:
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton : CRC Press, c2013
Online access:
Availability: No items available.

971.
TouchDevelop: Programming on the Go [electronic resource] / by R. Nigel Horspool, Nikolai Tillmann. by
  • Horspool, R. Nigel [author.]
  • Tillmann, Nikolai [author.]
  • SpringerLink (Online service)
Edition: Third Edition.
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.

972.
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
  • Carette, Jacques [editor.]
  • Aspinall, David [editor.]
  • Lange, Christoph [editor.]
  • Sojka, Petr [editor.]
  • Windsteiger, Wolfgang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
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.

973.
Research and Development in Intelligent Systems XXX [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis. by
  • Bramer, Max [editor.]
  • Petridis, Miltos [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.

974.
Cognitive Aspects of Computational Language Acquisition [electronic resource] / edited by Aline Villavicencio, Thierry Poibeau, Anna Korhonen, Afra Alishahi. by
  • Villavicencio, Aline [editor.]
  • Poibeau, Thierry [editor.]
  • Korhonen, Anna [editor.]
  • Alishahi, Afra [editor.]
  • SpringerLink (Online service)
Series: Theory and Applications of Natural Language Processing
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.

975.
Aspect-Oriented Requirements Engineering [electronic resource] / edited by Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid. by
  • Moreira, Ana [editor.]
  • Chitchyan, Ruzanna [editor.]
  • Araújo, João [editor.]
  • Rashid, Awais [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.

976.
Introduction to Cryptography with Maple [electronic resource] / by José Luis Gómez Pardo. by
  • Gómez Pardo, José Luis [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.

977.
Spatial Information Theory [electronic resource] : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings / edited by Thora Tenbrink, John Stell, Antony Galton, Zena Wood. by
  • Tenbrink, Thora [editor.]
  • Stell, John [editor.]
  • Galton, Antony [editor.]
  • Wood, Zena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8116
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.

978.
Multimodal Brain Image Analysis [electronic resource] : Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / edited by Li Shen, Tianming Liu, Pew-Thian Yap, Heng Huang, Dinggang Shen, Carl-Fredrik Westin. by
  • Shen, Li [editor.]
  • Liu, Tianming [editor.]
  • Yap, Pew-Thian [editor.]
  • Huang, Heng [editor.]
  • Shen, Dinggang [editor.]
  • Westin, Carl-Fredrik [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8159
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.

979.
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings / edited by Jacques Blanc-Talon, Andrzej Kasinski, Wilfried Philips, Dan Popescu, Paul Scheunders. by
  • Blanc-Talon, Jacques [editor.]
  • Kasinski, Andrzej [editor.]
  • Philips, Wilfried [editor.]
  • Popescu, Dan [editor.]
  • Scheunders, Paul [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8192
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.

980.
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
Availability: No items available.

Pages