Pearson Education (us) Principles of concurrent and distributed programming, paperback/m. ben-ari

Pearson Education (us)

Pearson Education (us) Principles of concurrent and distributed programming, paperback/m. ben-ari

Vezi magazinul Elefant

2 stele, bazat pe 1 voturi

From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking.

It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.

587.99 ^Lei

Cu cate stelute ai vota acest produs?

Magazine carte straina

Computing & information technology

Elefant

Clientii au cumparat si

Principles of concurrent and distributed programming, paperback/m. ben-ari

Principles of concurrent and distributed programming, paperback/m. ben-ari

587.99 ^Lei

Architectural rendering with 3ds max and v-ray. photorealistic visualization, paperback/enrico eggert

Architectural rendering with 3ds max and v-ray. photorealistic visualization, paperback/enrico eggert

299.99 ^Lei

-6%

Proof and disproof in formal logic, hardback/richard bornat

Proof and disproof in formal logic, hardback/richard bornat

452.99 ^Lei

Acting with technology. activity theory and interaction design, paperback/bonnie a. nardi

Acting with technology. activity theory and interaction design, paperback/bonnie a. nardi

121.99 ^Lei

Performance modeling and design of computer systems. queueing theory in action, hardback/mor harchol-balter

Performance modeling and design of computer systems. queueing theory in action, hardback/mor harchol-balter

471.99 ^Lei

-29%

Retail information systems based on sap products, paperback/oliver vering

Retail information systems based on sap products, paperback/oliver vering

459.99 ^Lei

Html, xhtml and css for dummies, paperback/jeff noble

Html, xhtml and css for dummies, paperback/jeff noble

134.99 ^Lei

-1%

Introduction to google sketchup, paperback/chris pichereau

Introduction to google sketchup, paperback/chris pichereau

597.99 ^Lei

Max/msp/jitter for music. a practical guide to developing interactive music systems for education and more, paperback/v. j. (assistant professor of music technology and perception, assistant professor of music technology and perception, worcester pol

Max/msp/jitter for music. a practical guide to developing interactive music systems for education and more, paperback/v. j. (assistant professor of music technology and perception, assistant professor of music technology and perception, worcester pol

265.00 ^Lei

-62%

Digital state. how the internet is changing everything, paperback/simon pont

Digital state. how the internet is changing everything, paperback/simon pont

34.99 ^Lei

-1%

Limits of mathematics. a course on information theory and the limits of formal reasoning, paperback/gregory j. chaitin

Limits of mathematics. a course on information theory and the limits of formal reasoning, paperback/gregory j. chaitin

513.99 ^Lei

-18%

Mastering vmware vsphere 6, paperback/josh atwell

Mastering vmware vsphere 6, paperback/josh atwell

263.99 ^Lei

Think like zuck: the five business secrets of facebook's improbably brilliant ceo mark zuckerberg, hardback/ekaterina walter

Think like zuck: the five business secrets of facebook's improbably brilliant ceo mark zuckerberg, hardback/ekaterina walter

195.99 ^Lei

Pattern-oriented software architecture. a pattern language for distributed computing, hardback/douglas c. schmidt

Pattern-oriented software architecture. a pattern language for distributed computing, hardback/douglas c. schmidt

238.99 ^Lei

Ruby cookbook. recipes for object-oriented scripting, paperback/leonard richardson

Ruby cookbook. recipes for object-oriented scripting, paperback/leonard richardson

244.99 ^Lei

-18%

Nosql for dummies, paperback/adam fowler

Nosql for dummies, paperback/adam fowler

125.99 ^Lei

Object-oriented analysis and design. understanding system development with uml 2.0, paperback/mike o'docherty

Object-oriented analysis and design. understanding system development with uml 2.0, paperback/mike o'docherty

321.99 ^Lei

-1%

Principles of object-oriented modeling and simulation with modelica 3.3. a cyber-physical approach, paperback/peter a. fritzson

Principles of object-oriented modeling and simulation with modelica 3.3. a cyber-physical approach, paperback/peter a. fritzson

752.99 ^Lei

Beginning asp.net 4.5.1: in c# and vb, paperback/imar spaanjaars

Beginning asp.net 4.5.1: in c# and vb, paperback/imar spaanjaars

214.00 ^Lei

Strategically networked organization. leveraging social networks to improve organizational performance, hardback/hanna lehtimaki

Strategically networked organization. leveraging social networks to improve organizational performance, hardback/hanna lehtimaki

419.00 ^Lei

-1%

Microsoft (r) excel (r) 2010 for medical professionals, paperback/***

Microsoft (r) excel (r) 2010 for medical professionals, paperback/***

256.99 ^Lei

Creating games. mechanics, content, and technology, hardback/odest chadwicke jenkins

Creating games. mechanics, content, and technology, hardback/odest chadwicke jenkins

482.99 ^Lei

-24%

Using moodle. teaching with the popular open source course management system, paperback/jason cole

Using moodle. teaching with the popular open source course management system, paperback/jason cole

150.00 ^Lei

-18%

Ios sensor apps with arduino. wiring the iphone and ipad into the internet of things, paperback/alasdair allan

Ios sensor apps with arduino. wiring the iphone and ipad into the internet of things, paperback/alasdair allan

80.99 ^Lei

-18%

Zbrush creature design. creating dynamic concept imagery for film and games, paperback/scott spencer

Zbrush creature design. creating dynamic concept imagery for film and games, paperback/scott spencer

190.99 ^Lei

-1%

Workflow patterns. the definitive guide, hardback/arthur h. m. ter hofstede

Workflow patterns. the definitive guide, hardback/arthur h. m. ter hofstede

236.99 ^Lei

-18%

Living clojure, paperback/carin meier

Living clojure, paperback/carin meier

160.99 ^Lei

Numerical optimization, hardcover/jorge nocedal

Numerical optimization, hardcover/jorge nocedal

543.99 ^Lei

Programming flutter: native, cross-platform apps the easy way, paperback/carmine zaccagnino

Programming flutter: native, cross-platform apps the easy way, paperback/carmine zaccagnino

235.99 ^Lei

-3%

T-sql window functions: for data analysis and beyond, paperback/itzik ben-gan

T-sql window functions: for data analysis and beyond, paperback/itzik ben-gan

183.99 ^Lei

Windows 10 in easy steps, paperback/nick vandome

Windows 10 in easy steps, paperback/nick vandome

75.99 ^Lei

-63%

Pro wpf with vb 2008. windows presentation foundation with .net 3.5, paperback/matthew macdonald

Pro wpf with vb 2008. windows presentation foundation with .net 3.5, paperback/matthew macdonald

99.99 ^Lei

-18%

Google power search, paperback/stephan spencer

Google power search, paperback/stephan spencer

55.00 ^Lei

-18%

Computer called leo. lyons tea shops and the world's first office computer, paperback/georgina ferry

Computer called leo. lyons tea shops and the world's first office computer, paperback/georgina ferry

60.99 ^Lei

-1%

Us power and the internet in international relations. the irony of the information age, hardback/m. carr

Us power and the internet in international relations. the irony of the information age, hardback/m. carr

511.99 ^Lei

Thinking in promises, paperback/mark burgess

Thinking in promises, paperback/mark burgess

195.99 ^Lei

-7%

Visual analytics of movement, hardback/stefan wrobel

Visual analytics of movement, hardback/stefan wrobel

703.99 ^Lei

-1%

Digital asset management. content architectures, project management, and creating order out of media chaos, paperback/elizabeth keathley

Digital asset management. content architectures, project management, and creating order out of media chaos, paperback/elizabeth keathley

205.99 ^Lei

-93%

Digital image, paperback/ron graham

Digital image, paperback/ron graham

19.00 ^Lei

Modern compiler implementation in ml, paperback/andrew w. appel

Modern compiler implementation in ml, paperback/andrew w. appel

519.99 ^Lei

Categorii Pearson Education (us)

Biology, life sciences

Children's, teenage & educational

Computer networking & communications

Computer programming, software engineering

Computer security

Computing & information technology

Economics, finance, business & management

History & archaeology

Language & linguistics

Literature: history & criticism

Mathematics & science

Medicine & nursing

Reference, information & interdisciplinary subjects

Society & social sciences

Sociology & anthropology

Technology, engineering, agriculture

Pearson Education (us) Principles of concurrent and distributed programming, paperback/m. ben-ari

587.99 Lei