All counter of AlamanShop


Theo Gimbel
Form, Sound, Colour and Healing

2004 y.
Publisher: —
Description: Book DescriptionTheo Gimbel develops the panorama of color consciousness. [detailed...]

ISBN: 0852071868
Book size: —; Page extent: 192.

 

PUT TO
THE BASKET
Shaoying Liu
Formal Engineering for Industrial Software Development

— y.
Publisher: —
Description: This book gives a systemic and comprehensible introduction to SOFL (Structured Object-oriented Formal Language) as one of Formal Engineering Methods for software development. Formal engineering methods are a further development of formal methods towards industrial application. They support the integration of formal methods into software development processes, the construction of formal specifications in a user-friendly manner, and rigorous but practical verification of software systems. SOFL achieves all of these features by integrating Data Flow Diagrams, Petri Nets, VDM, and Object-Oriented approach in a coherent manner for specification constructions, and by integrating formal verification with fault tree analysis and testing for reviewing and testing specifciations. It also provides a way to transform formal specifications into Java programs. SOFL does not only make formal methods accessable to engineers, but also make the use of formal methods enjoyable and effective. Many… [detailed...]

ISBN: 3540206027
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Shi-Yu Huang, Kwang-Ting Cheng
Formal Equivalence Checking and Design Debugging

— y.
Publisher: —
Description: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book reviews the design problems that require logic equivalence checking and describesthe underlying technologies that are used to solve them. Some novel approaches to the problems of verifying design revisions after intensive sequential transformations such as retiming are described in detail. The second part of the book gives a thorough survey of previous and recent literature on design error diagnosis and design error correction. This part also provides an in-depth analysis of the algorithms used in two logic debugging software programs, ErrorTracer and AutoFix, developed by the authors. From the Foreword: `With the adoption of the static sign-off approach to verifying circuit implementations the application-specific integrated circuit (ASIC) industry will experience the first radical methodological revolution… [detailed...]

ISBN: 079238184X
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
Stefano Crespi Reghizzi
Formal Languages and Compilation (Texts in Computer Science)

2009 y.
Publisher: —
Description: Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying *theory* that allows students to acquire the fundamental paradigms of language structures, to avoid pitfalls such as ambiguity, and to adequately map structure to meaning. Formal Languages and Compilation covers the fundamental concepts of formal languages and compilation, which are central to computer science and based on well-consolidated principles. It presents a comprehensive selection of topics and is based on rigorous definitions and algorithms, illustrated by many motivating examples, with a focus on the importance of combining theoretical concepts with practical applications. In a clear, reader-friendly and simple minimalist way, this uniquely versatile textbook provides the essential principles and methods used for defining the syntax of artificial languages and implementing simple translators, as well as in designing… [detailed...]

ISBN: 1848820496
Book size: —; Page extent: 380.

 

PUT TO
THE BASKET
Howard Bowman, John Derrick
Formal Methods for Distributed Processing

— y.
Publisher: —
Description: This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. [detailed...]

ISBN: 0521771846
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Marco Bernardo, Paola Inverardi, Paola Paola, Com International School on Formal Methods for the Design of Computer
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)

— y.
Publisher: —
Description: In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work. [detailed...]

ISBN: 3540200835
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)

2006 y.
Publisher: —
Description: This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.It provides a unifying theory of communicating automata and their logical properties. Based on Hanf`s Theorem and Thomas`s graph acceptors, it develops a result that allows us to characterize many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. In particular, the book covers finite automata, asynchronous (cellular) automata, communicating finite-state machines, and lossy channel systems. Model behavior is described using graphs and partial orders, leading to the notions of Mazurkiewicz traces, message sequence charts, and live sequence charts.This book is suitable for senior undergraduate and graduate courses on advanced automata theory, concurrency and communication issues. It can also be used as a reference by researchers concerned with the formal… [detailed...]

ISBN: 3540329226
Book size: —; Page extent: 182.

 

PUT TO
THE BASKET
Arthur Fleck
Formal Models of Computation: The Ultimate Limits of Computing (Amast Series in Computing)

— y.
Publisher: —
Description: This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includes novel approaches to some of the topics that students normally find the most challenging. The presentations have evolved in response to student feedback over many years of teaching and have been well received by students. The book covers the topics suggested in the ACM curriculum guidelines for the course on `Theory of Computation`, and in the course on `Foundations of Computing` in the model liberal arts curriculum. These are standard courses for upper level computer science majors and beginning graduate students. The material in this area of computing is intellectually deep, and students invariably find it challenging to master. This book blends the three key ingredients for successful mastery. The first is its focus on the mingling of intuition and rigor that is required to fully understand the area. This is accomplished not… [detailed...]

ISBN: 9810245009
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Fois `9, N. Guarino, International Conference on Principles of Knowledge Representation and
Formal Ontology in Information Systems: Proceedings of the First International Co (Fois`98), June 6-8 Trento, Italy (Frontiers in Artificial Intelligence and Applications)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 9051993994
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Peter M. Blau, W. Richard Scott
Formal Organizations: A Comparative Approach (Stanford Business Classics)

2003 y.
Publisher: Stanford University Press
Description: Upon its publication in 1962, this book became one of the founding texts of organizational sociology. Bringing together diverse approaches, it presented a new focus of interest: the formal organization. Blau and Scott raised the level of analysis from attention solely on individual participants and work groups to a broader understanding of organizations as collective actors. In the book, the authors reviewed multiple types of studies?including case studies, experimental research, and surveys?and integrated them to define new central themes. They used their own empirical studies of two social welfare agencies to illustrate the ways in which varying organizational contexts shape work group and participant attitudes and activities. `Formal Organizations` served to integrate research on both formal and informal systems, authority and leadership, and stressed the importance of links to the wider environment. This reissue, which includes a new introduction by Scott, makes… [detailed...]

ISBN: 080474890X
Book size: —; Page extent: 344.

 

PUT TO
THE BASKET
Iain D. Craig
Formal Refinement for Operating System Kernels

2007 y.
Publisher: Springer
Description: The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation. The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense. Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable… [detailed...]

ISBN: 1846289661
Book size: —; Page extent: 336.

 

PUT TO
THE BASKET
James Clifford, C. J. van Rijsbergen
Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science)

— y.
Publisher: —
Description: This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics oftime is an essential ingredient for the success of efforts to incorporate more `real world` semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics and discusses the details of the intensional logic ILs. This is followed by a description of the author`s own model, the Historical Relational Data Model (HRDM) which extends the RDM to include a temporal dimension. Finally the database querying language QEHIII is defined and examples illustrate its use. A formal model for the interpretation of questions is presented in this work which will form the… [detailed...]

ISBN: 0521602742
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Doron A. Peled, Moshe Y. Vardi
Formal Techniques for Networked and Distributed Systems - FORTE 2002

— y.
Publisher: —
Description: This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. [detailed...]

ISBN: 3540001417
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Ftrtft 200, Mathai Joseph, M. Joseph
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000, Pune, India, September 20-22, 2000 : Proceedings (Lecture Notes in Computer Science, 1926)

— y.
Publisher: —
Description: This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. [detailed...]

ISBN: 3540410554
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Werner Damm, E.-R Olderog
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002 : Proceedings (Lecture Notes in Computer Science, 2469)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 3540441654
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Gavin Ambrose, Paul Harris
Format

2005 y.
Publisher: Ava Publishing
Description: The Basics Design series explores key areas of design through a series of case studies juxtaposed by key creative `basics`. Contemporary work is supported by concise descriptions, technical expansions and diagrammatic visualisations, enabling the reader to fully understand the work being discussed. Издание на английском языке. Формат: 16 см х 23 см. [detailed...]

ISBN: 2-940373-28-0
Book size: —; Page extent: 176.

 

PUT TO
THE BASKET
Guilford Press Software, Guilford Press
FormatEase, Version 3.0: Paper and Reference Formatting Software

— y.
Publisher: —
Description: This popular software helps users quickly and effortlessly format term papers, theses, dissertations, articles, and book chapters in accordance with the latest APA style guidelines. Creates, inserts, and organizes reference entries and citations: *Relieves the pain of the academic writer`s biggest headache--citing many different kinds of sources in exactly the right form. *Contains 74 different reference types, from standard authored books to symposium proceedings, online sources, unpublished works, and more! *Users choose the kind of reference they need from the menu bar, and key in the needed information in the dialog box that pops up on the screen. *Why type the same information twice? Reference entries and in-text citations are generated simultaneously, and are inserted into the right place in the document. Provides quick and effortless formatting help: *Users no longer have to worry about the form of their papers--they`re now free to focus on… [detailed...]

ISBN: 1572308028
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Florian Steiner
Formation and Early Growth of Business Webs : Modular Product Systems in Network Markets (Information Age Economy)

2004 y.
Publisher: —
Description: Book DescriptionNetworks of firms have been in the focus of management research for several years. Recently, special attention has been paid to so-called business webs. Business webs are networks of firms which provide complements to a common product architecture. In the past, research focused on management issues of such webs but neglected the important question of how they actually came into being. The present book explicitly examines the formation and early growth of business webs. The author illustrates the early growth phases with two in-depth cases of the formation of the wireless internet ecosystem i-mode and the leading person-to-person online auction platform eBay. The book uncovers the contingencies under which the establishment of business webs is likely to succeed. Business researchers will benefit from the theoretical framework, while interested business managers will find explanations and advice for establishing a business web. [detailed...]

ISBN: 3790815527
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
—
Formation and Evolution of Galaxy Bulges (IAU S245) (Proceedings of the International Astronomical Union Symposia and Colloquia)

2008 y.
Publisher: —
Description: - [detailed...]

ISBN: 052187467X
Book size: —; Page extent: 500.

 

PUT TO
THE BASKET
Eleanor Davidson
Formatting Letters and Reports: A Computer User`s Guide (Fifty-Minute Series)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 1560521309
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Susie VanHuss, Connie Forde, Donna Woo
Formatting and Document Processing Essentials, Lessons 61-120 (College Keyboarding)

2004 y.
Publisher: —
Description: Formatting &, Document Processing Essentials, Lessons 61-120, focuses on mastery of formatting letters, memos, reports, and business documents using the function of Word 2002 or 2003! Additional skillbuilding is included to increase keyboarding speed and accurancy. Word processing skills are isolated and introduced prior to document formatting lessons, while proofreading skills are reinforced within the documents. The document formatting lessons are devoted solely to documents and teach no additional word processing so users can focus on formatting mastery. [detailed...]

ISBN: 0538727748
Book size: —; Page extent: 272.

 

PUT TO
THE BASKET
Steve Smith, Rosa Evelia Solorzano
Forme el Equipo

— y.
Publisher: —
Description: Este manual es una guia concisa y practica de las tecnicas esenciales de trabajo en equipo. Con sugerencias y ejercicios le ayudara a Iniciar proyectos, formar equipos, evaluar y revisar el desempeno, obtener resultados rapidos yasegurar la completa participacion de los elementos del equipo. Este manual se publico originalmente con el nombre de: Build that Team! [detailed...]

ISBN: 9685015104
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Bill Butterworth
Forme un equipo triunfador

2007 y.
Publisher: —
Description: - [detailed...]

ISBN: 1602550107
Book size: —; Page extent: 128.

 

PUT TO
THE BASKET
Vanessa Miller
Former Rain

2008 y.
Publisher: —
Description: - [detailed...]

ISBN: 1601629648
Book size: —; Page extent: 304.

 

PUT TO
THE BASKET
Ian Jeffries
Former Yugoslavia at the Turn of the Twenty-First Century: A Guide to the Economies in Transition (Routledge Studies of Societies in Transition)

— y.
Publisher: —
Description: The author presents a clear, detailed and accessible breakdown of the developments in, Bosnia-Hercegovina, Croatia, the Former Yugoslav Republic of Macedonia, Slovenia and the Federal Republic of Yugoslavia (Serbia and Montenegro). [detailed...]

ISBN: 0415281903
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
—
Formera Volume Two

2009 y.
Publisher: —
Description: After recuperating from a near-fatal encounter, Darian begins a search for a mystical object which just might give him an edge in fighting against Mezteck and rescuing his kidnapped friend, Keisha. Led by a masked girl named Dee Dee, Darian must travel deep into the heart of Formera, where no one has ever come out alive. [detailed...]

ISBN: 1934985074
Book size: —; Page extent: 152.

 

PUT TO
THE BASKET
Terry Bramlett
Formidable Enemy

2005 y.
Publisher: —
Description: — [detailed...]

ISBN: 1594142807
Book size: —; Page extent: 243.

 

PUT TO
THE BASKET
Donald B. Egolf
Forming Storming Norming Performing: Successful Communication in Groups and Teams

— y.
Publisher: —
Description: The essential book for those who want to be successful communicators in groups and teams. [detailed...]

ISBN: 0595204449
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Michael Spadaccini
Forming an LLC: In Any State

2007 y.
Publisher: —
Description: Set up an LLC with expert advice and save yourself the money and hassle of an attorney Professional legal advice from an experienced attorney and the experts at Entrepreneur magazine guides you through setting up a limited liability corporation. Attorney Michael Spadaccini details how to choose the most appropriate business entity and walks you through the process of planning, formation, and operation.The CD-ROM provides invaluable forms to organize an LLC, including documents that would cost thousands of dollars if drafted by an attorney, and customizable financial templates. Recent developments in LLC laws are covered in detail. Reference tables for all 50 states and Washington, D.C., give entrepreneurs the information they need to select the most beneficial state—including state-specific laws, formation requirements, and costs. [detailed...]

ISBN: 1599181053
Book size: —; Page extent: 360.

 

PUT TO
THE BASKET
Geoffrey A. Cross
Forming the Collective Mind: A Contextual Exploration of Large-Scale Collaborative Writing in Industry (Written Language)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 1572733195
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Written, published in conjunction with The Capital Markets Company
Forming the Future of Finance: Mapping Paradigms, Creating Strategies

— y.
Publisher: —
Description: Forming the Future of Finance introduces scenario-based thinking and presents four enriched scenarios for the possible futures of finance. Over 70 leading figures from the financial services industry gathered to exchange views and examine the implications of each of these scenarios for their industry. This report presents the methodology and conclusions of these discussions, identifying several consensus issues that will impact the industry whichever scenario (or parts thereof) comes to pass and aids youin making reasoned and sound judgements on the best course of action for your business. Any company that adopts a wait-and-see attitude is jeopardising not only their profitability and market position but possibly their very existence. This innovative and invaluable report will ensure you know how to best prepare your business to survive and thrive into a turbulent future. [detailed...]

ISBN: 1855649039
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
Сайт создан в системе uCoz