Designing Reliable Distributed Systems. A Formal Methods Approach Based on Executable Modeling in Maude, Paperback - Peter Csaba Olveczky imagine

Designing Reliable Distributed Systems. A Formal Methods Approach Based on Executable Modeling in Maude, Paperback - Peter Csaba Olveczky

439,99 RON
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
springer london ltd, carti, carte straina, computing & information technology
elefant.ro
Geometric Algebra: An Algebraic System for Computer Games and Animation. Softcover reprint of the original 1st ed. 2009, Paperback - John A. Vince imagine

Geometric Algebra: An Algebraic System for Computer Games and Animation. Softcover reprint of the original 1st ed. 2009, Paperback - John A. Vince

428,99 RON
Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract ...
springer london ltd, carti, carte straina, computing & information technology
elefant.ro
Ontological Engineering. with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. First Edition, Paperback - Asuncion Go imagine

Ontological Engineering. with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. First Edition, Paperback - Asuncion Go

1.026,99 RON
Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and met...
springer london ltd, carti, carte straina, computing & information technology, computer networking & communications
elefant.ro

Similar cu Springer London Ltd

De asemenea poti fi interesat de

Cookies ne ajuta la livrarea serviciului. Folosind serviciul nostru, consemnati la utilizarea cookies-urilor. Mai multe