Search Results

This volume provides a comprehensive analysis of the syntax of Palauan that will appeal to anyone interested in Austronesian languages or formal syntactic and m

This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-dept

This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligenc

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance im

Pro iOS Persistence explains how to build apps in Objective-C and Swift that persist and use data most effectively including the popular Core Data framework. Co