Learn IT - Books tags formal

Information Technology: Selected Tutorials (IFIP International Federation for Information Processing)

Springer, 2004

This book contains a selection of tutorials on hot topics in information
technology, which were presented at the IFIP 18th World Computer
Congress. WCC2004 took place at the Centre de Congrès Pierre Baudis, in
Toulouse, France, from 22 to 27 August 2004.

The 11 chapters included in the book were chosen from...

Nomic Truth Approximation Revisited (Synthese Library)

Springer, 2019

This monograph presents new ideas in nomic truth approximation. It features original and revised papers from a (formal) philosopher of science who has studied the concept for more than 35 years.

Over the course of time, the author's initial ideas evolved. He discovered a way to generalize his first theory of nomic...

Advances In Uml And Xml-based Software Evolution

Idea Group Publishing, 2005

This book continues to provide a forum, which a recent book, Software Evolution with
UML and XML, started, where expert insights are presented on the subject.
In that book, initial efforts were made to link together three current phenomena: software
evolution, UML, and XML. In this book, focus will be on the practical side of...

Online Newsgathering: Research and Reporting for Journalism

Focal Press, 2007

Journalists used to rely on their notepad and pen. Today, professional journalists rely on the computerand not just for the writing. Much, if not all, of a journalists research happens on a computer.

If you are journalist of any kind, you need to know how to find the information you need online. This book will show you how to find...

A PhD Is Not Enough!: A Guide to Survival in Science

Basic Books, 2011

Despite your graduate education, brainpower, and technical prowess, your career in scientific research is far from assured. Permanent positions are scarce, science survival is rarely part of formal graduate training, and a good mentor is hard to find.

In A Ph.D. Is Not Enough!, physicist Peter J. Feibelman lays...

Probability

Springer, 1993

This textbook is ideal for an undergraduate introduction to probability, with a calculus prerequisite. It is based on a course that the author has taught many times at Berkeley. The text's overall style is informal, but all results are stated precisely, and most are proved. Understanding is developed through intuitive explanations and...

Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology

Auerbach Publications, 2008

Driven by the need and desire to reduce costs, organizations are faced with a set of decisions that require analytical scrutiny. Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology examines cost-saving trends in architecture planning, administration, and management....

Process Algebra for Parallel and Distributed Processing (Chapman & Hall / Crc Computational Science)

CRC Press, 2008

Despite the importance of applications of process algebras for the success of the field, [related publications] concentrate strongly on the theoretical achievements. This shortcoming is compensated for in a splendid way by this book, which brings together the state of the art in research on applications of process algebras.
—From the...

Fundamental Concepts in Computer Science (Advances in Computer Science and Engineering: Texts)

Imperial College Press, 2009

Computer Science, or Informatics as it is often called in Europe, is viewed by many as being both a science and a technology. Clearly, its technological aspects are very much upon us on a day to day basis. Yet all other exact sciences such as physics, biology or chemistry are also very present in ourdaily lives through the technologies...

Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional

John Wiley & Sons, 2007

A hands-on guide to testing techniques that deliver reliable software and systems

Testing even a simple system can quickly turn into a potentially infinite task. Faced with tight costs and schedules, testers need to have a toolkit of practical techniques combined with hands-on experience and the right strategies...

Software Language Engineering: Third International Conference, SLE 2010

Springer, 2011

We are pleased to present the proceedings of the third international conference on Software Language Engineering (SLE 2010). The conference was held in Eindhoven, the Netherlands during October 12–13, 2010. It was co-located with the ninth international conference on Generative Programming and Component Engineering (GPCE) and the...

How to Think About Algorithms

Cambridge University Press, 2008

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...

Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39