|
|
Transactions on Petri Nets and Other Models of Concurrency VIII
by Koutny, Maciej.
Publication:
. XVIII, 203 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Braberman, Víctor.
Publication:
. X, 275 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XIX, 283 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Quantitative Evaluation of Systems
by Joshi, Kaustubh.
Publication:
. XII, 406 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2013 – Concurrency Theory
by D’Argenio, Pedro R.
Publication:
. XIV, 562 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Sharygina, Natasha.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2013
by Liu, Zhiming.
Publication:
. XII, 445 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Reasoning and Rule Systems
by Faber, Wolfgang.
Publication:
. XIV, 272 p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory, Practice, and Applications of Rules on the Web
by Morgenstern, Leora.
Publication:
. XVIII, 249 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Binder, Walter.
Publication:
. X, 145 p. 38 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Biere, Armin.
Publication:
. XII, 281 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Jurgensen, Helmut.
Publication:
. X, 289 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structured Object-Oriented Formal Language and Method
by Liu, Shaoying.
Publication:
. X, 149 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Bartocci, Ezio.
Publication:
. X, 377 p. 143 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Gaag, Linda C.
Publication:
. XII, 536 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Nature of Computation. Logic, Algorithms, Applications
by Bonizzoni, Paola.
Publication:
. XVIII, 446 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2013 – Object-Oriented Programming
by Castagna, Giuseppe.
Publication:
. XXII, 746 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Drira, Khalil.
Publication:
. XVI, 354 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|