|
|
| |
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Social Informatics
by Jatowt, Adam.
Publication:
. XVI, 494 p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Brain and Health Informatics
by Imamura, Kazayuki.
Publication:
. XVIII, 539 p. 222 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer Algebra in Scientific Computing
by Gerdt, Vladimir P.
Publication:
. XVI, 443 p. 58 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 methods for open object-based distributed systems : , 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Publication:
Berlin ; Springer, 2005
. x, 321 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Formal techniques for networked and distributed systems, FORTE 2003 : , 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xii, 429 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Next generation computer animation techniques : , Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers /
Publication:
Cham, Switzerland : Springer International Publishing, 2017
. 247 p. :
24 cm.
Date:2017
Availability:
Copies available:
AUM Main Library
(1),
|
|
