|
|
| |
Concrete mathematics : , a foundation for computer science /
by Graham, Ronald L.,
Publication:
Reading, Mass. : Addison-Wesley, 1994
. xiii, 657 p. :
24 cm.
Date:1994
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
The economics of science : , a critical realist overview /
by Tyfield, David.
Publication:
Abingdon, Oxon : Routledge, 2011
. xv, 230 p. :
27 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Starting out with Java : , from control structures through data structures /
by Gaddis, Tony.
Publication:
Boston, MA : Pearson Addison Wesley, 2007
. xxiii, 1319 p. :
26 cm. +
Date:2007
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Food flavors : , chemical, sensory and technological properties /
Publication:
Boca Raton, FL : CRC Press/Taylor & Francis Group,, 2012
. xii, 492 p. :
25 cm.
Date:2012
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Art + science now /
by Wilson, Stephen,
Publication:
London : Thames & Hudson, 2010
. 208 p. :
29 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Solving problems in scientific computing using Maple and MATLAB /
by Gander, Walter.
Publication:
Berlin : Springer, 2004
. xxii, 476 p. :
24 cm.
Date:2004
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Algorithms - ESA 2010 : , 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings, Part I /
Publication:
Berlin : Springer, 2010
. xviii, 587 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Web services and formal methods : , 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /
Publication:
Berlin : Springer, 2010
. 195 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 492 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
SOFSEM 2010 : , Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, ŠPindleruv Mlýn, Czech Republic, January 23-29, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xv, 780 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computing and combinatorics : , 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /
Publication:
Berlin ; | New York : Springer, 2010
. xiii, 542 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Mathematics of program construction : , 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings /
Publication:
Berlin : Springer, 2010
. x, 421 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Algorithmic aspects in information and management : , 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xi, 336 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Service-oriented computing. ICSOC/ServiceWave 2009 Workshops : , International Workshops, ICSOC/Servicewave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers /
Publication:
Berlin : Springer, 2010
. xxxiv, 583 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Evolvable systems : , from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /
Publication:
Heidelberg : Springer, 2010
. xii, 394 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Principles and practice of constraint programming - CP 2010 : , 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceeded /
Publication:
Berlin : Springer, 2010
. xx, 660 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 309 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
