FEEDBACK Smiley face

Your search returned 2574 results. Subscribe to this search

|
81. Is god a mathematician?

by Livio, Mario.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Simon & Schuster, ©2009Availability: Items available for loan: IIITD [510 LIV-I] (1).

82. Digital design : with an introduction to the verilog HDL

by Mano, M. Morris | Ciletti, Michael D.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson Education, ©2013Availability: Items available for loan: IIITD [621.395 MAN-D] (3).
Items available for reference: IIITD [REF 621.395 MAN-D] (1).
Checked out (5).
  (1 votes)
83. Tractatus logico-philosophicus

by Wittgenstein, Ludwig | Project Gutenberg.

Edition: Kindle ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Chiron Academic Press, ©2016Availability: Items available for loan: IIITD [Kindle] (1).

84. High performance integer arithmetic circuit design on FPGA : architecture, implementation and design automation

by Palchaudhuri, Ayan | Chakraborty, Rajat Subhra.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Springer, ©2016Availability:
Items available for reference: IIITD [REF 621.395 PAL-H] (1).

85. The foundations of mathematics

by Stewart, Ian | Tall, David.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: United Kingdom : Oxford University Press, ©2015Availability:
Items available for reference: IIITD [REF 511.3 STE-F] (1).

86. Fundamentals of digital logic with VHDL design

by Brown, Stephen D | Vranesic, Zvonko.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Noida : McGraw Hill Education, ©2009Online access: Table of contents only Availability:
Items available for reference: IIITD [REF 621.395 BRO-F] (1). Checked out (1).

87. Tractatus logico-philosophicus

by Wittgenstein, Ludwig | Amazon.in.

Edition: Kindle ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Chiron Academic Press, ©1992Availability: Items available for loan: IIITD [Kindle] (1).

88. Introduction to logic

by Copi, Irving M | Cohen, Carl | McMahon, Kenneth.

Edition: 14th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Routledge, ©2014Availability: Items available for loan: IIITD [REF 160 COP-I] (3).

89. Logic of the digital

by Evens, Aden.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Bloomsbury, ©2015Availability: Items available for loan: IIITD [004.019 EVE-L] (1).

90. Logic : inquiry, argument, and order

by Pratt, Scott L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hoboken, N.J. : Wiley, ©2010Online access: Contributor biographical information | Table of contents only | Publisher description Availability: Items available for loan: IIITD [160 PRA-L] (1).

91. Database Theory — ICDT '97 [electronic resource] :6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings /

by Afrati, Foto [editor.] | Kolaitis, Phokion [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

92. Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] :IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers /

by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

93. Nonmonotonic Logics [electronic resource] :Basic Concepts, Results, and Techniques /

by Schlechta, Karl [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

94. Analysis and Verification of Multiple-Agent Languages [electronic resource] :5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers /

by Dam, Mads [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

95. Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /

by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

96. Computational Learning Theory [electronic resource] :Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings /

by Ben-David, Shai [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

97. Typed Lambda Calculi and Applications [electronic resource] :Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings /

by Groote, Philippe de [editor.] | Roger Hindley, J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

98. Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings /

by Gallagher, John [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

99. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings /

by Brinksma, Ed [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

100. Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in