561. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

by Yoeli, Michael | Kol, Rakefet.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 621.381548 YOE] (1).
562. Data structures and algorithms in Java

by Goodrich, Michael T | Tamassia, Roberto.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 005.73 GOO] (1).
563. Operating system concepts with Java

by Silberschatz, Abraham | Gagne, Greg | Galvin, Peter B.

Edition: 7th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 005.133 SIL] (1).
564. Common LISP : a gentle introduction to symbolic computation

by Touretzky, David S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mineola: Dover Publications, 2013Availability: Items available for loan: [Call number: 005.133 TOU] (1).
565. UNIX and Perl to the rescue! : a field guide for the life sciences (and other data-rich pursuits)

by Bradnam, Keith | Korf, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Cambridge University Press, 2012Availability: Items available for loan: [Call number: 005.43202457 BRA] (1).
566. Java frameworks and components : accelerate your Web application development

by Nash, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 005.133 NAS] (1).
567. LISP in small pieces

by Queinnec, Christian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: U.K.: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 005.133 QUE] (1).
568. ML for the working programmer

by Paulson, Lawrence C.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 005.133 PAU] (1).
569. C by example

by Kalicharan, Noel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 005.133 KAL] (1).
570. Modern compiler implementation in C

by Appel, Andrew W.

Edition: Rev. & expanded ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.453 APP] (1).
571. Computational geometry in C

by O'Rourke, Joseph.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1998Availability: Items available for loan: [Call number: 516.02855133 ORO] (1).
572. Model-based software testing and analysis with C#

by Jacky, Jonathan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.133 JAC] (1).
573. Programming in haskell

by Hutton, Graham.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.133 HUT] (1).
574. Practical database programming with Visual Basic.NET

by Bai, Ying | Bhalla, Satish.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.2768 BAI] (1).
575. Concurrent programming in ML

by Reppy, John H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.2752 REP] (1).
576. Mechanical universe : mechanics and heat

by Frautschi, Steven C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 531 FRA] (1).
577. Beyond the mechanical universe : from electricity to modern physics

by Olenick, Richard P | Apostol, Tom M | Goodstein, David L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 530 OLE] (1).
578. Programming in visual basic 2010 : the very beginner's guide

by McKeown, Jim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 006.7882 MCK] (1).
579. C++ design patterns and derivatives pricing

by Joshi, M. S.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 332.632 JOS] (1).
580. Data structures and algorithms using C#

by McMillan, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.133 MCM] (1).

Powered by Koha