Your search returned 111 results.

Sort
Results
1.
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Series: Prentice-Hall International series in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c1980
Availability: No items available.

2.
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Series: Prentice-Hall International series in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Englewood Cliffs, N.J. : Prentice-Hall International, c1980
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 001.642/BAM.

3.
Digital logic and computer design M. Morris Mano. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Dehli dorling Kindersly pvt c2012
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 001.6 MAD.

4.
Programming logic and design : comprehensive / Joyce Farrell. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston, Mass. : Course Technology, c2002
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 005.1/FAP.

5.
Programming logic and design : comprehensive / Joyce Farrell. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston, Mass. : Course Technology, c2002
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 005.115/FAP.

6.
Programming logic and design : comprehensive / Joyce Farrell. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston, Mass. : Course Technology, c2007
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 005.133 FAP.

7.
Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri (eds.). by Series: Artificial intelligence (Berlin, Germany)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 006.3 LEL.

8.
Programming logic and design : comprehensive / Joyce Farrell. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston, Mass. : Course Technology, c2007
Availability: Items available for loan: University of Sargodha-Central Library (2)Call number: 005.115 FAP, ...

9.
The power of logic / C. Stephen Layman. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Mountain View, Calif. : Mayfield Pub., c2002
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 160 LAP.

10.
An inquiry into meaning and truth : the William James lectures for 1940 delivered at Harvard University / by Bertrand Russell ; with an introduction by Thomas Baldwin. by
Edition: Rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Routledge, 1940
Online resources:
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 121.68 RUI.

11.
An introduction to symbolic logic. by
Edition: 2d ed. (rev.)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, Dover Publications [1953]
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 164/LAI.

12.
Essential of deductive logic: in the forms of tipical qustions with answers/ Faqir, Chand by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 162 CHE.

13.
Wisdom of china:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London: Michael Joseph, 1944
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 109.52 WIS.

14.
The essentials of logic, by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London and New York, Macmillan and co., 1895
Availability: Not available: University of Sargodha-Central Library: Checked out (1).

15.
Introduction to logic / Irving M. Copi. by
Edition: 7th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : London : Macmillan ; Collier Macmillan, c1986
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 160 COI.

16.
Fundamentals of logic / James D. Carney and Richard K. Scheer. by
Edition: 3d ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Macmillan, c1980
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 160 CAF.

17.
Introduction to logic / Irving M. Copi, Carl Cohen. by
Edition: 11th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Upper Saddle River, N.J. : Prentice Hall, c2002
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 160 COI.

18.
Fundamentals of logic / James D. Carney and Richard K. Scheer. by
Edition: 3d ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Macmillan, c1980
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 160 CAR.

19.
Introduction to logic / Irving M. Copi, Carl Cohen. by
Edition: 13th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Upper Saddle River, N.J. : Pearson/Prentice Hall, c2009
Online resources:
Availability: Items available for loan: University of Sargodha-Central Library (1)Call number: 160/COI.

20.
Inductive logic for intermediate students K.A.Hamid by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London, New York, Macmillan; St. Martins Press, 1935
Availability: Items available for loan: University of Sargodha-Central Library (2)Call number: 134 HAI, ...

Pages
©️ All rights reserves. Atomation Section