Results
|
|
1.
|
Logic : a brief course / Daniele Mundici, by
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, ...
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
- Libkin, Leonid [editor.]
- Kohlenbach, Ulrich [editor.]
- Queiroz, Ruy de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
5.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
Logic Programming with Prolog [electronic resource] / by Max Bramer. by
- Bramer, Max [author.]
- SpringerLink (Online service)
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.
|
|
|
10.
|
|
|
|
11.
|
Digital logic and computer design / M. Morris Mano. by
Material type: 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, ...
|
|
|
12.
|
VHDL for Programmable logic / Kevin Skahill by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Pearson education, c2006
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.1 SKV.
|
|
|
13.
|
Digital logic and computer design / M. Morris Mano. by
Material type: 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, ...
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
Digital logic and computer design / M. Morris Mano. by
Material type: 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.
|
|
|
17.
|
|
|
|
18.
|
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, ...
|
|
|
19.
|
|
|
|
20.
|
|
