|
|
| |
Power Electronics and Instrumentation Engineering
by Das, Vinu V.
Publication:
. X, 114p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Theoretical Computer Science
by Calude, Cristian S.
Publication:
. XII, 387p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Distributed, Parallel and Biologically Inspired Systems
by Hinchey, Mike.
Publication:
. XVI, 316p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 324p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Specification and Verification of Declarative Open Interaction Models
by Montali, Marco.
Publication:
. XXII, 411p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Information and Communication Technologies in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XII, 379 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Distributed Programming
by Shankar, A. Udaya.
Publication:
. XVIII, 387 p. 175 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Specification of Software Systems
by Alagar, V.S.
Publication:
. XXVI, 646 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Rigorous Software Development
by Almeida, José Bacelar.
Publication:
. XIII, 307p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Business Process Management
by Daniel, Florian.
Publication:
. XVI, 355 p. 124 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /
Publication:
New York, NY : Springer, 2005
. xiii, 348 p.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
