Mapline


Book Description




Programming Languages and Systems


Book Description

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.










Current Geographical Publications


Book Description

Current Geographical Publications (CGP) is a non-profit service to the scholarly community initiated in 1938 by the American Geographical Society of New York. Beginning in 2006, the format changed to include the tables of contents of current geographical journals. The journal titles listed link to web pages or PDF scans of the current issue's contents.




Mastering Mathematica®


Book Description

Mastering Mathematica®: Programming Methods and Applications presents the mathematical results and turn them into precise algorithmic procedures that can be executed by a computer. This book provides insight into more complex situations that can be investigated by hand. Organized into four parts, this book begins with an overview of the use of a pocket calculator. This text then looks in more detail at numerical calculations and solving equations, both algebraic and differential equations. Other parts consider the built-in graphics and show how to make pictures without programming. This book discusses as well the four styles of programming, namely, functional programming, imperative programming, rewrite programing, and object oriented programming. The reader is also introduced to differentiable mapping to show the analysis of critical points of functions and the developments in differential geometry that are required to study minimal surfaces. This book is a valuable resource for graduate students in mathematics, mathematics education, engineering, and the sciences.




The Semantic Web


Book Description

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web Conference, ESWC 2017, held in Portorož, Slovenia. The 51 revised full papers presented were carefully reviewed and selected from 183 submissions. In addition, 10 PhD papers are included, selected out of 14 submissions. The papers are organized in the following tracks: semantic data management, big data, and scalability; linked data; machine learning; mobile web, sensors, and semantic streams; natural language processing and information retrieval; vocabularies, schemas, and ontologies; reasoning; social web and web science; semantic web and transparency; in use and industrial track; and PhD symposium.







Newsletter


Book Description




Programming with Mathematica®


Book Description

This practical, example-driven introduction teaches the foundations of the Mathematica language so it can be applied to solving concrete problems.