|
|
A common case study for aspect-oriented modeling /
Publication:
Berlin : Springer, 2010
. xi, 422 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
No cover image available
|
|
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),
|
|
|
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),
|
|
|
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /
Publication:
Berlin : Springer, 2010
. xi, 280 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Publication:
Berlin : Springer, 2010
. xiv, 416 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Advanced Parallel Processing Technologies
by Wu, Chenggang.
Publication:
. XII, 410 p. 187 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Geometry and Graphs
by Akiyama, Jin.
Publication:
. X, 163 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Lecroq, Thierry.
Publication:
. XXII, 474 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptography and Coding
by Stam, Martijn.
Publication:
. XII, 365 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Intelligence and Its Applications
by Castro, Félix.
Publication:
. XXVI, 585 p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Soft Computing and Its Applications
by Castro, Félix.
Publication:
. XXVI, 535 p. 174 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web and Internet Economics
by Chen, Yiling.
Publication:
. XIV, 440 p. 25 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph-Theoretic Concepts in Computer Science
by Brandstädt, Andreas.
Publication:
. XX, 430 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Computation
by Cai, Leizhen.
Publication:
. XVIII, 747 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 241 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Learning and Intelligent Optimization
by Nicosia, Giuseppe.
Publication:
. XV, 470 p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multi-disciplinary Trends in Artificial Intelligence
by Ramanna, Sheela.
Publication:
. XIV, 342 p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology - ASIACRYPT 2013
by Sako, Kazue.
Publication:
. XXIV, 542 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology - ASIACRYPT 2013
by Sako, Kazue.
Publication:
. XXIV, 546 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|