Refine your search

Your search returned 1128 results.

Not what you expected? Check for suggestions
Sort
Results
761.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by
  • Dijkstra, Edsger Wybe
  • Scholten, Carel S
Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1990
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 DIP, ...

762.
Reprint series for the history of computing / edited:Martin Campbell- Kelly by
  • Kelly, Martin Campbell-
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : The charles BABBAGE institue, 1951
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.3921 REP, ...

763.
Big data in complex systems : challenges and opportunities / [edited by] Aboul-Ella Hassanien...[et. al.]. by
  • Hassanien, Aboul-Ella
Series: Studies in big data ; 9
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cham : Springer, ©2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.0151 BIG, ...

764.
Knowledge-based information systems in practice / [edited by] Jeffrey Tweedale, Lakhmi C. Jain, Junzo Watada. Series: Sist ; 30
Edition: 1st edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york. : Springer. 2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 574.012 KNO, ...

765.
Selected writings on computing : a personal perspective / Edsger W. Dijkstra, David Gries .... [et al.]. by
  • Dijkstra, Edsger Wybe
  • Gries, David
Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1982
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ...

766.
Run-time models for self - managing systems and applications / editors: Danilo Ardagna, Li Zhang by
  • Ardagna, Danilo
  • Zhang, Li
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Birkhauser, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 RUN, ...

767.
The golden ticket : P, NP, and the search for the impossible / Lance Fortnow. by
  • Fortnow, Lance, 1963-
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.352 FOG, ...

768.
The physics of quantum information : quantum cryptography, quantum teleportation, quantum computation / Dirk Bouwmeester, Artur K. Ekert, Anton Zeilinger, eds. by
  • Bouwmeester, Dirk, 1967-
  • Ekert, Artur K, 1961-
  • Zeilinger, Anton
Edition: 1st ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.1 PHY, ...

769.
Mining text data / Charu C. Aggarwal, ChengXiang Zhai by
  • Aggarwal, Charu C
  • Zhai, ChengXiang
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2012
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.741 AGM, ...

770.
Digital circuit design for computer science students : an introductory textbook / N. Wirth. by
  • Wirth, Niklaus
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (1)Call number: 621.39 WID.

771.
Beginning Linux programming / Neil Matthew, Richard Stones. by
  • Matthew, Neil
  • Stones, Richard
Series: Wrox programmer to programmer
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New delhi : John Wiley [distributor], c2008
Availability: Items available for loan: Central Library, SUST (4)Call number: 005.268 MAB, ...

772.
Logic : a brief course / Daniele Mundici, by
  • Mundici, Daniele
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer. c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 MUL, ...

773.
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg. by
  • Gregg, John
Series: IEEE Press understanding science & technology series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : IEEE Press, c1998
Availability: Items available for loan: Central Library, SUST (2)Call number: 511.324 GRO, ...

774.
MMIXware : a RISC computer for the third millennium / Donald E. Knuth. by
  • Knuth, Donald Ervin, 1938-
Series: Lecture notes in computer science ; 1750.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 KNM, ...

775.
Logic and computer design fundamentals / M. Morris Mano, Charles R. Kime, by
  • Mano, M. Morris, 1927-
  • Kime, Charles R
Edition: 4th Edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Pesrson. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.392 MAL, ...

776.
Multiparadigm constraint programming languages / Petra Hofstedt. by
  • Hofstedt, Petra
Series: Cognitive technologies
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.116 HOM, ...

777.
Temporal verification of reactive systems : safety / 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, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ...

778.
Digital circuit design for computer science students : an introductory textbook / Niklasus Wirth. by
  • Wirth, Niklaus
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.39 WID, ...

779.
Cloud database development and management / Lee Chao. by
  • Chao, Lee, 1951-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton : Taylor & Francis, c2014
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.6782 CHC, ...

780.
Perceptrons : an introduction to computational geometry / Marvin Minsky and Seymour Papert. by
  • Minsky, Marvin, 1927-2016
  • Papert, Seymour
Edition: Expanded ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1969
Availability: Items available for loan: Central Library, SUST (2)Call number: 006.3 MIP, ...

Pages