Refine your search

Your search returned 2058 results.

Not what you expected? Check for suggestions
Sort
Results
621.
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard. by
  • Lecroq, Thierry [editor.]
  • Mouchard, Laurent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8288
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.

622.
Structures and abstractions : an introduction to computer science with Pascal / William I. Salmon. by
  • Salmon, W. (William)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Homewood, IL : Irwin, c1991
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.262 SAT.

623.
Automation, Communication and Cybernetics in Science and Engineering 2011/2012 [electronic resource] / edited by Sabina Jeschke, Ingrid Isenhardt, Frank Hees, Klaus Henning. by
  • Jeschke, Sabina [editor.]
  • Isenhardt, Ingrid [editor.]
  • Hees, Frank [editor.]
  • Henning, Klaus [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.

624.
Business Process Models. Change Management [electronic resource] / by Christian Gerth. by
  • Gerth, Christian [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7849
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.

625.
Principles of interactive computer graphics / William M. Newman, Robert F. Sproull. by
  • Newman, William M, 1939-
  • Sproull, Robert F [joint author.]
Series: McGraw-Hill computer science series
Edition: 2d ed.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New delhi : McGraw-Hill, c1979
Availability: Items available for loan: Central Library, SUST (1)Call number: 001.55 NEP.

626.
Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog by
  • Apt, Krzysztof R, 1949-
  • Boer, Frank S. de
  • Olderog, E.R
Series: Texts in computer science
Edition: 3rd extended ed.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: London ; New York : Springer, c2009
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.14 APV, ...

627.
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
  • Libkin, Leonid [editor.]
  • Kohlenbach, Ulrich [editor.]
  • Queiroz, Ruy de [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
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.

628.
Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna. by
  • Spirakis, Paul G [editor.]
  • Serna, Maria [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7878
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.

629.
Spatio-temporal Networks [electronic resource] : Modeling and Algorithms / by Betsy George, Sangho Kim. by
  • George, Betsy [author.]
  • Kim, Sangho [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.

630.
Security for Wireless Implantable Medical Devices [electronic resource] / by Xiali Hei, Xiaojiang Du. by
  • Hei, Xiali [author.]
  • Du, Xiaojiang [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.

631.
Location Privacy Protection in Mobile Networks [electronic resource] / by Xinxin Liu, Xiaolin Li. by
  • Liu, Xinxin [author.]
  • Li, Xiaolin [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.

632.
Middleware Solutions for the Internet of Things [electronic resource] / by Flávia C. Delicato, Paulo F. Pires, Thais Batista. by
  • Delicato, Flávia C [author.]
  • Pires, Paulo F [author.]
  • Batista, Thais [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: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

633.
Querying Moving Objects Detected by Sensor Networks [electronic resource] / by Markus Bestehorn. by
  • Bestehorn, 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.

634.
Studies on Urban Vehicular Ad-hoc Networks [electronic resource] / by Hongzi Zhu, Minglu Li. by
  • Zhu, Hongzi [author.]
  • Li, Minglu [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.

635.
Transactions on Computational Collective Intelligence IX [electronic resource] / edited by Ngoc Thanh Nguyen. by
  • Nguyen, Ngoc Thanh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7770
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.

636.
Transactions on Computational Collective Intelligence XII [electronic resource] / edited by Ngoc Thanh Nguyen. by
  • Nguyen, Ngoc Thanh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8240
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.

637.
Combinatorial Pattern Matching [electronic resource] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings / edited by Johannes Fischer, Peter Sanders. by
  • Fischer, Johannes [editor.]
  • Sanders, Peter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7922
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.

638.
Advances in Information and Computer Security [electronic resource] : 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings / edited by Kazuo Sakiyama, Masayuki Terada. by
  • Sakiyama, Kazuo [editor.]
  • Terada, Masayuki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8231
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.

639.
The Power of Algorithms [electronic resource] : Inspiration and Examples in Everyday Life / edited by Giorgio Ausiello, Rossella Petreschi. by
  • Ausiello, Giorgio [editor.]
  • Petreschi, Rossella [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.

640.
Prolog programming for artificial intelligence / Ivan Bratko. by
  • Bratko, Ivan, 1946--
Series: International computer science series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1990
Availability: Items available for loan: Central Library, SUST (1)Call number: 006.302855133 BRP.

Pages