Skip to main content
Kerala University Library
Your cart is empty.
Cart
Lists
Public lists
09.04.2025
Achuth
04.04.2025
15.03.2025
10.03.2025
07.02.2025
16.01.2025
04.01.2025
21.12.2024
13.12.2024
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
All libraries
Campus Library Kariavattom
Centre for Australian Studies
Centre for Canadian Studies
Centre for Cultural Studies
Centre for Vedanta Studies
Dept. of Aquatic Biology and Fisheries
Dept. of Arabic
Dept. of Archaeology
Dept. of Bio-Technology
Dept. of Biochemistry
Dept. of Botany
Dept. of Chemistry
Dept. of Commerce
Dept. of Communication and Journalism
Dept. of Computational Biology and Bioinformatics
Dept. of Computer Science
Dept. of Demography
Dept. of Economics
Dept. of Education
Dept. of Environmental Sciences
Dept. of Futures Studies
Dept. of Geology
Dept. of German
Dept. of Hindi
Dept. of History
Dept. of Islamic Studies
Dept. of Kerala Studies
Dept. of Law
Dept. of Library and Information Science
Dept. of Linguistics
Dept. of Malayalam
Dept. of Mathematics
Dept. of Music
Dept. of Nanoscience and Nanotechnology
Dept. of Optoelectronics
Dept. of Oriental Research and Manuscripts
Dept. of Philosophy
Dept. of Physics
Dept. of Political Science
Dept. of Psychology
Dept. of Russian
Dept. of Sanskrit
Dept. of Sociology
Dept. of Statistics
Dept. of Tamil
Dept. of Zoology
Institute of English
Institute of Management
International Centre for Marxian Studies & Research
IUCEIB Library, University of Kerala
Kerala University Library
Manonmaniam Sundaranar Int. Centre for Dravidian Cultural Studies
School of Distance Education, University of Kerala, Kariavattom Campus
Study Centre Alappuzha, University of Kerala
Study Centre Kollam, University of Kerala
Study Centre Pandalam ,University of Kerala
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Home
Results of search for 'su:"Engineering, Logic"'
Refine your search
Availability
Limit to currently available items
Authors
Harel, David
Kozen , Dexter
Tiuryn, Jerzy
Holding libraries
Kerala University Library
Item types
General
Your search returned 2 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Place hold
Results
Dynamic logic /
by
Harel, David
Kozen , Dexter
Tiuryn, Jerzy
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New Delhi :
Prentice Hall of India ,
2000
Availability:
Items available for loan:
Kerala University Library
(1)
Call number:
D6513:3:(R1) P0
.
Place hold
Add to cart
(remove)
Programmable logic control Principles and applications /
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New Delhi :
PHI ,
2008
Availability:
Items available for loan:
Kerala University Library
(1)
Call number:
D6513:3 P82
.
Place hold
Add to cart
(remove)
Pages
Text; Format:
print
; Literary form:
Not fiction
