Refine your search

Your search returned 263 results.

Not what you expected? Check for suggestions
Sort
Results
21.
Computational Semantics with Functional Programming / Jan van Eijck, Christina Unger. by
  • van Eijck, Jan [author.]
  • Unger, Christina [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Availability: No items available.

22.
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
  • Fontaine, Pascal [editor.]
  • Ringeissen, Christophe [editor.]
  • Schmidt, Renate A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
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.

23.
Digital logic and computer design / M. Morris Mano. by
  • Mano, M. Morris, 1979-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1979
Availability: Items available for loan: Central Library, SUST (18)Call number: 621.38153 MAD, ...

24.
Digital logic and computer design / M. Morris Mano. by
  • Mano, M. Morris
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi, : Prentice-Hall, c1979
Availability: Items available for loan: Central Library, SUST (8)Call number: 621.38222 MAD, ...

25.
An object-oriented approach to programming logic and design / Joyce Farrell. by
  • Farrell, Joyce
Edition: 4th ed.
Material type: Text 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, ...

26.
C++ neural networks and fuzzy logic / Valluru B. Rao and Hayagriva V. Rao. by
  • Rao, Valluru
  • Rao, Hayagriva V
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : BPB Publication, 1996
Availability: Items available for loan: Central Library, SUST (5)Call number: 006.3 RAC, ...

27.
Digital logic and computer design / M. Morris Mano. by
  • Mano, M. Morris
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Prentice Hill Of India, c1994
Availability: Items available for loan: Central Library, SUST (1)Call number: 621.381537 MAD.

28.
Digital logic and computer design / M. Morris Mano. by
  • Mano, M. Morris
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Prentice-Hall, c2015
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.3819582 MAD, ...

29.
Programming logic for business applications / Noemi Paz, Keiko Pitter, William Leigh. by
  • Paz, Noemi M, 1953-
  • Pitter, Keiko M
  • Leigh, William E
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Santa Cruz, Calif. : Mitchell Publishing, c1988
Availability: Items available for loan: Central Library, SUST (2)Call number: 650.0285531 PAP, ...

30.
Programming with Higher-Order Logic / Dale Miller, Gopalan Nadathur. by
  • Miller, Dale [author.]
  • Nadathur, Gopalan [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.

31.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
  • Cabalar, Pedro [editor.]
  • Son, Tran Cao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
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.

32.
Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes. by
  • Krishnaswamy, Smita [author.]
  • Markov, Igor L [author.]
  • Hayes, John P [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 115
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

33.
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by
  • Bonacina, Maria Paola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7898
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.

34.
Belief Revision in Non-Classical Logics [electronic resource] / by Márcio Moretto Ribeiro. by
  • Ribeiro, Márcio Moretto [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.

35.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by
  • Crespi Reghizzi, Stefano [author.]
  • Breveglieri, Luca [author.]
  • Morzenti, Angelo [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 2nd ed. 2013.
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.

36.
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 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, ...

37.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / 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 ; 7965
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.

38.
Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift / edited by Peter Paule. by
  • Paule, Peter [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

39.
Microcomputer structures / by Henry D'Angelo. by
  • D'Angelo, Henry, 1932-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Peterborough, N.H. : Byte Books, c1981
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.381953 ANM, ...

40.
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 (3)Call number: 005.1015113 GRL, ...

Pages