NEU Grand Library | TRNC Library

Refine your search

You are not logged in

Show Basket

Home

Advanced Search

Back

Catalogue Search Results

You searched: | Subject = Logic., |
Results: 284 found in 0.049 seconds

	▼Title ▲	▼Author▲	Publisher	Edition	▼Shelf▲	At
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	Logic program synthesis from incomplete information / by Pierre Flener. ISBN: 0792395328	Flener, Pierre,	Kluwer Academic Publishers,	1995.	QA76.63 .F55 1995	Yeniboğaziçi Grand Library[General Collection]	Available
0	Journal of logic and computation		Oxford University Press,	[1990?-	QA76.63 .J68	Online electronic	Not for loan
0	Foundations of logic programming / ISBN: 0387181997	Lloyd, J. W.	Springer-Verlag,	1987.	QA76.6 .L583 1987	Yeniboğaziçi Grand Library[General Collection]	Available
0	Rigorous software development : an introduction to program verification / ISBN: 9780857290175	Almeida, Jose Bacelar.	Springer,	2011.	QA76.758 .A46 2011	NEU Grand Library[General Collection]	Available
1	Computer architecture and logic design / ISBN: 0070039097 :	Bartee, Thomas C.	McGraw-Hill,	c1991.	QA76.9.A73 B374 1991	Yeniboğaziçi Grand Library[General Collection]	Available
5	Computer architecture and logic design / ISBN: 0070039097 :	Bartee, Thomas C.	McGraw-Hill,	c1991.	QA76.9.A73 B374 1991	NEU Grand Library[General Collection]	Available
7	Computer architecture and logic design / ISBN: 0070039097 :	Bartee, Thomas C.	McGraw-Hill,	c1991.	QA76.9.A73 B374 1991	University of Kyrenia Grand Library[University Of Kyrenia] (1) Yeniboğaziçi Grand Library[General Collection] (1)	Available
0	ACM transactions on computational logic		Association for Computing Machinery,	c2000-	QA76.9.L63 A3	Online electronic	Not for loan
6	Discrete structures, logic, and computability / ISBN: 086720477X	Hein, James L.	Jones and Bartlett,	c1995.	QA76 .H383 1995	NEU Grand Library[General Collection]	Available

Quick search

Term:

Full phrase Any word

Results 201 - 210 of 284 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.