Your search returned 17 results.

Not what you expected? Check for suggestions

Results
	1.	Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, J�er�ome Lang, Shier Ju (eds.). by LORI (Workshop) (3rd : 2011 : Guangzhou, China) Ditmarsch, Hans van, 1959- [editor of compilation.] Lang, J�er�ome [editor of compilation.] Ju, Shier [editor of compilation.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 6953 \| LNCS sublibrary. SL 7, Artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Publication details: Verlag Berlin. : Springer. 2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ... Place hold Add to cart (remove)
	2.	Digital logic design / B. Holdsworth and R.C. Woods. by Holdsworth, B. (Brian) Woods, R. C. (R. Clive) Edition: 4th ed. Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: New delhi : Newnes, 1982 Availability: Items available for loan: Central Library, SUST (2)Call number: 621.381 HOD, ... Place hold Add to cart (remove)
	3.	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; 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 (remove)
	4.	Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.). by Gramlich, Bernhard, Dr.rer.nat Miller, Dale (Dale A.) Sattler, Uli Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: New york : Springer, c2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.36028563 AUT, ... Place hold Add to cart (remove)
	5.	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; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1992 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ... Place hold Add to cart (remove)
	6.	Java programs to accompany Programming logic and design / by Jo Ann Smith. by Smith, Jo Ann Edition: Eighth edition Material type: Text; Format: print ; Literary form: Not fiction Publication details: United states : Cengage, c2015 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 SMJ, ... Place hold Add to cart (remove)
	7.	Mathematical logic for computer science / Mordechai Ben-Ari. by Ben-Ari, M, 1948- Edition: Third edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 BEM, ... Place hold Add to cart (remove)
	8.	Logic : a brief course / Daniele Mundici, by Mundici, Daniele Material type: 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, ... Place hold Add to cart (remove)
	9.	Digital fundamentals / Thomas L. Floyd. by Floyd, Thomas L Edition: 11th ed. Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: New york : Pearson, c2015 Availability: Items available for loan: Central Library, SUST (2)Call number: 621.381 FLD, ... Place hold Add to cart (remove)
	10.	An object-oriented approach to programming logic and design / Joyce Farrell. by Farrell, Joyce Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New york : Course Technology/Cengage Learning, c2013 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.115 FAO, ... Place hold Add to cart (remove)
	11.	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; Format: print ; Literary form: Not fiction Publication details: New York : IEEE Press, c1998 Online access: Table of Contents Publisher description Availability: Items available for loan: Central Library, SUST (2)Call number: 511.324 GRO, ... Place hold Add to cart (remove)
	12.	Knowing and the mystique of logic and rules : including true statements in knowing and action, computer modelling of human knowing activity, coherent description as the core of scholarship and science / by Peter Naur. by Naur, Peter Series: Studies in cognitive systems ; v. 18 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Dordrecht ; Boston : Kluwer Academic Publishers, c1995 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (2)Call number: 111.8 NAK, ... Place hold Add to cart (remove)
	13.	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; 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, ... Place hold Add to cart (remove)
	14.	Fuzzy logic-based algorithms for video de-interlacing / Piedad Brox, Iluminada Baturone, and Santiago Sanchez-Solano. by Brox, Piedad Baturone, Iluminada (Iluminada) Sanchez-Solano, Santiago Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer Verlag, c2010 Availability: Items available for loan: Central Library, SUST (3)Call number: 001.6442 BRF, ... Place hold Add to cart (remove)
	15.	High-performance system design : circuits and logic / edited by Vojin G. Oklobdzija. by Oklobdzija, Vojin G IEEE Circuits and Systems Society IEEE Solid-State Circuits Society Series: IEEE Press series on microelectronic systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : IEEE Press, c1999 Online access: Contributor biographical information Publisher description Table of Contents Availability: Items available for loan: Central Library, SUST (2)Call number: 621.3815 HIG, ... Place hold Add to cart (remove)
	16.	Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey, Victoria University of Wellington. by Downey, R. G. (Rod G.) [editor of compilation.] Series: Lecture notes in logic ; 42 Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, c2014 Online access: Cover image Availability: Items available for loan: Central Library, SUST (2)Call number: 510.92 TUR, ... Place hold Add to cart (remove)
	17.	Programming logic and design : introductory version / Joyce Farrell. by Farrell, Joyce Edition: 8th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Australia : Delmar, 2014 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.115 FAP, ... Place hold Add to cart (remove)