|
|
| |
Introduction to concurrency in programming languages /
by Sottile, Matthew J.
Publication:
Boca Raton, FL : Chapman & Hall/CRC Press, 2010
. xii, 330 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Mathematical aspects of logic programming semantics /
by Hitzler, Pascal.
Publication:
Boca Raton, FL : CRC Press, 2011
. xxx, 274 p. :
25 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Specification and verification of declarative open interaction models : , a logic-based approach /
by Montali, Marco.
Publication:
Berlin : Springer, 2010
. xxii, 411 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
A science of operations : , machines, logic and the invention of programming /
by Priestley, Mark.
Publication:
New York : Springer, 2011
. ix, 341p. ;
25 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
DSLs in Boo : , domain-specific languages in .NET /
by Rahien, Ayende.
Publication:
Greenwich, CT : Manning, 2010
. xxi, 328 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Some assembly required : , assembly language programming with the AVR microcontroller /
by Margush, Timothy S.
Publication:
Boca Raton, FL : CRC Press, 2011
. xxix, 613 p. ;
25 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Oracle embedded programming and application development /
by Lakshman, Bulusu.
Publication:
Boca Raton, FL : CRC Press, 2011
. xxvi, 345 p. :
25 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Software language engineering : , second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /
Publication:
Berlin : Springer, 2010
. xiii, 383 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. xi, 471 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Programming languages and systems : , 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28 2010 proceeding /
Publication:
Berlin : Springer, 2010
. xv, 632 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Web reasoning and rule systems : , fourth international conference, RR 2010, bressanone/brixen, Italy, September 22-24, 2010. proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 257 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Alice in action with Java /
by Adams, Joel
Publication:
Boston, MA : Thomson, 2008
. xxi, 616 p. :
Date:2008
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Object oriented programming through JAVA /
by krishna, P. Radha
Publication:
Boca Raton, FL : Universities Press, 2007
. 473 p. :
Date:2007
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Java for dummies /
by Burd, Barry A.
Publication:
Indianapolis, Ind : Wiley, 2011
. xx, 404 p. :
24 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
COSMIC function points : , theory and advanced practice /
Publication:
Boca Raton, FL : CRC Press, 2011
. xxi, 334 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Ubiquitous Information Technologies and Applications
by Han, Youn-Hee.
Publication:
. XIV, 914 p. 404 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
by Lokuciejewski, Paul.
Publication:
. XVIII, 262 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
by Borrione, Dominique.
Publication:
. VIII, 248 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Dynamically Reconfigurable Systems
by Platzner, Marco.
Publication:
. XXV, 300p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Ada 2012 Reference Manual. Language and Standard Libraries
by Taft, S. Tucker.
Publication:
. XXVIII, 921 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
