Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Download links will be available after you disable the ad blocker and reload the page.
Showing: 1-10 results of 571

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.  The papers selected to be included in this book contribute to the understanding of relevant trends of current research on... more...

Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.  The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message... more...

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a... more...

This volume is the proceedings of the 13th International Conference on Theo­ rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese­ arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and... more...


This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to... more...

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault... more...

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.... more...

Learn what Backdrop CMS is and how it fulfills the role of a content management system, along with how to install and configure it. This book teaches how to create and manage content, taxonomy, users, page layouts, and menus to get the best site possible. You'll also see how to install on shared hosting – which is a focus of the Backdrop CMS team – to make hosting your website affordable.... more...

Learn to use the Java Persistence API (JPA) and other related APIs as found in the Java EE 8 platform from the perspective of one of the specification creators. A one-of-a-kind resource, this in-depth book provides both theoretical and practical coverage of JPA usage for experienced Java developers. Authors Mike Keith, Merrick Schincariol and Massimo Nardone take a hands-on approach, based on their... more...