Your search returned 263 results.

Sort
Results
101.
VeriIog HDL : digital design and modeling / Joseph Cavanagh. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Boca Raton, FL : CRC Press, [2007]Copyright date: ©2007
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7868.D5 .C38 2007.

102.
Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa / edited by Damian Niwiński. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Washington DC : IOS Press, 2010
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.2 .U52 2010.

103.
Transition to higher mathematics : structure and proof / Bob A. Dumas, John E. McCarthy. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Boston : McGraw-Hill, 2007
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .D85 2007.

104.
Type-2 fuzzy logic in intelligent control applications / Oscar Castillo. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: New York : Springer, 2012
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.64 .C374 2012.

105.
Logic for computer science and artificial intelligence / Ricardo Caferra. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Hoboken : Wiley, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (2)Call number: QA76.9.L63 .C33 2011, ...

106.
Introduction to mathematical logic / Michał Walicki. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: London : World Scientific, 2012
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .W34 2012.

107.
The functional interpretation of logical deduction / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Singapore : World Scientific, 2012
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .Q44 2012.

108.
Meaning, logic and ludics / Alain Lecomte. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: London : Imperial College Press, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: P98 .L42 2011.

109.
Proofs and algorithms : an introduction to logic and computability / Gilles Dowek. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: New York : Springer, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .D68 2011.

110.
A science of operations : machines, logic and the invention of programming / Mark Priestley. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: London : Springer, 2010
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.6 .P74 2010.

111.
Computational intelligence in decision and control : proceedings of the 8th International FLINS Conference, Madrid, Spain, 21-24 September 2008 / editors, Da Ruan ... [and others]. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: New Jersey : World Scientific , 2008
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: Q342 .C657 2008.

112.
Fuzzy evidence in identification, forecasting and diagnosis / Alexander P. Rotshtein, Hanna B. Rakytyanska. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: New York : Springer, 2012
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.64 .R67 2012.

113.
114.
Fundamentals of computing : logic,problem solving, programs and computers / Allen B Tucker...(et.al). by
Material type: Text Text; Format: print
Publisher: New York : McGraw-Hill, 1994-1995
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.73.P35 .86 1994-1195.

115.
Concepts and fuzzy logic / edited by Radim Belohlavek and George J. Klir. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cambridge, Mass. : MIT Press, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.64 .C66 2011.

116.
Elements of argumentation / Philippe Besnard and Anthony Hunter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cambridge, MA : MIT Press, 2008
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: Q335 .B47 2008.

117.
Lectures on soft computing and fuzzy logic / editors, Antonio Di Nola, Giangiacomo Gerla. by Series:
Material type: Text Text; Format: print
Publisher: Heidelberg : Physica-Verlag, 2001
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.9.S63 .L43 2001.

118.
A guide to programming logic and design : comprehensive / Joyce Farrell. by
Material type: Text Text; Format: print
Publisher: Cambridge, MA : Course Technology, 1999
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.63 .F37 1999.

119.
Natural language understanding / James Allen. by
Material type: Text Text; Format: print
Publisher: Menlo Park, CA : The Benjamin/cumming Pub, 1987
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.7 .A44 1987.

120.
Discovering the world with fuzzy logic / editors, Vilem Novak, Irina Perfilieva. by Series:
Material type: Text Text; Format: print
Publisher: New York : Physica-Verlag, 2000
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.64 .D48 2000.

Pages

Powered by Koha