Skip to main content
Anna Centenary Library
Lists
Public lists
கணினி1
View all
Your cookies
Search history
Clear
Search the Library Catalogue
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
Go
Advanced search
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Advanced search
Results of search for 'su:"Programming languages Electronic computers"'
Refine your search
Availability
Limit to records with available items
Authors
Allison, Lloyd
Box, Don
Breuer, Peter T
Chase, Kate
Dybjer, Peter
Findlay, William
Fiore, Marcelo P
Goguen, Joseph
Gough, K. John
Lissoir, Alain
Mitchell, John C
Murach, Joel
Noonan, Robert
Pitts, A. M
Rasmussen, Craig E
Sebesta, Robert W
Sheldon, Mark A
Tucker, Allen B
Turbak, Franklyn Alb...
Vaswani, Vikram
Show more
Show less
Item types
Books
English Books
Reference
Locations
3RD FLOOR, A WING
Topics
Programming languag...
Axiomatic set theory
C
Common Language Runt...
Computer software - ...
Computer software - ...
Computer technicians...
Electronic data proc...
Electronic data proc...
Functional programmi...
Java (Computer progr...
Logic, Symbolic and ...
Microsoft .NET
Microsoft Windows (C...
Object-oriented prog...
Operating systems (C...
PHP (Computer progra...
Programming language...
Programming language...
Programming language...
Show more
Show less
Your search returned 71 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
[ New list ]
Results
1.
Modeling languages in mathematical optimization
edited by Josef Kallrath
by
Kallrath, Josef
Publication details:
Dordrecht ; Boston
Kluwer Academic Publishers
c2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
519.6 KAL
.
2.
Murach's C# 2008
Joel Murach
by
Murach, Joel
Publication details:
Fresno, Calif
Mike Murach & Associates
2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133 c# MUR
.
3.
Natural language understanding
James Allen
by
Allen, James
Edition:
2nd ed
Publication details:
Redwood City, Calif
Benjamin/Cummings Pub. Co
c1995
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 ALL
.
4.
No cover image available
Object-oriented programming : a unified foundation
Giuseppe Castagna
by
Castagna, Giuseppe
Publication details:
Boston
Birkhauser
c1997
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.117 CAS
.
5.
Oslo modeling language : draft specification, October 2008
David Langworthy, Brad Lovering, and Don Box
by
Langworthy, David
Box, Don
Lovering, Brad
Publication details:
Upper Saddle River, NJ
Addison-Wesley
2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.1 LAN
.
6.
PC hardware and A+ handbook
Kate J. Chase
by
Chase, Kate
Publication details:
Redmond, WA
Microsoft Press
c2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
004.076 CHA
.
7.
Practical Windows administration scripting
Bobby Malik
by
Malik, Bobby
Edition:
1st ed
Publication details:
Boston, MA
Charles River Media
c2007
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.432 W MAL
.
8.
No cover image available
Predicate transformer semantics
Ernest G. Manes
by
Manes, Ernest G
Publication details:
Cambridge
Cambridge University Press
1992
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 MAN
.
9.
Programming erlang : software for a concurrent world
Joe Armstrong
by
Armstrong, Joe
Publication details:
Raleigh, N.C
Pragmatic Bookshelf
c2007
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133 ARM
.
10.
Programming language concepts
Carlo Ghezzi, Mehdi Jazayeri
by
Ghezzi, Carlo
Jazayeri, Mehdi
Edition:
3rd ed
Publication details:
Hoboken, NJ
Wiley
2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 GHE
.
11.
Programming language design concepts
David A. Watt ; with contributions by William Findlay
by
Watt, David A
Findlay, William
Publication details:
New Delhi
Wiley India
2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.1 WAT
.
12.
Programming language pragmatics
Michael L. Scott
by
Scott, Michael Lee
Edition:
3rd ed
Publication details:
Amsterdam ; Boston, MA
Elsevier/Morgan Kaufmann Pub
c2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SCO
.
13.
Programming languages : concepts and constructs
Ravi Sethi
by
Sethi, Ravi
Publication details:
Reading, Mass
Addison-Wesley Pub. Co
c1989
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SET
.
14.
No cover image available
Programming languages : design and implementation
Terrence W. Pratt, Marvin V. Zelkowitz
by
Pratt, Terrence W
zelkowitz, marvin v
Edition:
4th ed
Publication details:
Upper Saddle River, NJ
Prentice Hall
2001
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 PRA
.
15.
Programming languages and methodologies
Robert J. Schalkoff
by
Schalkoff, Robert J
Publication details:
Boston, MA
Jones and Bartlett Publishers
c2007
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SCH
.
16.
Programming languages and systems in computational economics and finance
edited by Søren S. Nielsen
by
Nielsen, Søren S
Publication details:
Dordrecht ; Boston
Kluwer Academic Publishers
c2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
330.0285513 NIL
.
17.
Programming languages for business problem solving
Shouhong Wang, Hai Wang
by
Wang, Shouhong
Wang, Hai
Publication details:
Boca Raton, FL
Auerbach Publications
2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 WAN
.
18.
Programming pig
Alan, Gates
Publication details:
Sebastopol, CA
O'Reilly
2011
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133 GAT
.
19.
Python for data analysis
Wes McKinney
by
McKinney, Wes
Publication details:
Sebastopol, CA
O'Reilly
2016
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133 MCK
.
20.
Theories of programming languages
John C. Reynolds
by
Reynolds, John C
Publication details:
Cambridge
Cambridge University Press
c1998
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 REY
.
21.
Transitions and trees : an introduction to structural operational semantics
Hans Hüttel
by
Hüttel, Hans
Publication details:
Cambridge
Cambridge University Press
2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 HUT
.
22.
Understanding WMI scripting
Alain Lissoir
by
Lissoir, Alain
Publication details:
Amsterdam ; Boston
Digital Press
2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.43 LIS
.
23.
Compiling for the .NET common language runtime (CLR)
John Gough
by
Gough, K. John
Publication details:
Upper Saddle River, N.J
Prentice Hall
c2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.453 GOU
.
24.
No cover image available
Complete Java 2 certification : study guide
Philip Heller, Simon Roberts
by
Heller, Philip
Roberts, Simon
Edition:
5th ed
Publication details:
Alameda, Calif
Sybex
c2005
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133J HEL
.
25.
Computer coding games for kids
Jon Woodcock ; foreword by Carol Vorderman
by
Woodcock, Jon
Publication details:
New York
DK
2016
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
005.13 WOO, ..
.
26.
Concepts in programming languages
John C. Mitchell
by
Mitchell, John C
Publication details:
Cambridge
Cambridge University Press
2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 MIT
.
27.
Control flow semantics
Jaco de Bakker and Erik de Vink
by
Bakker, J. W. de
Vink, Erik de
Publication details:
Cambridge, MA
MIT Press
1996
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 BAK
.
28.
Design concepts in programming languages
Franklyn Turbak and David Gifford ; with Mark A. Sheldon
by
Turbak, Franklyn Albin
Gifford, David K
Sheldon, Mark A
Publication details:
Cambridge, MA
MIT Press
c2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SHE
.
29.
Domains and lambda-calculi
Roberto M. Amadio, Pierre-Louis Curien
by
Amadio, Roberto M
Curien, P. -L
Edition:
1st ed
Publication details:
Cambridge
Cambridge University Press
1998
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.3 AMA
.
30.
Domains and processes : proceedings of the 1st international symposium on domain theory, Shanghai, China, October 1999
edited by Klaus Keimel ... [et al.]
by
Keimel, Klaus
International Symposium on Domain Theory (1st : 1999 : Shanghai, China)
Publication details:
Boston, MA
Kluwer Academic Publishers
2001
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 KEI
.
31.
Easy Oracle jumpstart : Oracle database management concepts and administration
Steve Karam and Robert G. Freeman
by
Karam, Steve
Freeman, Robert G
Edition:
1st ed
Publication details:
Kittrell, NC
Rampant TechPress
2007, c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.7575O KAR
.
32.
Eclipse modeling project : a domain-specific language toolkit
Richard C. Gronback
by
Gronback, Richard C
Publication details:
Boston, MA
Addison Wesley
c2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.1 GRO
.
33.
Efficient polymorphic calls
Karel Driesen ; foreword by Urs Hölzle
by
Driesen, Karel
Holzle, Urs
Publication details:
Boston
Kluwer Academic Publishers
2001
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.117 DRI
.
34.
Essential.NET : the common language runtime
Don Box, with Chris Sells
by
Box, Don
Sells, Chris
Publication details:
Boston, MA
Addison-Wesley
-2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
006.76.NET BOX
.
35.
Essentials of programming languages
Daniel P. Friedman, Mitchell Wand
by
Friedman, Daniel P
Wand, Mitchell
Edition:
3rd ed
Publication details:
Cambridge, MA
MIT Press
c2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 FRI
.
36.
Formal semantics for VHDL
edited by Carlos Delgado Kloos and Peter T. Breuer
by
Breuer, Peter T
Delgado Kloos, Carlos
Publication details:
Dordrecht ; Boston
Kluwer Academic Publishers
c1995
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
621.392 DEL
.
37.
Formal syntax and semantics of Java
Jim Alves-Foss (ed.)
by
Alves-Foss, James
Publication details:
Berlin
Springer
1999
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133 J ALV
.
38.
Foundations for programming languages
John C. Mitchell
by
Mitchell, John C
Publication details:
Cambridge, MA
MIT Press
c1996
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 MIT
.
39.
Foundations of programming languages : design and implementation
Seyed H. Roosta
by
Roosta, Seyed H
Publication details:
Boston, MA
Thomson Brooks/Cole
c2004
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 ROO
.
40.
Higher order operational techniques in semantics
edited by Andrew D. Gordon and Andrew M. Pitts
by
Gordon, Andrew D
Pitts, A. M
Isaac Newton Institute for Mathematical Sciences
Publication details:
Cambridge
Cambridge University Press
1998
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.115 GOR
.
41.
Introduction to concurrency in programming languages
Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen
by
Sottile, Matthew J
Mattson, Timothy G
Rasmussen, Craig E
Publication details:
Boca Raton, FL
Chapman & Hall/CRC Press
c2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.275 SOT
.
42.
Languages for digital embedded systems
Stephen A. Edwards
by
Edwards, Stephen A
Publication details:
Dordrecht ; Boston
Kluwer Academic Publishers
2000
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
004.33 EDW
.
43.
Leveraging WMI scripting : using Windows management instrumentation to solve Windows management problems
Alain Lissoir
by
Lissoir, Alain
Publication details:
Boston
Digital Press
2003
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.43 LIS
.
44.
Logic programming : operational semantics and proof theory
James H. Andrews
by
Andrews, James H
Publication details:
Cambridge
Cambridge University Press
1992
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
005.131 AND, ..
.
45.
No cover image available
A practical introduction to denotational semantics
Lloyd Allison
by
Allison, Lloyd
Publication details:
Cambridge
Cambridge Univeristy Press
1986
Availability:
No items available.
46.
A practical introduction to denotational semantics
Lloyd Allison
by
Allison, Lloyd
Publication details:
Cambridge
Cambridge Univeristy Press
1986
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 ALL
.
47.
Axiomatic domain theory in categories of partial maps
Marcelo P. Fiore
by
Fiore, Marcelo P
Publication details:
Cambridge
Cambridge Univeristy Press
1996
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 FIO
.
48.
Axiomatic domain theory in categories of partial maps
Marcelo P. Fiore
by
Fiore, Marcelo P
Publication details:
Cambridge
Cambridge Univeristy Press
1996
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 FIO
.
49.
Concepts of programming languages
Robert W. Sebesta
by
Sebesta, Robert W
Edition:
9th ed
Publication details:
Upper Saddle River, NJ
Addison-Wesley
c2010
Availability:
No items available.
50.
Concepts of programming languages
Robert W. Sebesta
by
Sebesta, Robert W
Edition:
10th ed
Publication details:
Noida
Pearson
c2014
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SEB
.
51.
Concepts of programming languages
Robert W. Sebesta
by
Sebesta, Robert W
Edition:
9th ed
Publication details:
Upper Saddle River, NJ
Addison-Wesley
c2010
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 SEB
.
52.
PHP : a beginner's guide
Vikram Vaswani
by
Vaswani, Vikram
Publication details:
New York
McGraw Hill
c2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
006.76PHP VAS
.
53.
PHP : a beginner's guide
Vikram Vaswani
by
Vaswani, Vikram
Publication details:
New Delhi
McGraw Hill, Tata McGraw Hill Education Private Limited
c2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
006.76PHP VAS
.
54.
Programming languages : principles and paradigms
Allen Tucker, Robert Noonan
by
Tucker, Allen B
Noonan, Robert
Edition:
2nd ed
Publication details:
New York
McGraw-Hill
2007
Availability:
Not available:
Anna Centenary Library: Checked out
(1).
55.
Programming languages : principles and paradigms
Allen B. Tucker, Robert E. Noonan
by
Tucker, Allen B
Noonan, Robert
Edition:
2nd ed
Publication details:
New York
McGraw-Hill Higher Education
2007
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 TUC
.
56.
Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
by
Dybjer, Peter
Pitts, A. M
Publication details:
Cambridge
Cambridge University Press
1997
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
004.0151 PIT
.
57.
A practical guide to feature-driven development
Stephen R. Palmer and John M. Felsing
by
Palmer, Stephen R
Felsing, John M
Publication details:
Upper Saddle River, NJ
Prentice Hall PTR
c2002
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 PAL
.
58.
action semantics
Peter D. Mosses
by
Mosses, Peter
Publication details:
Cambridge
Cambridge Univeristy Press
1992
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 MOS
.
59.
No cover image available
actionScript 2.0 language reference for Macromedia flash 8
Francis Cheng ... [et al.]
by
Cheng, Francis
Publication details:
Berkeley, CA
Macromedia Press
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
006.66F CHE
.
60.
Algebraic semantics of imperative programs
Joseph A. Goguen and Grant Malcolm
by
Goguen, Joseph
Malcolm, Grant
Publication details:
Cambridge, MA
MIT Press
c1996
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 GOG
.
61.
Automating with STEP 7 in STL and SCL : programmable controllers SIMATIC S7-300/400
by Hans Berger
by
Berger, Hans
Edition:
5th rev. and enlarged ed
Publication details:
Erlangen
Publicis Pub
2009
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
629.8 BER
.
62.
Basic simple type theory
J. Roger Hindley
by
Hindley, J. Roger
Publication details:
Cambridge
Cambridge University Press
c1997
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.13 HIN
.
63.
PHP : a beginner's guide
Vikram Vaswani
by
Vaswani, Vikram
Publication details:
New York
McGraw Hill
c2009
Availability:
No items available.
64.
PHP : a beginner's guide
Vikram Vaswani
by
Vaswani, Vikram
Publication details:
New Delhi
McGraw Hill, Tata McGraw Hill Education Private Limited
c2009
Availability:
No items available.
65.
Programming languages : principles and paradigms
Allen Tucker, Robert Noonan
by
Tucker, Allen B
Noonan, Robert
Edition:
2nd ed
Publication details:
New York
McGraw-Hill
2007
Availability:
No items available.
66.
Programming languages : principles and paradigms
Allen B. Tucker, Robert E. Noonan
by
Tucker, Allen B
Noonan, Robert
Edition:
2nd ed
Publication details:
New York
McGraw-Hill Higher Education
2007
Availability:
No items available.
67.
Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
by
Dybjer, Peter
Pitts, A. M
Publication details:
Cambridge
Cambridge University Press
1997
Availability:
No items available.
68.
Introducing vala programming
/Michael Lauer
a anguage and techniques to boost productivity
by
Lauer, Michael
Language:
English
Publication details:
New York :
Apress,
c2019
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
005.13 LAU, ..
.
69.
The typo3 guidebook
/Felicity Brand
understand and use typo3 cms
by
Brand, Felicity
Heather McNamee, Jeffrey A. McGuire
Language:
English
Publication details:
New York :
Apress,
c2021
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
005.72 BRA, ..
.
70.
Practical scala DSLs
/Pierluigi Riti
real-world applications using domain specific languages
by
Riti, Pierluigi
Language:
English
Publication details:
New York :
Apress
c2018
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
005.133 RIT, ..
.
71.
Language server protocol and implementation
Nadeeshaan Gunasinghe; Nipuna Marcus
supporting language-smart editing and programming tools
by
Gunasinghe, Nadeeshaan
Nipuna Marcus
Language:
English
Publication details:
Sri Lanka :
Apress
c2022
Availability:
Items available for loan:
Anna Centenary Library
(2)
Call number:
005.7 GUN, ..
.
Pages
Find us on the map
Powered by
Koha