(838 resultados)

Ordenar por

ordenar por...

precio Fecha Public Autor Título

150,79€(IVA inc.)

Computer Aided Verification

Chaudhuri, Swarat
978-3-319-41539-0
2016-07-14

74,88€(IVA inc.)

Computer Aided Verification

Chaudhuri, Swarat
978-3-319-41527-7
2016-07-14

66,56€(IVA inc.)

Theory and Practice of Formal Methods

Ábrahám, Erika
978-3-319-30733-6
2016-07-05

135,20€(IVA inc.)

Advances in Computers

Hurson, Ali
978-0-12-809919-3
2016-07-01

20,79€(IVA inc.)

C++ Standard Library Quick Reference

Gregoire, Marc
978-1-4842-1875-4
2016-06-28

58,24€(IVA inc.)

Perspectives of System Informatics

Mazzara, Manuel
978-3-319-41578-9
2016-06-28

66,56€(IVA inc.)

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Albert, Elvira
978-3-319-39569-2
2016-06-27

58,24€(IVA inc.)

Application and Theory of Petri Nets and Concurrency

Kordon, Fabrice
978-3-319-39085-7
2016-06-09

43,68€(IVA inc.)

Trends in Functional Programming

Serrano, Manuel
978-3-319-39109-0
2016-05-12

41,59€(IVA inc.)

Introduction to HPC with MPI for Data Science

Nielsen, Frank
978-3-319-21902-8
2016-05-08

Primera < Anterior 15 16 17 18 19 20 21 22 23 24 Siguiente >Última