Refine your search

Your search returned 263 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
No cover image available No cover image available
Logic and discrete mathematics : a computer science perspective / Winfried Karl Grassmann, Jean-Paul Tremblay. by
  • Grassmann, Winfried K
  • Tremblay, Jean-Paul, 1938-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Upper Saddle River, N.J. : Prentice Hall, c1996
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.1015113 GRL.

Place hold Add to cart
42.
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8049
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
43.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7966
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
44.
No cover image available No cover image available
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by
  • Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany)
  • Beklemishev, Lev D
  • [Queiroz, Ruy de queiroz]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ...

Place hold Add to cart
45.
Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by
  • Moller, Faron [author.]
  • Struth, Georg [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
46.
Computer Science – Theory and Applications [electronic resource] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur. by
  • Bulatov, Andrei A [editor.]
  • Shur, Arseny M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7913
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
47.
C++ programs to accompany programming logic and design / Jo Ann Smith. by
  • Smith, Jo Ann
Edition: 8th Ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Cengage learning, c2015
Availability: Items available for loan: Central Library, SUST (2)Call number: 001.6424 SMC, ...

Place hold Add to cart
48.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
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
49.
Fuzzy logic and applications : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / [edited by] Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Pasi, Gabriella
  • Yager, Ronald
Series: Lecture notes in artificial intelligence ; 8256
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 FUZ, ...

Place hold Add to cart
50.
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / edited by Wolfgang Faber, Domenico Lembo. by
  • Faber, Wolfgang [editor.]
  • Lembo, Domenico [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7994
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
51.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
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
52.
Digital design / M Morris Mano. by
  • Mano, M Morris
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Prentice-Hall of India. , c1991
Availability: Items available for loan: Central Library, SUST (4)Call number: 621.395 MAD, ...

Place hold Add to cart
53.
No cover image available No cover image available
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1992
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ...

Place hold Add to cart
54.
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
  • Binder, Walter [editor.]
  • Bodden, Eric [editor.]
  • Löwe, Welf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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
55.
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
56.
Applications of Declarative Programming and Knowledge Management [electronic resource] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf. by
  • Tompits, Hans [editor.]
  • Abreu, Salvador [editor.]
  • Oetsch, Johannes [editor.]
  • Pührer, Jörg [editor.]
  • Seipel, Dietmar [editor.]
  • Umeda, Masanobu [editor.]
  • Wolf, Armin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7773
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
57.
Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth. by
  • Greene, Daniel H, 1955-
  • Knuth, Donald Ervin, 1938-
Series: Progress in computer science and applied logic ; v. 1
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Birkh�auser, 1990
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 GRM, ...

Place hold Add to cart
58.
Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu. by
  • Xu, Weixia [editor.]
  • Xiao, Liquan [editor.]
  • Zhang, Chengyi [editor.]
  • Li, Jinwen [editor.]
  • Yu, Liyan [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 396
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
59.
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
  • Leite, João [editor.]
  • Son, Tran Cao [editor.]
  • Torroni, Paolo [editor.]
  • Torre, Leon van der [editor.]
  • Woltran, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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
60.
Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang. by
  • Xu, Weixia [editor.]
  • Xiao, Liquan [editor.]
  • Lu, Pingjing [editor.]
  • Li, Jinwen [editor.]
  • Zhang, Chengyi [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 337
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
Pages