Learn IT - Books tags formal

Développement d'applications avec Objective CAML

O'Reilly, 2000

The desire to write a book on Objective Caml sprang from the authors' pedagogical experience in teaching programming concepts through the Objective Caml language. The students in various majors and the engineers in continuing education at Pierre and Marie Curie University have, through their dynamism and their critiques, caused our...

Practical Electronics: Components and Techniques

O'Reilly, 2015

How much do you need to know about electronics to create something interesting, or creatively modify something that already exists? If you’d like to build an electronic device, but don’t have much experience with electronics components, this hands-on workbench reference helps you find answers to technical questions...

Complete Guide to OneNote

Apress, 2003

Complete Guide to OneNote is aimed at making users more productive by helping them organize what are today ephemeral and disconnected scraps of personal information gathered prior to the creation of a formal work product.

This comprehensive reference explains this new category of software and its user paradigm, including...

MATLAB Mathematical Analysis

Apress, 2014

MATLAB Mathematical Analysis is a reference book that presents the techniques of mathematical analysis through examples and exercises resolved with MATLAB software. The purpose is to give you examples of the mathematical analysis functions offered by MATLAB so that you can use them in your daily work regardless of the application....

Set Theory: With an Introduction to Real Point Sets

Birkhauser, 2013

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.

To allow flexibility of topic...

Non-Transformational Syntax: Formal and Explicit Models of Grammar

John Wiley & Sons, 2011

This authoritative introduction explores the four mainnon-transformational syntactic frameworks: Head-driven PhraseStructure Grammar, Lexical-Functional Grammar, Categorial Grammar,and Simpler Syntax. It also considers a range of issues that arisein connection with these approaches, including questions aboutprocessing and acquisition.

...

The Art of Memory Forensics: Detecting Malware and Threats in Windows, Linux, and Mac Memory

John Wiley & Sons, 2014

Memory forensics provides cutting edge technology to help investigate digital attacks Memory forensics is the art of analyzing computer memory (RAM) to solve digital crimes. As a follow-up to the best seller Malware Analyst's Cookbook, experts in the fields of malware, security, and digital forensics bring you a step-by-step guide to...

The Linear Algebra a Beginning Graduate Student Ought to Know

Springer, 2012

Linear algebra is a living, active branch of mathematics which is central to almost all other areas of mathematics, both pure and applied, as well as to computer science, to the physical, biological, and social sciences, and to engineering. It encompasses an extensive corpus of theoretical results as well as a large and rapidly-growing body...

The Definitive Guide to SUSE Linux Enterprise Server 12

Apress, 2014

The Definitive Guide to SUSE Linux Enterprise Server 12 is a task-oriented book designed for self-study as well as classroom environments, which will also serve you as a reference guide. The book covers all skills that system administrators typically need to posses to administer SUSE Linux Enterprise Server in corporate environments....

The Product Manager's Desk Reference

McGraw-Hill, 2008

THE 2nd EDITION of THE PMDR is NOW AVAILABLE: Go to: bit.ly/PMDR2
If you loved the first edition of The Product Manager's Desk Reference - You'll want to get a copy of the 2nd edition. The Product Manager's Desk Reference 2nd Edition greatly expands on the body of knowledge, with new tools,...

Modern Italian Grammar: A Practical Guide (Modern Grammars)

Routledge, 1997

Modern Italian Grammar follows an entirely new approach to learning Italian. It embraces a new way of looking at grammar not as an ultimate goal, but as the tool with which we construct a dialogue or a piece of writing.

Modern Italian Grammar is specifically designed to be accessible to the English reader not...

Mixed-Signal Layout Generation Concepts (The Springer International Series in Engineering and Computer Science)

Springer, 2003

Layout generation is an important topic in IC design. For digital circuits a lot of research has been conducted in this area, resulting in a large variety of books and layout generation tools. However, with the ever increasing frequencies, we are facing now significant analog types of artifacts in the IC, introduced during the...

Result Page: 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29