search for books and compare prices
programming language semantics matches 102 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9780124104099
Product Description: Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development...read more

Hardcover:

9781558604421 | Morgan Kaufmann Pub, October 1, 1999, cover price $79.95 | About this edition: Programming Language Pragmatics addresses the fundamental principles at work in the most important contemporary languages, highlights the critical relationship between language design and language implementation, and devotes special attention to issues of importance to the expert programmer.

Paperback:

9780124104099 | 4th edition (Morgan Kaufmann Pub, December 11, 2015), cover price $89.95 | About this edition: Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today.
9780123745149 | 3 edition (Morgan Kaufmann Pub, March 23, 2009), cover price $77.95 | About this edition: Programming Language Pragmatics, Third Edition, is the most comprehensive programming language book available today.
9780126339512 | 2 pap/cdr edition (Morgan Kaufmann Pub, November 7, 2005), cover price $74.95 | About this edition: The innovative approach of the first edition of Programming Language Pragmatics provided students with an integrated view of programming language design and implementation, while offering a solid teaching text on timely language topics in a rigorous yet accessible style.
9781558605787 | Morgan Kaufmann Pub, October 1, 1999, cover price $68.95 | About this edition: Book by Scott, Michael L.

Miscellaneous:

9780080922997 | Morgan Kaufmann Pub, March 1, 2009, cover price $74.95
9780080515168 | Morgan Kaufmann Pub, October 1, 2005, cover price $70.95

cover image for 9780127999579
Product Description: RDF Database Systems is a cutting-edge guide that distills everything you need to know to effectively use or design an RDF database. This book starts with the basics of linked open data and covers the most recent research, practice, and technologies to help you leverage semantic technology...read more
By Guillaume Blin (editor)

Paperback:

9780127999579 | Morgan Kaufmann Pub, November 26, 2014, cover price $54.95 | About this edition: RDF Database Systems is a cutting-edge guide that distills everything you need to know to effectively use or design an RDF database.

cover image for 9781472576569
Product Description: This volume contains a detailed, precise and clear semantic formalism designed to allow non-programmers such as linguists and literary specialists to represent elements of meaning which they must deal with in their research and teaching...read more

Hardcover:

9781441162533 | Bloomsbury USA Academic, May 23, 2013, cover price $150.00 | About this edition: Could a single semantic formalism be created which would allow for the representation of meaning at all levels from basic semantic units and relations to sentence-level and text-level meaning, while remaining practical and user-friendly?

Paperback:

9781472576569 | Bloomsbury USA Academic, June 26, 2014, cover price $39.95 | About this edition: This volume contains a detailed, precise and clear semantic formalism designed to allow non-programmers such as linguists and literary specialists to represent elements of meaning which they must deal with in their research and teaching.

cover image for 9781461293774
Product Description: In the 1930s, mathematical logicians studied the notion of "effective comput­ ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine...read more

Hardcover:

9780387963242 | Springer Verlag, August 1, 1986, cover price $99.00 | About this edition: In the 1930s, mathematical logicians studied the notion of "effective comput­ ability" using such notions as recursive functions, A-calculus, and Turing machines.

Paperback:

9781461293774 | Springer-Verlag New York Inc, January 17, 2014, cover price $99.00 | About this edition: In the 1930s, mathematical logicians studied the notion of "effective comput­ ability" using such notions as recursive functions, A-calculus, and Turing machines.

cover image for 9781461293477
Product Description: The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor­ tant, namely fairness. Much of the reported research is still in the form of technical reports, theses and conference papers, and only a small part has already appeared in the formal scientific journal literature...read more

Hardcover:

9780387962351 | Springer Verlag, September 1, 1986, cover price $99.00 | About this edition: The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor­ tant, namely fairness.

Paperback:

9781461293477 | Springer-Verlag New York Inc, October 8, 2011, cover price $99.00 | About this edition: The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor­ tant, namely fairness.

cover image for 9781461373964
Product Description: Stochastically-Based Semantic Analysis investigates the problem of automatic natural language understanding in a spoken language dialog system. The focus is on the design of a stochastic parser and its evaluation with respect to a conventional rule-based method...read more

Hardcover:

9780792385714 | Kluwer Academic Pub, August 1, 1999, cover price $209.00 | About this edition: Stochastically-Based Semantic Analysis investigates the problem of automatic natural language understanding in a spoken language dialog system.

Paperback:

9781461373964 | Reprint edition (Springer-Verlag New York Inc, October 12, 2012), cover price $209.00 | About this edition: Stochastically-Based Semantic Analysis investigates the problem of automatic natural language understanding in a spoken language dialog system.

cover image for 9783642722509
Product Description: This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing semantics to context-free languages. The authors consider top-down tree transducers, macro tree transducers, attributed tree transducers, and macro attributed tree transducers...read more

Hardcover:

9783540646075 | Springer-Verlag New York Inc, October 1, 1998, cover price $99.00 | About this edition: The research on graphite intercalation compounds often acts as a forerunner for research in other sciences.

Paperback:

9783642722509 | Reprint edition (Springer Verlag, December 10, 2011), cover price $149.00 | About this edition: This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing semantics to context-free languages.

cover image for 9781447112211
Product Description: Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way...read more

Hardcover:

9781852331450 | Springer Verlag, August 1, 1999, cover price $87.95 | About this edition: Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory.

Paperback:

9781447112211 | Reprint edition (Springer-Verlag New York Inc, October 8, 2011), cover price $139.00 | About this edition: Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory.

cover image for 9781441944405
Product Description: This is an edited volume that develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. The book explores trade-offs among existing approaches.

Hardcover:

9780387724959 | Springer-Verlag New York Inc, December 1, 2008, cover price $189.00 | About this edition: This is an edited volume that develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations.

Paperback:

9781441944405 | Springer Verlag, December 4, 2008, cover price $189.00 | About this edition: This is an edited volume that develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations.

cover image for 9783540764519
Product Description: The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reuse of data across various applications...read more

Hardcover:

9783540764519 | Springer-Verlag New York Inc, December 4, 2008, cover price $79.95 | About this edition: The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reuse of data across various applications.
9780133354492, titled "Fundamentals of Investments" | 2nd edition (Prentice Hall, February 1, 1993), cover price $92.67 | also contains Fundamentals of Investments | About this edition: In 1993, the first edition of The Electrical Engineering Handbook set a new standard for breadth and depth of coverage in an engineering reference work.

Paperback:

9783642095306 | Springer Verlag, July 15, 2006, cover price $79.95 | About this edition: The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reuse of data across various applications.

cover image for 9783540794530
Product Description: Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. First, scientific issues of semantic grid systems are covered, followed by two basic technical issues, data-level semantic mapping, and service-level semantic interoperating...read more

Hardcover:

9783540794530 | Springer-Verlag New York Inc, November 30, 2008, cover price $249.00 | About this edition: Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications.

cover image for 9783540682332
Product Description: This book constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008. The 51 revised full papers presented together with 3 invited talks and 25 system description papers were carefully reviewed and selected from a total of 270 submitted papers...read more
By Sean Bechhofer (editor), Manfred Hauswirth (editor), Jorg Hoffmann (editor) and Manolis Koubarakis (editor)

Paperback:

9783540682332 | Springer-Verlag New York Inc, July 9, 2008, cover price $199.00 | About this edition: This book constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008.

cover image for 9783642087851
Product Description: This book lays the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services. The authors introduce the Web Service Modeling Language (WSML) in the form of ontologies.

Paperback:

9783642087851 | Springer Verlag, June 12, 2008, cover price $79.99 | About this edition: This book lays the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services.

cover image for 9780521062923
Product Description: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve...read more

Hardcover:

9780521622776 | Cambridge Univ Pr, August 1, 1998, cover price $199.99 | About this edition: This book describes the mathematical aspects of the semantics of programming languages.

Paperback:

9780521062923 | 1 edition (Cambridge Univ Pr, May 15, 2008), cover price $109.99 | About this edition: This book describes the mathematical aspects of the semantics of programming languages.

cover image for 9783540786160
Product Description: Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today’s dynamic market environments...read more
By Mathias Weske (editor)

Hardcover:

9783540786160 | Springer-Verlag New York Inc, May 1, 2008, cover price $99.00 | About this edition: Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today’s dynamic market environments.

Paperback:

9783642097355 | Springer Verlag, April 24, 2008, cover price $99.00 | About this edition: Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today’s dynamic market environments.

cover image for 9783540477037
Product Description: This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International Conference on Conceptual Modeling, ER 2006, in Tucson, AZ, USA in November 2006. The 39 revised full papers presented together with the outlines of three tutorials were carefully reviewed and selected from 95 submissions...read more
By Richard Benjamins (editor), Roger Chiang (editor), Ramez Elmasri (editor), John F. Roddick (editor) and Samira Si-said Cherfi (editor)

Paperback:

9783540477037 | Springer-Verlag New York Inc, February 28, 2008, cover price $129.00 | About this edition: This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International Conference on Conceptual Modeling, ER 2006, in Tucson, AZ, USA in November 2006.

cover image for 9783540706632
Product Description: The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge...read more
By Paolo Atzeni (editor), Francois Fages (editor), Mohand-Said Hacid (editor), Michael Kifer (editor) and Stefano Spaccapietra (editor)

Paperback:

9783540706632 | Springer-Verlag New York Inc, March 5, 2007, cover price $99.00 | About this edition: The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

cover image for 9783540493358
Product Description: This book constitutes the refereed proceedings of the First International Conference on Semantics and Digital Media Technologies, SAMT 2006, held in Athens, Greece in December 2006. The 17 revised full papers address a wide area of integrative research on new knowledge-based forms of digital media systems, semantics, and low-level multimedia processing...read more
By Yannis Avrithis (editor), Yiannis Kompatsiaris (editor), Noel E. O'Connor (editor) and Steffen Staab (editor)

Paperback:

9783540493358 | Springer-Verlag New York Inc, February 3, 2007, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the First International Conference on Semantics and Digital Media Technologies, SAMT 2006, held in Athens, Greece in December 2006.

cover image for 9783540395867
Product Description: Here are the proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006. The book presents 14 revised full papers together with 1 invited talk and 6 system demonstrations, addressing major aspects of semantic Web research, namely forms of reasoning with a strong interest in rule-based languages and methods...read more
By Jose Julio Alferes (editor), James Bailey (editor), Wolfgang May (editor) and Uta Schwertel (editor)

Paperback:

9783540395867 | Springer-Verlag New York Inc, January 30, 2007, cover price $99.00 | About this edition: Here are the proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006.

cover image for 9780132926171
Product Description: This introduction provides a clear framework for understanding and analyzing securities, and covers the major institutional features and theories of investing. While the book presents a thorough discussion of investments, the authors keep the material practical, relevant, and easy to understand...read more (view table of contents, read Amazon.com's description)

Hardcover:

9780132926171 | 3 sub edition (Prentice Hall, April 1, 2000), cover price $297.20 | About this edition: This introduction provides a clear framework for understanding and analyzing securities, and covers the major institutional features and theories of investing.
9780133354492 | 2nd edition (Prentice Hall, February 1, 1993), cover price $92.67 | also contains The Semantic Web: Semantics for Data and Services on the Web | About this edition: In 1993, the first edition of The Electrical Engineering Handbook set a new standard for breadth and depth of coverage in an engineering reference work.

cover image for 9780521619332
Product Description: Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages...read more

Hardcover:

9780521403474 | Cambridge Univ Pr, September 1, 1992, cover price $115.99 | About this edition: Action Semantics is a novel approach to the formal description of programming languages.

Paperback:

9780521619332 | Cambridge Univ Pr, February 28, 2005, cover price $94.99 | About this edition: Action Semantics is a novel approach to the formal description of programming languages.

cover image for 9780521607544
Product Description: Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged...read more

Hardcover:

9780521432191 | Cambridge Univ Pr, January 29, 1993, cover price $83.99 | About this edition: Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages.

Paperback:

9780521607544 | Cambridge Univ Pr, September 30, 2004, cover price $54.99 | About this edition: Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages.

cover image for 9788441517745
Product Description: PHP es el lenguaje de creación de páginas Web dinámicas más utilizado en el mundo del software libre. La razón de esta popularidad es el equilibrio entre su potencia y facilidad de uso. Es una excelente combinación de las mejores características de los lenguajes más populares de programación y contiene una completa colecciÃ...read more

Paperback:

9788441517745 | Anaya Multimedia-Anaya Interactiva, June 30, 2004, cover price $22.95 | About this edition: PHP es el lenguaje de creación de páginas Web dinámicas más utilizado en el mundo del software libre.

at beginning | displaying 1 to 25 | next 25 >