Books in category Computer Science

Automata, Languages and Programming

Author:
Publisher : Springer
ISBN : 9783540569398
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational comple

Implementation and Application of Automata: 7th International Conference, Ciaa 2002, Tours, France, July 3-5, 2002, Revised Papers

Author:
Publisher : Springer
ISBN : 9783540403913
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002. The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and me

Computing in the 90's

Author:
Publisher : Springer
ISBN : 9780387976280

A Parallel Algorithm Synthesis Procedure for High-Performancecomputer Architecture

Author: Ian N. Dunn
Publisher : Unknown
ISBN : 9780306477430
Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-heralded triumph over sequential computing has yet to materialize. This is in spite of the fact that the processing needs of many signal processing applications continue to eclipse the capabilities of sequential computing. The culprit is largely the software

Visual Modeling with Rational Software Architect and UML

Author: Jim Palistrant;Terry Quatrani
Publisher : Unknown
ISBN : 9780321238085
Terry's style is always direct, approachable, and pragmatic. Abstraction is hard, and visualizing abstractions is as well, but here she'll guide you in doing both using Rational Software Architect. --From the Foreword by Grady Booch, IBM Fellow Master UML 2.0 Visual Modeling with IBM Rational Software Architect Using IBM Rational Software Architect, you can unify all aspects of software design and

Proof Profiles - Characteristic Clause Sets and Proof Transformations

Author: Hetzl, Stefan
Publisher : VDM Verlag
ISBN : 9783836470070
Mathematics is of fundamental importance for computer science. On the other hand, there are also many applications of computer science in mathematics, be it simulations, numerical calculations or computer algebra systems. Another interesting application of this kind is the implementation of logical methods for investigating mathematical proofs. In recent years, large electronic libraries of formal

Pull Workflows in a Jdf Environment

Author: Bger, Niels
Publisher : VDM Verlag
ISBN : 9783836497602
The International Cooperation for the Integration of Processes in Prepress, Press and Postpress Organization (CIP4) provides a technical standard for reliable interoperability between different hardware and software vendors in the print media industry. The standard is based on the Job Definition Format (JDF), an XML-based job ticket, and the Job Messaging Format (JMF), a job messaging protocol. Th

Informatik 2

Author: Bauer, Friedrich L. ;Goos, Gerhard
Publisher : Springer
ISBN : 9783540555674
Informatik. Eine einfA1/4hrende Aoebersicht hat sich als Standardwerk fA1/4r das Studium der Informatik bewAhrt. Der vorliegende zweite Teil steht unter dem Leitgedanken Strukturen, der das Grundthema Algorithmen des ersten Teils ergAnzt. ZunAchst werden Programmstrukturen und Datenstrukturen einschlieAlich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die

A Partitioning Operation System Based on Rtai-Lxrt Real-Time Linux

Author: Leiner, Bernhard
Publisher : VDM Verlag
ISBN : 9783639040579

System-Level Calibration for Memories Under Process Variability Impact

Author: Lobmaier, Florian
Publisher : VDM Verlag
ISBN : 9783639038866

Interactive Data Mining

Author: Zhao, Yan
Publisher : VDM Verlag
ISBN : 9783639040678

Groupware Support for Operational Management

Author: Hakkarainen, Pasi
Publisher : VDM Verlag
ISBN : 9783639040432

Key Technologies for Data Management: 21st British National Conference on Databases, Bncod 21, Edinburgh, UK, July 7-9, 2004, Proceedings

Author: Williams, H.
Publisher : Springer
ISBN : 9783540223825
This book constitutes the refereed proceedings of the 21st British National Conference on Databases, BNCOD 2004, held in Edinburgh, Scotland, UK in July 2004. The 21 revised full papers presented together with an invited paper and the abstract of an invited talk were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on data streams, integra

Web 2.0 as Approach for Enterprise Information Technology - How Companies Can Benefit from the Internet of the Second Generation

Author: Menzel, Claus
Publisher : VDM Verlag
ISBN : 9783836454872

Synchronising Via Soa- Using a Service-Oriented Architecture to Synchronise Mobile Agents.

Author: Schwab, Andreas
Publisher : VDM Verlag
ISBN : 9783836431965

Network-Integrated Multimedia Middleware, Services, and Applications

Author: Lohse, Marco
Publisher : VDM Verlag
ISBN : 9783836449625

Evaluation Strategies for Pervasive Games

Author: Kuntze, Andr
Publisher : VDM Verlag
ISBN : 9783836454889

Discrtisations Variationnelles de Probl]mes Aux Limites Elliptiques

Author: Bernardi, Christine ;Maday, Yvon ;Rapetti, Francesca
Publisher : Springer
ISBN : 9783540213697
L''analyse numA(c)rique de deux types de discrA(c)tisations variationnelles est effectuA(c)e en dA(c)tail pour des problA]mes elliptiques: les mA(c)thodes spectrales et les mA(c)thodes d''A(c)lA(c)ments finis. Les avantages de chaque type sont mis en valeur, et leur mise en oeuvre est dA(c)crite. L''originalitA(c) de cet ouvrage est d''insA(c)rer ces deux types de discrA(c)tisation dans un cadre a

Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings

Author:
Publisher : Springer
ISBN : 9783540556763
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from unive

Latin '92

Author:
Publisher : Springer
ISBN : 9783540552840
This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages,