Publisher
Edition
At
0
Computer aided verification :
20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings /
ISBN: 9783540705451
Springer,
©2008.
QA76.76.V47 .C38 2008
Yeniboğaziçi Grand Library[General Collection] (2)
Available
1
Security standards for healthcare information systems :
a perspective from the EU ISIS MEDSEC Project /
ISBN: 1586030000
IOS Press,
c2002.
W26.5 .S43 2002
NEU Grand Library[Medical Section]
Available
2
Data mining :
concepts and techniques /
ISBN: 1558609016
Elsevier ;
c2006.
QA76.9.D343 H36 2006
NEU Grand Library[General Collection] (1) Yeniboğaziçi Grand Library[General Collection] (1)
Available
0
Journal of web librarianship
Haworth Press, Inc.,
2007-
Z671 .J74
Online electronic
Not for loan
0
ACM transactions on programming languages and systems
Association for Computing Machinery.
QA76.7 .A77a
Online electronic
Not for loan
0
Computational linguistics
Association for Computational Linguistics,
c1984-c2008.
P98 .A54
Online electronic
Not for loan
0
International journal of neural systems
World Scientific,
c1989-
QA76.87 .I58
Online electronic
Not for loan
0
IET information security
Institution of Engineering and Technology,
c2007-
QA76.9.A25 I345
Online electronic
Not for loan
0
SIAM journal on scientific computing
a publication of the Society for Industrial and Applied Mathematics.
SIAM,
c1993-
QA297 .S587a
Online electronic
Not for loan
0
Network
computation in neural systems /
IOP Pub.
QA76.87
Online electronic
Not for loan