PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Digital design  
 
Author   Dueck,Robert K. (Author)
Responsibility Data   Robert K. Dueck
Publication Data   New Delhi: Delmar Cengage learning, 2005
Physical Description   507 p. : ill. ; 28 cm.
ISBN   978-81-315-0824-4    
Subject Area   Engineering
Subject Headings   Electronic digital computers -- Circuits Logic circuits Logic design Digital integrated circuits
Call Number   621.395 DUE
Table of Contents   No Publisher Information

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 109806 109806 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form   

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Switching theory and logic design  
 
Author   Subramanyam,M. V. (Author)
Responsibility Data   M. V. Subramanyam
Publication Data   New Delhi: Laxmi Publications, [200-]
Physical Description   738 p. : ill. ; 25 cm.
ISBN   81-7008-648-5    
Subject Area   Engineering
Subject Headings   Switching theory Electronic circuit design Logic circuits
Call Number   621.3815372 SUB
Table of Contents   No Publisher Information

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 109813 109813 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Logic for information technology  
 
Author   Galton,Antony (Author)
Responsibility Data   Antony Galton
Publication Data   Chichester: John Wiley and Sons, 1990
Physical Description   xiv, 290 p. : ill. ; 26 cm.
ISBN   0-471-92933-6    
Subject Area   Mathematics
Subject Headings   Logic, Symbolic and mathematical
Call Number   511.3 GAL
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000963 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         How to read and do proofs : an introduction to mathematical thought processes  
 
Author   Solow,Daniel (Author)
Responsibility Data   Daniel Solow
Publication Data   New York: John Wiley & Sons, 1990
Edition   2nd ed.
Physical Description   xx, 242 p. : ill. ; 23 cm.
ISBN   0-471-51004-1    
Subject Area   Mathematics
Subject Headings   Proof theory Logic, Symbolic and mathematical
Call Number   511.3 SOL
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000852 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Digital system design and microprocessors  
 
Author   Hayes,John P. (Author)
Responsibility Data   John P. Hayes
Publication Data   New York: McGraw-Hill Book Company, 1987
Edition   3rd ed.
Physical Description   xiv, 786 p. : ill. ; 22 cm.
Series Data   McGraw-Hill series in computer organization and architecture;
ISBN   0-07-027367-7    
Subject Area   Computer
Subject Headings   Digital integrated circuits Logic design Microprocessors Microcomputers -- Programming
Call Number   004.16 HAY
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000158 AVAILABLE English hall - 1st floor PRINT
2 E005055 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         From modal logic to deductive databases : introducing a logic based approach to artificial intelligence  
 
Author   Gochet,Paul ... [et al.] (Author)
Thayse,Andre (ed.)
Responsibility Data   editor, Andre Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte
Publication Data   Chichester: John Wiley and Sons, 1989
Physical Description   xxiv, 380 p. : ill. ; 25 cm.
ISBN   0-471-92345-1    
Subject Area   Computer
Subject Headings   Artificial intelligence -- Data processing Logic programming
Call Number   006.3 FRO
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000865 AVAILABLE English hall - 1st floor PRINT
2 E000866 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         From standard logic to logic programming : introducing a logic based approach to artificial intelligence  
 
Author   Gochet,Paul ... [et al.] (Author)
Thayse,Andre (ed.)
Responsibility Data   editor, Andre Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte
Publication Data   Chichester: John Wiley and Sons, 1989
Edition   2nd ed.
Physical Description   xvi, 343 p. : ill. ; 25 cm.
ISBN   0-471-91838-5    
Subject Area   Computer
Subject Headings   Logic programming Artificial intelligence
Call Number   006.3 FRO
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000864 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Schaum's outline of theory and problems of discrete mathematics  
 
Author   Lipschutz,Seymour (Author)
Responsibility Data   by Seymour Lipschutz
Publication Data   New York: McGraw-Hill, Inc., 1976
Physical Description   249 p. : ill. ; 28 cm.
Series Data   Schaum's outline series;
ISBN   0-07-037981-5    
Subject Area   Mathematics
Subject Headings   Algebra, Abstract -- Outlines, syllabi, etc. Combinatorial analysis -- Outlines, syllabi, etc. Logic, Symbolic and mathematical -- Outlines, syllabi, etc.
Call Number   512.02076 LIP
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000757 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         The logical basis for computer programming  
 
Author   Manna,Zohar (Author)
Waldinger,Richard (Author)
Responsibility Data   Zohar Manna, Richard Waldinger
Publication Data   New York: Addison-Wesley Publishing Company, 1985
Physical Description   2 v. : ill. ; 25 cm.
Series Data   Addison-Wesley series in computer science;
Notes   - v.1: Deductive reasoning
- v.2: Deductive systems
ISBN   0-201-18260-2     (v. 1)
0-201-18261-0     (v. 2)
Subject Area   Mathematics
Subject Headings   Computer programming Logic, Symbolic and mathematical
Call Number   519.7 MAN
Table of Contents   No Publisher Information

 

 Item Information
CopyBarcodeReg #VolPub. YearEditionItem StatusDue DateLocationMedia Type
1 E000253 v. 1 1985 AVAILABLE English Hall - 1st floor PRINT
1 E000254 v. 2 1985 AVAILABLE English Hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Elements of the theory of computation  
 
Author   Lewis,Harry R. (Author)
Papadimitriou,Christos H. (Author)
Responsibility Data   Harry R. Lewis, Christos H. Papadimitriou
Publication Data   Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1981
Physical Description   xiv, 466 p. : ill. ; 24 cm.
Series Data   Prentice-Hall software series;
ISBN   0-13-273417-6    
Subject Area   Mathematics
Subject Headings   Machine theory Formal languages Computational complexity Logic, Symbolic and mathematical
Call Number   511.3 LEW
Table of Contents   No Publisher Information

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E001777 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Schaum's outline of theory and problems of logic  
 
Author   Nolt,John (Author)
Rohatyn,Dennis (Author)
Responsibility Data   by John Nolt and Dennis Rohatyn
Publication Data   New York: McGraw-Hill Book Company, 1988
Physical Description   280 p. : ill. : 28 cm.
Series Data   Schaum's outline series;
ISBN   0-07-053628-7    
Subject Area   Logic
Subject Headings   Logic -- Outlines, syllabi, etc.
Call Number   160 NOL
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E000762 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Logic for computer science : foundations of automatic theorem proving  
 
Author   Gallier,Jean H. (Author)
Responsibility Data   Jean H. Gallier
Publication Data   New York: John Wiley & Sons, 1986
Physical Description   xv, 511 p. ; 23 cm.
Series Data   Harper and Row computer science and technology series;
ISBN   0-471-61546-3    
Subject Area   Mathematics
Subject Headings   Automatic theorem proving Logic, Symbolic and mathematical
Call Number   511.3 GAL
More Information by Publisher  

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E001111 AVAILABLE English hall - 1st floor PRINT

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Introduction to switching theory and logical design  
 
Author   Hill,Frederick J.
Peterson,Gerald R.
Publication Data   New York: John Wiley & Sons, 1981
Edition   3rd.ed
Physical Description   617p
Notes   - Includes bibliographies and index
Subject Area   Engineering
Subject Headings   Switching circuits Digital electronics Logic design
Call Number   621.381537 HIL

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E001157 AVAILABLE English hall - 1st floor
2 E006412 AVAILABLE English hall - 1st floor
3 E006440 DISCARDED ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         Computer arithmetic: principles, architecture, and design  
 
Author   Hwang,Kai
Publication Data   New York: John Wiley & Sons, 1979
Physical Description   423p
Notes   - Includes bibliographies and index
Subject Area   Engineering
Subject Headings   Electronic digital computers Computer arithmetic and logic units
Call Number   621.392 HWA

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E001162 AVAILABLE English hall - 1st floor
2 E004826 AVAILABLE English hall - 1st floor

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.

PHILADELPHIA UNIVERSITY LIBRARY - Online Catalogues
   PHILADELPHIA UNIVERSITY
      L i b r a r y    &    I n f o r m a t i o n     R e s o u r c e s
     

 



 

 

   ONLINE CATALOGUE

        
         FUNDAMENTALS OF LOGIC DESIGN  
 
Author   Roth,Charles H.
Publication Data   New York: West Pub.Co, 1985
Edition   3rd.ed.
Physical Description   676p
Series Data   West series in electrical engineering;
Notes   - Includes bibliographies and index
Subject Area   Engineering
Subject Headings   Logic circuits Logic design
Call Number   621.395 ROT

 

 Item Information
CopyBarcodeReg #Volume IDItem StatusDue DateLocationMedia Type
1 E001763 DISCARDED ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ
2 E001799 DISCARDED ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ

Next Record    |  Return to Summary    |  Return to Search Form    |  Previous Record

Item Status With (*). cannot be charged

                        للبحث في المقتنيات العربية      بحث عربي                   

 

For more information, please contact the Library Administration

Designed By : Shadi A. Kfouf * Databases & Information Services Section ©2005 All Rights Reserved.