Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Communicating Risks to th ...

R.E Kasperson, ...

List Price: $ 349.99

Our Price: $ 206.68

Topology General and Alge ...

L.D. Faddeev, A ...

List Price: $ 46.00

Our Price: $ 38.38

Probability in Banach Spa ...

A. Beck

List Price: $ 46.00

Our Price: $ 36.85

Formal Methods for Compon ...

Marcello M. Bon ...

List Price: $ 99.00

Our Price: $ 63.99

Autonome Mobile Systeme 1 ...

Günther Schmidt ...

List Price: $ 69.99

Our Price: $ 65.89

Stochastic Analysis and A ...

A. Truman, D. W ...

List Price: $ 39.99

Our Price: $ 28.99

Analysis III Spaces of Di ...

J. Peetre, Serg ...

List Price: $ 149.99

Our Price: $ 53.49

Robust Control of Linear ...

M. A. Kaashoek, ...

List Price: $ 149.99

Our Price: $ 117.99

Orienting Polymers Procee ...

J.-L. Ericksen

List Price: $ 39.99

Our Price: $ 28.41

Algebraic Geometry Procee ...

L. Badescu, D. ...

Our Price: $ 53.24

Aspects of Ecology and Zo ...

Heinz Loffler, ...

List Price: $ 389.00

Our Price: $ 266.99

Measure Theory Oberwolfac ...

D. Kölzow, D. M ...

List Price: $ 46.00

Our Price: $ 36.98