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

Orienting Polymers Procee ...

J.-L. Ericksen

List Price: $ 39.99

Our Price: $ 29.78

Categorical Aspects of To ...

B. Banaschewski

List Price: $ 46.00

Our Price: $ 40.99

Aspects of Ecology and Zo ...

Heinz Loffler, ...

List Price: $ 389.00

Our Price: $ 265.90

Stochastic Analysis and A ...

A. Truman, D. W ...

List Price: $ 39.99

Our Price: $ 30.20

Measure Theory Oberwolfac ...

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

List Price: $ 46.00

Our Price: $ 39.99

Robust Control of Linear ...

M. A. Kaashoek, ...

List Price: $ 149.99

Our Price: $ 103.99

Equadiff 82 Proceedings o ...

H. W. Knobloch, ...

Our Price: $ 63.62

Topology General and Alge ...

L.D. Faddeev, A ...

List Price: $ 46.00

Our Price: $ 40.99

Communicating Risks to th ...

R.E Kasperson, ...

List Price: $ 349.99

Our Price: $ 189.33

Formal Methods for Compon ...

Marcello M. Bon ...

List Price: $ 99.00

Our Price: $ 48.86

Probability in Banach Spa ...

A. Beck

List Price: $ 46.00

Our Price: $ 39.99

Non Commutative Harmonic ...

J. Carmona, M. ...

List Price: $ 39.99

Our Price: $ 34.38

Algebraic Geometry Procee ...

L. Badescu, D. ...

List Price: $ 46.00

Our Price: $ 42.76

Early Deism in France Fro ...

C.J. Betts

Our Price: $ 300.99

Analysis III Spaces of Di ...

J. Peetre, Serg ...

List Price: $ 149.99

Our Price: $ 23.29

Autonome Mobile Systeme 1 ...

Günther Schmidt ...

List Price: $ 69.99

Our Price: $ 56.44

Second International Visu ...

E.L. Greve

Our Price: $ 437.51