Skip to main content
Kerala University Library
Your cart is empty.
Cart
Lists
Public lists
29.07.2024
Thesis on 18.07.2024
22.07.2024
15.07.2024
Thesis 01.07.2024
08.07.2024
01.07.2024
KULBk24.06.2024
Latest Arrivals
oscar
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
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 'au:" Apt, Krzysztof R."'
Refine your search
Availability
Limit to currently available items
Authors
Apt, Krzysztof R
Apt, Krzysztof R.
Gries, David
Olderog, Ernst-Rudig...
Holding libraries
Dept. of Computer Science
Item types
Book
Locations
Processing Center
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
No cover image available
No cover image available
No cover image available
Verification of sequential and concurrent programs /
Krzysztof R Apt.
Textual Documents
by
Gries, David
Apt, Krzysztof R
Olderog, Ernst-Rudiger
Edition:
2 / .
Material type:
Text
; Format:
print regular print
; Audience:
General;
Language:
English
Original language:
NULL
Publication details:
New York :
Springer-Verlag ,
1991
Availability:
Items available for loan:
Dept. of Computer Science
(1)
Call number:
005.14
.
Place hold
Add to cart
(remove)
No cover image available
No cover image available
No cover image available
Principles of constraint programming /
Krzysztof R Apt.
Textual Documents
by
Apt, Krzysztof R
Material type:
Text
; Format:
print regular print
; Audience:
General;
Language:
English
Original language:
NULL
Publication details:
Cambridge :
Cambrdige University Press ,
2003
Availability:
Items available for loan:
Dept. of Computer Science
(1)
Call number:
006
.
Place hold
Add to cart
(remove)
Pages
