Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Logic, science,  | 
Results: 23 found in 0.006 seconds

1

2

3

>

>>

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Minds and machines
Kluwer Academic Publishers, c1991- Q334 .M56 Online electronic
Not for loan
0
ACM transactions on computational logic
Association for Computing Machinery, c2000- QA76.9.L63 A3 Online electronic
Not for loan
0
Kitabu'l-burhan /
ISBN: 9789751737311 		Türkiye Yazma Eserler Kurumu Başkanlığı Yayınları, 2014. B753.F34 K58 2014 Yeniboğaziçi Grand Library[General Collection]
Available
0
Verification, Model Checking, and Abstract Interpretation :
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/
ISBN: 9783540939009 		Springer Berlin Heidelberg, 2009. QA76.5 .V47 2009 Yeniboğaziçi Grand Library[General Collection]
Available
0
Rigorous software development :
an introduction to program verification /
ISBN: 9780857290175 		Springer, 2011. QA76.758 .A46 2011 NEU Grand Library[General Collection]
Available
0
Yeni Atlantis /
M.E.B., 1997 . B1180.N6 T9 1997 NEU Grand Library[General Collection] (1)
University of Kyrenia Grand Library[General Collection] (1)
Available
0
The advancement of learning /
ISBN: 0375758461 		Modern Library, 2001. B1190 .G68 2001 NEU Grand Library[General Collection]
Available
1
The advancement of learning /
ISBN: 096649136X 		Paul Dry Books, 2001. B1190 .B33 2001 NEU Grand Library[General Collection]
Available
0
Yeni Atlantis /
M.E.B., 1966. B1180.N6 T9 1966 University of Kyrenia Grand Library[General Collection]
Available
0
The advancement of learning /
Heron Books, B1190 .G68 Yeniboğaziçi Grand Library[İsmail Bozkurt Section]
Available
Quick search
Term:
Full phrase Any word

1

2

3

>

>>

Results 1 - 10 of 23 records.
New search | Back to the last search

NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.