Skip to main content
IIUM LIBRARY
Lists
Public lists
Books by Datuk Prof. Emeritus Dr Osman Bakar
Titles by Prof. Emeritus Tan Sri Dr. Mohd Kamal Hassan
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog
Search the catalog in:
All libraries
Centre for Foundation Studies Library
CFS Resource Centre
IIiBF Library
Indera Mahkota Campus Library
Jalan Hospital Library
M. Kamal Hassan Library
Mohd Kamal Hassan Memorial Library
SASMEC Library
Shared Facilities Library Pagoh
Syed Muhammad Naquib al-Attas Library
Advanced search
Course reserves
Authority search
Browse search
Libraries
Admin Login
|
Smart Siddiq Directory
.
Log in to your account
Card number or username:
Password:
Home
Advanced search
Results of search for 'an:15317'
Refine your search
Availability
Limit to records with available items
Authors
ATC (Conference)
1
Gonzalez Nieto, Juan M.
1
Indulska, Jadwiga
1
Reif, Wolfgang
1
Wang, Guojun
1
Wang, Guo-Jun
1
Zhou, Hong-Jun
1
Show more
Show less
Item types
Book - General
1
e-Book
1
Locations
Open Shelf
1
Web
1
Series
Lecture notes in computer science
1
LNCS sublibrary
1
LNCS sublibrary. SL 2, Programming and software engineering
1
Topics
Autonomic computing
1
Computer networks
1
Computer security
1
Conference proceedings, published
1
Congresses
1
Logic, Symbolic and mathematical
1
Security measures
1
Textbooks
1
Show more
Show less
Collections
E-Book Collection
1
General Collection
1
Holding libraries
M. Kamal Hassan Library
2
Home libraries
M. Kamal Hassan Library
2
Languages
English
2
Your search returned 2 results.
Not what you expected? Check for
suggestions
Sort
Sort results by:
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 list
New list
Results
Image from Google Jackets
Introduction to mathematical logic and resolution principle /
Guo-Jun Wang, Hong-Jun Zhou
by
Wang, Guo-Jun
Zhou, Hong-Jun
Edition:
2nd ed.
Publication details:
Oxford, U.K. : Beijing :
Alpha Science ; Science Press,
c2009
Availability:
Items available for loan:
M. Kamal Hassan Library
(1)
Location, call number:
Open Shelf
QA9 W246I 2009
.
star rating
Average : 0.0 out of 5 stars
Place hold
Save to lists
Image from Google Jackets
Autonomic and trusted computing : 6th international conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 : proceedings /
Juan Gonzalez Nieto ... [et al.] (editors)
by
ATC (Conference)
(6th : 2009 : Brisbane, Qld.)
Gonzalez Nieto, Juan M
[editor]
Reif, Wolfgang
[editor]
Wang, Guojun
[editor]
Indulska, Jadwiga
[editor]
Series:
Lecture notes in computer science
; 5586
|
LNCS sublibrary
. SL 2, Programming and software engineering
Publisher:
Berlin ;
New York :
Springer,
2009
Copyright date:
©2009
Other title:
ATC 2009
Online resources:
SpringerLink Connect to resource
Availability:
Not available:
M. Kamal Hassan Library: Online Access
(1).
star rating
Average : 0.0 out of 5 stars
Save to lists
© Dar al-Hikmah Library, IIUM. All Rights Reserved.
⇲
