//]]>
Formal Techniques for Distributed Systems by Beyer, Dirk. Publication: . XIV, 321 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-24 by Bonacina, Maria Paola. Publication: . XVI, 466 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems by Cavallaro, Lorenzo. Publication: . XVI, 145 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence X by Nguyen, Ngoc-Thanh. Publication: . XII, 207 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination Models and Languages by Nicola, Rocco. Publication: . XIV, 251 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Cellier, Peggy. Publication: . X, 267 p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Beek, Maurice H. Publication: . X, 151 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Infocomm Technology by Guyot, Vincent. Publication: . XVI, 358 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Based Methodologies for Pervasive and Embedded Software by Machado, Ricardo J. Publication: . X, 139 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Albert, Elvira. Publication: . X, 245 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Coecke, Bob. Publication: . XX, 363 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency VII by Jensen, Kurt. Publication: . XVI, 423 p. 250 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Communication Technologies for Vehicles by Berbineau, Marion. Publication: . XIV, 253 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies X by Baldoni, Matteo. Publication: . XII, 209 p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing - ICSOC 2012 Workshops by Ghose, Aditya. Publication: . XVI, 466 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages and Compilers for Parallel Computing by Kasahara, Hironori. Publication: . XII, 276 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements Engineering: Foundation for Software Quality by Doerr, Joerg. Publication: . XVIII, 402 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Smart Card Research and Advanced Applications by Mangard, Stefan. Publication: . XII, 297 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations and Practice of Security by Garcia-Alfaro, Joaquin. Publication: . XIV, 383 p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart