This concise reference book for Android Studio 3 presents the essential Android Studio functions in a well-organized format that can be used as a handy reference.
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.
This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015.
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014.
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis.
Prolog, die wohl bedeutendste Programmiersprache der Künstlichen Intelligenz, hat eine einzigartige Verbreitung und Beliebtheit erreicht und gilt als Basis für eine ganze neue Generation von Programmiersprachen und -systemen.
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard.
Pascal ist heute eine der meistverbreiteten Programmiersprachen der Welt und längst auf nahezu allen Computersystemen verfügbar, auf Personal Computern ebenso wie auf professionellen Systemen.
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
This is an important textbook on artificial intelligence that uses the unifying thread of search to bring together most of the major techniques used in symbolic artificial intelligence.
Beginning R, Second Edition is a hands-on book showing howto use the R language, write and save R scripts, read in data files, and writecustom statistical functions as well as use built in functions.
Gain the techniques and tools that enable a smooth and efficient software development process in this quick and practical guide on Python continuous integration (CI) and continuous delivery (CD).
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.
Reduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reuse of functional methods utilized throughout the Java API.