Types for Proofs and Programs
Editat de Marino Miculan et al.
26 mai 2008
Paperback
Preț: 318.06 lei 397.57 lei
6-8 săpt.
-20%
Cărți editura Springer
Mammalian Evolutionary Morphology
Editat de Eric J. Sargis et al.
26 mai 2008
Hardback
Preț: 693.62 lei 912.65 lei
38-44 zile
-24%
Parallel Processing and Applied Mathematics
Editat de Roman Wyrzykowski et al.
26 mai 2008
Paperback
Preț: 1075.39 lei 1344.24 lei
38-44 zile
-20%
Formal Methods in Systems Biology
Editat de Jasmin Fisher
26 mai 2008
Paperback
Preț: 314.81 lei 393.51 lei
6-8 săpt.
-20%
Rationale-Based Software Engineering
Autor Janet E. Burge et al.
26 mai 2008
Hardback
Preț: 632.43 lei 790.54 lei
6-8 săpt.
-20%
Analytical and Stochastic Modeling Techniques and Applications
Editat de Khalid Al-Begain et al.
26 mai 2008
Paperback
Preț: 324.41 lei 405.51 lei
6-8 săpt.
-20%
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Autor Ulrich Kohlenbach
26 mai 2008
Hardback
Preț: 772.50 lei 942.08 lei
6-8 săpt.
-18%
Testing of Software and Communicating Systems
Editat de Kenji Suzuki et al.
26 mai 2008
Paperback
Preț: 323.39 lei 404.23 lei
6-8 săpt.
-20%
Heterogeneous Objects Modelling and Applications
Editat de Alexander Pasko et al.
26 mai 2008
Paperback
Preț: 322.16 lei 402.70 lei
6-8 săpt.
-20%