Learn IT - Books tags formal

Logic and Language Models for Computer Science

Prentice Hall, 2002

So you are a computer science (CS) major and you are sitting down to see what this book is about. It has been assigned, the course is required, you have no choice. Still you chose your institution, your major. Maybe your instructor made a good choice. Let's hope so.

Okay, you are not a computer science major, perhaps not even a...

BBQ Sauces, Rubs & Marinades For Dummies (Cooking)

For Dummies, 2008

Think only master chefs can create the savory, succulent barbecue masterpieces you love to eat? Nonsense! BBQ Sauces, Rubs & Marinades For Dummies shows you everything you need to dig in, get your apron dirty, and start stirring up scrumptious sauces, magical marinades, and rubs to remember.

Featuring 100 bold new recipes,...

Database Systems Concepts with Oracle CD

McGraw-Hill, 2001

The Fourth edition of Database System Concepts has been extensively revised from the 3rd edition. The new edition provides improved coverage of concepts, extensive coverage of new tools and techniques, and updated coverage of database system internals. This text is intended for a first course in databases at the junior or senior...

The Jini(TM) Specifications, Edited by Ken Arnold (2nd Edition)

Addison Wesley, 2000

Built on top of the Java™ software infrastructure, Jini™ technology enables all types of services and devices to work together in a community--organized without extensive planning, installation, or human intervention. Jini technology allows the lines to blur between what is hardware and what is software by representing all hardware and...

Geographies of Girlhood: Identities In-Between (Inquiry and Pedagogy Across Diverse Contexts)

Lawrence Erlbaum Associates, 2005

The real-world, applied research nature of this book - from the viewpoints of girls themselves - adds a nuanced perspective not yet explored in girls' studies....the multidisciplinary nature of the anthology will appeal to sociology, psychology, anthropology, history, religion, and education scholars as well as to women's and girl's studies...

Algorithms and Complexity. Handbook of Theoretical Computer Science, Vol. A

Elsevier Limited, 1990

Modern developments in computer and software systems have raised many challeng ing issues concerning the design and efficiency of complex programming applica tions. There is an increasing need for "advanced theory", to understand and exploit basic concepts and mechanisms in computing and information processing. The...

Topological Methods in Data Analysis and Visualization II: Theory, Algorithms, and Applications (Mathematics and Visualization)

Springer, 2012

When scientists analyze datasets in a search for underlying phenomena, patterns or causal factors, their first step is often an automatic or semi-automatic search for structures in the data. Of these feature-extraction methods, topological ones stand out due to their solid mathematical foundation. Topologically defined structures—as...

Formal Geometry and Bordism Operations (Cambridge Studies in Advanced Mathematics)

Cambridge University Press, 2019

This text organizes a range of results in chromatic homotopy theory, running a single thread through theorems in bordism and a detailed understanding of the moduli of formal groups. It emphasizes the naturally occurring algebro-geometric models that presage the topological results, taking the reader through a pedagogical development of the...

Introduction to Data Technologies (Computer Science and Data Analysis)

CRC Press, 2009

Perform Research Tasks with Ease

Focuses on computer languages as tools for data management
Providing key information on how to work with research data, Introduction to Data Technologies presents ideas and techniques for performing critical, behind-the-scenes tasks that take up so...

Business Finance: Theory and Practice

Prentice Hall, 2009

This book attempts to deal with financing and investment decision making, with particular focus on the private sector of the UK economy. Its approach is to set out the theories that surround each area of financial decision making and relate these to what appears to happen in practice. Where theory and practice diverge, the book...

Boolean Functions: Topics in Asynchronicity

John Wiley & Sons, 2019

The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks

Boolean Functions: Topics in Asynchronicity contains the most current research in several issues of asynchronous Boolean systems. In this...

VHDL 2008: Just the New Stuff (Systems on Silicon)

Morgan Kaufmann, 2007

VHDL is defined by IEEE Standard 1076, IEEE Standard VHDL Language Reference Manual (the VHDL LRM). The original standard was approved in 1987. IEEE procedures require that standards be periodically reviewed and either reaffirmed or revised. The VHDL standard was revised in 1993, 2000, and 2002. In each revision, new language features were added...

Result Page: 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6