Publisher
Edition
At
0
ACM journal on emerging technologies in computing systems
Association for Computing Machinery,
c2005-
QA75.5 .A1375
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
ACM transactions on information systems
a publication of the Association for Computing Machinery.
Association for Computing Machinery,
c1989-
HF5548.2 .A335
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
ACM transactions on storage
Association for Computing Machinery,
c2005-
Z699.A1 A25
Online electronic
Not for loan
0
Acta informatica
Springer-Verlag Heidelberg
QA76
Online electronic
Not for loan
0
Computational linguistics
Association for Computational Linguistics,
c1984-c2008.
P98 .A54
Online electronic
Not for loan
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
0
The computer journal
Published by Oxford University Press for the British Computer Society [etc.]
QA76 .C57
Online electronic
Not for loan
0
Computers and the humanities
Kluwer Academic Publishers,
-[2004]
Z699.5.H8 C65
Online electronic
Not for loan