Kategoria BISAC: Computers >> Computer Science

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedurfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schoning gelingt eine kompakte und verstandliche Darstellung der Aussagen- und Pradikatenlogik, bei der die benotigten...

Dieses in der 5. Auflage vorliegende Standardwerk macht Studierende in kompakter Form mit den wesentlichen Grundzugen der Theoretischen Informatik vertraut. Der erste und grosste Teil behandelt Formale Sprachen, Grammatiken und Automaten. Es schliesst sich die Behandlung der Berechenbarkeitstheorie und der Komplexitatstheorie an. Dem Autor gelingt durch seinen verstandlichen Beweisstil und viele Beispiele eine ubersichtliche und im Detail gut nachvollziehbare Darstellung der Theoretischen Informatik.

"

This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996.
The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers...

This volume constitutes the thoroughly refereed post-workshop proceedings of the 24th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'98, held in Smolenice Castle, Slovak Republic, in June 1998. The 30 revised full papers presented were carefully selected from a total of 61 submissions. The papers provide a wealth of results for various classes of graphs, graph computations, graph algorithms and graph-theoretic applications in computer science.

This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and...

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.
The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions. Among the topics addressed are abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science, process algebras,...

Springer Book Archives

This book constitutes the strictly refereed post-proceedings of the First International Conference on Financial Cryptography, FC '97, held in Anguilla, BWI, in February 1997.
The 31 revised contributions presented were carefully reviewed and revised for inclusion in the book. The book provides a unique synopsis on financial cryptography, taking into account the views and ideas of cryptographers, security experts, computer hackers, lawyers, bankers, journalists and administrative professionals. The papers cover the whole spectrum of the security of financial transactions or digital commerce...

The 33 revised papers and 10 systems demonstrations presented were selected from 80 submissions at the 5th International Symposium on Graph Drawing held in Rome during 1997. The topics covered include planarity, crossing theory, three-dimensional representations, orthogonal representations, clustering and labelling problems, packing problems, general methodologies, and systems and applications.

This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998.
The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, complexity, cryptanalysis of block ciphers, computational algorithms, paradigms for symmetric systems, public key cryptosystems, multi-party computation, digital signatures, Boolean functions, combinatorial design and analysis, elliptic curve...

Dieses Lehrbuch bietet eine umfassende Einfuhrung in Grundlagen und Methoden der Computerlinguistik und stellt die wichtigsten Anwendungsgebiete in der Sprachtechnologie vor. Es richtet sich gleichermassen an Studierende der Computerlinguistik und verwandter Facher mit Bezug zur Verarbeitung naturlicher Sprache wie an Entwickler sprachverarbeitender Systeme.

Fur die dritte Auflage wurden samtliche Kapitel uberarbeitet und aktualisiert sowie zum Teil zu eigenstandigen, neuen Kapiteln zusammengefuhrt. Insbesondere tragt die dritte Auflage der rasanten Entwicklung in der...

Information and communication technologies are increasingly prolific worldwide, exposing the issues and challenges of the assimilation of existing living environments to the shift in technological communication infrastructure. Reflexing Interfaces: The Complex Coevolution of Information Technology Ecosystems discusses the application of complex theories in information and communication technology, with a focus on the interaction between living systems and information technologies. This innovative view provides researcher, scholars, and IT professionals with a fundamental resource on such...

Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic, heldonSeptember 20 24, 2004 in Karpacz, Poland. The CSL conference series started as the International Workshops on C- puterScienceLogic, andthen, after?vemeetings, becametheAnnualConference of the European Association for Computer Science Logic. This conference was the 18th meeting, and the 13th EACSL conference. Altogether 99 abstracts were submitted, followed by 88 papers. Each of these paperswasrefereedbyatleastthreereviewers.Then, afteratwo-weekelectronic discussion,...

The 8th ERCIM Workshop User Interfaces for All was held in Vienna, Austria, on 28 29 June 2004, building upon the results of the seven previous workshops held in Heraklion, Crete, Greece, 30 31 October 1995; Prague, Czech Republic, 7 8 Nov- ber 1996; Obernai, France, 3 4 November 1997; Stockholm, Sweden, 19 21 October 1998; Dagstuhl, Germany, 28 November 1 December 1999; Florence, Italy, 25 26 October 2000; and Paris (Chantilly), France, 24 25 October 2002. The concept of User Interfaces for All targets a proactive realization of the - signforall...

This was the ?rst conference of a new series devoted to the e?ective handling of soft issues in the design, development, and operation of computing systems. The conference brought together contributors from a range of relevant disciplines, including arti?cial intelligence, information systems, software engineering, and systems engineering. The keynote speakers, Piero Bonissone, Ray Paul, Sir Tony Hoare, Michael Jackson, and Derek McAuley have interests and experience that collectively span all of these ?elds. Soft issues involve information or knowledge that is uncertain, incomplete, or...

This volume constitutes the refereed proceedings of the 11th Annual Symposium on Combinatorial Pattern Matching, CPM 2000, held in Montreal, Canada, in June 2000. The 29 revised full papers presented together with 3 invited contributions and 2 tutorial lectures were reviewed and selected from 44 submissions. The papers are devoted to theoretical and algorithmic issues of searching and matching strings and more complicated patterns, such as trees, regular expression graphs, point sets and arrays, as well as to advanced applications of CPM in areas such as the Internet, computational biology,...

As the theoretical foundations of multiple-antenna techniques evolve and as these multiple-input multiple-output (MIMO) techniques become essential for providing high data rates in wireless systems, there is a growing need to understand the performance limits of MIMO in practical networks. To address this need, MIMO Communication for Cellular Networks presents a systematic description of MIMO technology classes and a framework for MIMO system design that takes into account the essential physical-layer features of practical cellular networks.

In contrast to works that focus on...

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing

Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming.

The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's...

This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical...

(Autor) Ernst Tiemeyer (Titel) IT-Controlling kompakt (USP) > kompakt, umfassen und systematisch (copy) Dieses Buch vermittelt Ihnen die notwendigen Methoden und Instrumente, um ein hohes Mass an Kosten- und Leistungstransparenz im IT-Bereich Herzustellen. Ausserdem werden praktikable Vorgehensweisen und Ergebnise von Implementationen wirtschaftlicher IT-Losungen aufgezeigt. So erfahren Sie beispielsweise - wie ein IT-Controlling aufgebaut kann, - welche Vorgehensweisen zur Kostenermittlung in der IT sich bewahrt haben, - wie IT-Leistungstransparenz hergestellt werden kann, - wie eine interne...