Practical Foundations for Programming Languages, Hardcover - Robert Harper

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts ar...

DescriptionA comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking th...

Publisher: Pearson Education LimitedAuthor(s): Robert SebestaNumber of pages: 776Publication date: 2022Dimensions: 188 x 233 x 39Cover type: Paperb...

Reducere. ARE YOUR CUSTOMERS LOOKING FOR A COMPLETE GUIDE PYTHON?Do you want to make sure that by buying just one book they will come back to buy again and a...

Reducere. Computer programming is one of the top sought-after skills in today's ever-evolving society. Jump on the bandwagon before it's too late... Have you...

Reducere. Programming languages are a crucial part of computer programming. They help in developing a set of instructions designed to provide a specific outp...

Reducere. C is a general purpose programming language. It is closely associated with UNIX and borrows many of its features from B language. It is a procedura...

Reducere. In the early 1980s, Python was designed. Initially, Python did not make its mark in the industry as intended due to the absence of adequate marketi...

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such ...

Coaching Brain in Mind Foundations for Practice David Rock and Linda J. Page, PhD Discover the science behind brain-based coaching By understanding...

Contributor(s): Author: Chris DannenLearn how to use Solidity and the Ethereum project - second only to Bitcoin in market capitalization. Blockchai...

Reducere. The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the seman...

Contributor(s): Author: Ulisses AlmeidaElixir's straightforward syntax and this guided tour give you a clean, simple path to learn modern functiona...

Reducere. Computer programming is one of the top sought-after skills in today's ever-evolving society. Jump on the bandwagon before it's too late... Have you...

Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpre...

Reducere. Masterminds of Programming features exclusive interviews with the creators of several historic and highly influential programming languages. In thi...

Publisher: MIT Press LtdIllustration(s): 125 illus.; 125 Illustrations, unspecifiedNumber of pages: 588Collection: The MIT PressPublication date: 2...

Reducere. Do your customers want to learn Python Programming well and fast?Do you want to make sure that by buying just one book they will come back to buy a...

Reducere. Do your customers want to learn Python Programming well and fast?Do you want to make sure that by buying just one book they will come back to buy a...

Hands on languages - Cook for fun. Student's Book A - Damiana Covre, Melanie Segal

Hands on languages - Cook for fun. Student's Book B - Damiana Covre, Melanie Segal

Reducere. If you want to learn the most modern programming language in the world, then keep reading.Pyhton is an high-level programming language. It's a mode...

Agile is an iterative approach to software development that has rapidly gained popularity in the wider IT industry. For software testers, Agile tes...

DescriptionUnderstand the fundamentals of wireless and MIMO communication with this accessible and comprehensive text. Viewing the subject through ...

Reducere. Contributor(s): Author: Peter SmidOver its first two editions, this best-selling book has become the de facto standard for training and reference m...

Contributor(s): Author: Robert SedgewickAuthor: Kevin WayneThis fourth edition of Robert Sedgewick and Kevin Wayne's Algorithms is the leading text...

Description The leading textbook in sport and exercise psychology is back in a revised seventh edition, and it again raises the bar with its engagi...

Reducere. DescriptionExplore the fundamental concepts behind modern, object-oriented software design best practices. Learn how to work with UML to approach s...

Reducere. When you start programming from scratch, you are faced with a difficult choice: which language to choose? What is the best language to start progra...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Curious About Neural Networks?If you're looking to become familiar with the basics of a neural network, then you have found a resource to help you ...

Reducere. C++ is one of the most important and influential programming languages for application development. It supports the modular, object- oriented and g...

Publisher: MIT Press LtdAuthor(s): Hridesh RajanNumber of pages: 304Publication date: 2022Dimensions: 184 x 261 x 25Cover type: HardbackRedescopera...

This introduction to quantum computing for anybody who knows how to program a conventional computer takes readers from the basics to detailed deriv...

DescriptionLearn practical uses for some of the hottest tech applications trending among technology professionals We are living in an era of digita...

Reducere. Contributor(s): Author: Robert NystromThe biggest challenge facing many game programmers is completing their game. Most game projects fizzle out, o...