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 for 9781558604421 Cover for 9780123745149 Cover for 9780124104099 Cover for 9780126339512 Cover for 9781558605787 Cover for 9780127999579 Cover for 9781441162533 Cover for 9781472576569 Cover for 9780387963242 Cover for 9781461293774 Cover for 9780387962351 Cover for 9781461293477 Cover for 9780792385714 Cover for 9781461373964 Cover for 9783540646075 Cover for 9783642722509 Cover for 9781852331450 Cover for 9781447112211 Cover for 9780387724959 Cover for 9781441944405 Cover for 9780133354492 Cover for 9783540764519 Cover for 9783642095306 Cover for 9783540794530 Cover for 9783540682332 Cover for 9783642087851 Cover for 9780521622776 Cover for 9780521062923 Cover for 9783540786160 Cover for 9783642097355 Cover for 9783540477037 Cover for 9783540706632 Cover for 9783540493358 Cover for 9783540395867 Cover for 9780132926171 Cover for 9780133354492 Cover for 9780521403474 Cover for 9780521619332 Cover for 9780521432191 Cover for 9780521607544 Cover for 9788441517745
cover image for 9780124104099
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. Thanks to its rigorous but accessible teaching style, you'll emerge better prepared to choose the best language for particular projects, to make more effective use of languages you already know, and to learn new languages quickly and completely. * Addresses the most recent developments in programming language design, spanning more than forty different languages, including Ada 95, C, C++, Fortran 95, Java, Lisp, Scheme, ML, Modula-3, Pascal, and Prolog.* Places a special emphasis on implementation issues-how the techniques used by compilers and related tools influence language design, and vice versa.* Covers advanced topics in language design and implemenation, such as iterators, coroutines, templates (generics), separate compilation, I/O, type inference, and exception handling.* Reviews language-related topics in assembly-level architecture critical for understanding what a compiler does to a program.* Offers in-depth coverage of object-oriented programming, including multiple inheritance and dynamic method binding.* Devotes a special section to static and dynamic linking.* Includes a comprehensive chapter on concurrency, with detailed coverage of both shared-memory and message-passing languages and libraries.* Provides an accessible introduction to the formal foundations of compilation (automata theory), functional programming (lambda calculus), and logic programming (predicate calculus).

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
9780123745149 | 3 edition (Morgan Kaufmann Pub, March 23, 2009), cover price $77.95
9780126339512 | 2 pap/cdr edition (Morgan Kaufmann Pub, November 7, 2005), cover price $74.95
9781558605787 | Morgan Kaufmann Pub, October 1, 1999, cover price $68.95

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

Hardcover:

9781441162533 | Bloomsbury USA Academic, May 23, 2013, cover price $150.00

Paperback:

9781472576569 | Bloomsbury USA Academic, June 26, 2014, cover price $39.95

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
The research on graphite intercalation compounds often acts as a forerunner for research in other sciences. For instance, the concept of staging, which is fundamental to graphite intercalation compounds, is also relevant to surface science in connection with adsorbates on metal surfaces and to high-temperature superconducting oxide layer materials. Phonon-folding and mode-splitting effects are not only basic to graphite intercalation compounds but also to polytypical systems such as supercon­ ductors, superlattices, and metal and semiconductor superlattices. Charge transfer effects playa tremendously important role in many areas, and they can be most easily and fundamentally studied with intercalated graphite. This list could be augmented with many more examples. The important message, however, is that graphite inter­ calation compounds represent a class of materials that not only can be used for testing a variety of condensed-matter concepts, but also stimulates new ideas and approaches. This volume is the second of a two-volume set. The first volume addressed the structural and dynamical aspects of graphite intercalation compounds, together with the chemistry and intercalation of new compounds. This second volume provides an up-to-date status report from expert researchers on the transport, magnetic, elec­ tronic and optical properties ofthis unique class of materials. The band-structure cal­ culations of the various donor and acceptor compounds are discussed in depth, and detailed reviews are provided ofthe experimental verification ofthe electronic struc­ ture in terms of their photoemission spectra and optical properties.

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

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

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.

Hardcover:

9780132926171 | 3 sub edition (Prentice Hall, April 1, 2000), cover price $297.20
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

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 >