Books in category Computer Science
1 2 3 4 5 6 7 8 9 10
Author: Arthur O. Pittenger
Publisher : Springer-Verlag TELOS
ISBN : 9780817641276
Over the last decade, quantum computing has become a rapidly growing field in computer science and mathematics. This book is an excellent introductory reference to the subject providing a solid understanding of the basics of the theory and an awareness of the broad potential applicability of quantum computation. The clear and concise exposition, requiring minimal background knowledge, includes a d
Author: Tsui, Frank F.
Publisher : Jones & Bartlett Publishers
ISBN : 9780763735371
Author: Avgerou, Chrisanthi (EDT)/ Smith, Matthew L. (EDT)/ Besselaar, Peter Van Den (EDT)
Publisher : Springer
ISBN : 9780387848211
Author: Houstis, Elias N.
Publisher : Kluwer Academic Publishers
ISBN : 9780792378099
Author: Zelkowitz, Marvin
Publisher : Academic Press
ISBN : 9780120121410
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be
Author: Brooks Cole Publishing Company
Publisher : Brooks/Cole Publishing Company
ISBN : 9780534359454
Susanna Epp's DISCRETE MATHEMATICS, THIRD EDITION provides a clear introduction to discrete mathematics. Renowned for her lucid, accessible prose, Epp explains complex, abstract concepts with clarity and precision. This book presents not only the major themes of discrete mathematics, but also the reasoning that underlies mathematical thought. Students develop the ability to think abstractly as the
Author: Gladisch, Christoph
Publisher : VDM Verlag
ISBN : 9783639000023
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in most cases automatical
Author: Pareigis, Bodo
Publisher : Springer
ISBN : 9783540675334
Das vorliegende Buch bietet eine auf die Belange der mathematischen Grundausbildung der Informatiker zugeschnittene Einf?hrung in die Lineare Algebra, die den Leser bis hin zu den Euklidischen Vektorr?umen und der Hauptachsentransformation f?hrt. Besonders interessant sind Anwendungen der Vektorrechnung in der Codierungstheorie, Anwendungen der Matrizenrechnung auf lineare Gleichungssysteme und el
Author: Beilner
Publisher : Springer
ISBN : 9783540603009
This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools ''95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB ''95, held jointly in Heidelberg, Germany in September 1995.The volume presents 26 full refereed papers selected from
Author:
Publisher : Luniver Press
ISBN : 9781905986057
Unconventional computing is the quest for groundbreaking new algorithms and computing architectures based on and inspired by the principles of information processing in physical, chemical and biological systems. The timely scientific contributions in this book include cutting-edge theoretical work on quantum and kinematic Turing machines, computational complexity of physical systems, molecular and
Author: Jarke, Matthias ;Rogers, Yvonne ;Prinz, Wolfgang
Publisher : Kluwer Academic Publishers
ISBN : 9780792371625
Author: Hardt, Moritz
Publisher : VDM Verlag
ISBN : 9783639025422
Testing if a multivariate polynomial given as an arithmetic circuit is identically zero is a fundamental problem in the theory of computation. It has been studied by computer scientists and mathematicians for about thirty years. From early on, there have been efficient randomized algorithms solving the problem. However, designing efficient algorithms that use fewer or no random bits at all has tur
Author:
Publisher : Springer
ISBN : 9783540633846
This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, USA, in August 1997 under the sponsorship of the International Association for Cryptologic Research (IACR).The volume presents 35 revised full papers selected from 160 submissions received. Also included are two invited presentations. The papers are o
Author: Zhong, N. ;Skowron, A. ;Ohsuga, S.
Publisher : Springer
ISBN : 9783540666455
This book constitutes the refereed proceedings of the 7th International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing, RSFDGrC'99, held in Yamaguchi, Japan, in November 1999.The 45 revised regular papers and 15 revised short papers presented together with four invited contributions were carefully reviewed and selected from 89 submissions. The book is divided into sec
Author: Zelkowitz, Marvin (EDT)
Publisher : Academic Press
ISBN : 9780123744265
This is volume 74 of Advances in Computers, subtitled Recent advances in software development. This series, which began in 1960, is the oldest continuously published series of books that has chronicled the ever changing landscape of information technology. Each year three volumes are published, each presenting five to seven chapters describing the latest technology in the use of computers today. I
Author:
Publisher : Inesc-Id
ISBN : 9780981738116
Author: Aggarwal, A. ;Rangan, C. Pandu ;Aggrawal, A.
Publisher : Springer
ISBN : 9783540669166
This book constitutes the refereed proceedings of the 10th International Symposium on Algorithms and Computation, ISAAC'99, held in Chennai, India, in December 1999.The 40 revised full papers presented together with four invited contributions were carefully reviewed and selected from 71 submissions. Among the topics covered are data structures, parallel and distributed computing, approximation alg
Author: Symposium on Theoretical Aspects of Comp;Meinel, C. ;Tison, S.
Publisher : Springer
ISBN : 9783540656913
This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in March 1999. The 51 revised full papers presented were selected from a total of 146 submissions. Also included are three invited papers. The volume is divided in topical sections on complexity, parallel algorithms, computational geometry, algori
Author: Kraawczyk, H.
Publisher : Springer
ISBN : 9783540648925
This book constitutes the refereed proceedings of the 18th Annual International Cryptology Conference, CRYPTO'98, held in Santa Barbara, California, USA, in August 1998. The book presents 33 revised full papers selected from a total of 144 submissions received. Also included are two invited presentations. The papers are organized in topical sections on chosen ciphertext security, cryptanalysis of
Author: Juola, Patrick
Publisher : Now Publishers,
ISBN : 9781601981189
An Introduction to Quantum Computing Algorithms
Author: Arthur O. PittengerPublisher : Springer-Verlag TELOS
ISBN : 9780817641276
Over the last decade, quantum computing has become a rapidly growing field in computer science and mathematics. This book is an excellent introductory reference to the subject providing a solid understanding of the basics of the theory and an awareness of the broad potential applicability of quantum computation. The clear and concise exposition, requiring minimal background knowledge, includes a d
Min Price: 5.00
Max Price: 64.00
Essentials of Software Engineering
Author: Tsui, Frank F. Publisher : Jones & Bartlett Publishers
ISBN : 9780763735371
Min Price: 15.00
Max Price: 82.00
Social Dimensions of Information and Communication Technology Policy
Author: Avgerou, Chrisanthi (EDT)/ Smith, Matthew L. (EDT)/ Besselaar, Peter Van Den (EDT)Publisher : Springer
ISBN : 9780387848211
Min Price: 148.00
Max Price: 148.00
Enabling Technologies for Computational Science
Author: Houstis, Elias N. Publisher : Kluwer Academic Publishers
ISBN : 9780792378099
Min Price: 208.00
Max Price: 208.00
Advances in Computers
Author: Zelkowitz, Marvin Publisher : Academic Press
ISBN : 9780120121410
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be
Min Price: 6.00
Max Price: 194.00
Discrete Mathematics
Author: Brooks Cole Publishing CompanyPublisher : Brooks/Cole Publishing Company
ISBN : 9780534359454
Susanna Epp's DISCRETE MATHEMATICS, THIRD EDITION provides a clear introduction to discrete mathematics. Renowned for her lucid, accessible prose, Epp explains complex, abstract concepts with clarity and precision. This book presents not only the major themes of discrete mathematics, but also the reasoning that underlies mathematical thought. Students develop the ability to think abstractly as the
Min Price: 1.00
Max Price: 209.00
Extending Key for the Verification of C Programs
Author: Gladisch, Christoph Publisher : VDM Verlag
ISBN : 9783639000023
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in most cases automatical
Min Price: 151.00
Max Price: 151.00
Lineare Algebra Fr Informatiker
Author: Pareigis, Bodo Publisher : Springer
ISBN : 9783540675334
Das vorliegende Buch bietet eine auf die Belange der mathematischen Grundausbildung der Informatiker zugeschnittene Einf?hrung in die Lineare Algebra, die den Leser bis hin zu den Euklidischen Vektorr?umen und der Hauptachsentransformation f?hrt. Besonders interessant sind Anwendungen der Vektorrechnung in der Codierungstheorie, Anwendungen der Matrizenrechnung auf lineare Gleichungssysteme und el
Min Price: 47.00
Max Price: 47.00
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performanc
Author: Beilner Publisher : Springer
ISBN : 9783540603009
This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools ''95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB ''95, held jointly in Heidelberg, Germany in September 1995.The volume presents 26 full refereed papers selected from
Min Price: 114.00
Max Price: 114.00
Unconventional Computing 2007
Author: Publisher : Luniver Press
ISBN : 9781905986057
Unconventional computing is the quest for groundbreaking new algorithms and computing architectures based on and inspired by the principles of information processing in physical, chemical and biological systems. The timely scientific contributions in this book include cutting-edge theoretical work on quantum and kinematic Turing machines, computational complexity of physical systems, molecular and
Min Price: 16.00
Max Price: 16.00
Ecscw 2001
Author: Jarke, Matthias ;Rogers, Yvonne ;Prinz, Wolfgang Publisher : Kluwer Academic Publishers
ISBN : 9780792371625
Min Price: 234.00
Max Price: 234.00
Testing Polynomial Identities with Fewer Random Bits
Author: Hardt, Moritz Publisher : VDM Verlag
ISBN : 9783639025422
Testing if a multivariate polynomial given as an arithmetic circuit is identically zero is a fundamental problem in the theory of computation. It has been studied by computer scientists and mathematicians for about thirty years. From early on, there have been efficient randomized algorithms solving the problem. However, designing efficient algorithms that use fewer or no random bits at all has tur
Min Price: 82.00
Max Price: 82.00
Advances in Cryptology - Crypto '97
Author: Publisher : Springer
ISBN : 9783540633846
This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, USA, in August 1997 under the sponsorship of the International Association for Cryptologic Research (IACR).The volume presents 35 revised full papers selected from 160 submissions received. Also included are two invited presentations. The papers are o
Min Price: 120.00
Max Price: 120.00
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Author: Zhong, N. ;Skowron, A. ;Ohsuga, S. Publisher : Springer
ISBN : 9783540666455
This book constitutes the refereed proceedings of the 7th International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing, RSFDGrC'99, held in Yamaguchi, Japan, in November 1999.The 45 revised regular papers and 15 revised short papers presented together with four invited contributions were carefully reviewed and selected from 89 submissions. The book is divided into sec
Min Price: 128.00
Max Price: 128.00
Advances in Computers: Software Development
Author: Zelkowitz, Marvin (EDT)Publisher : Academic Press
ISBN : 9780123744265
This is volume 74 of Advances in Computers, subtitled Recent advances in software development. This series, which began in 1960, is the oldest continuously published series of books that has chronicled the ever changing landscape of information technology. Each year three volumes are published, each presenting five to seven chapters describing the latest technology in the use of computers today. I
Min Price: 160.00
Max Price: 160.00
Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (Aamas 2008) - Volume 2
Author: Publisher : Inesc-Id
ISBN : 9780981738116
Min Price: 47.00
Max Price: 47.00
Algorithms and Computations
Author: Aggarwal, A. ;Rangan, C. Pandu ;Aggrawal, A. Publisher : Springer
ISBN : 9783540669166
This book constitutes the refereed proceedings of the 10th International Symposium on Algorithms and Computation, ISAAC'99, held in Chennai, India, in December 1999.The 40 revised full papers presented together with four invited contributions were carefully reviewed and selected from 71 submissions. Among the topics covered are data structures, parallel and distributed computing, approximation alg
Min Price: 114.00
Max Price: 114.00
Stacs 99
Author: Symposium on Theoretical Aspects of Comp;Meinel, C. ;Tison, S. Publisher : Springer
ISBN : 9783540656913
This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in March 1999. The 51 revised full papers presented were selected from a total of 146 submissions. Also included are three invited papers. The volume is divided in topical sections on complexity, parallel algorithms, computational geometry, algori
Min Price: 123.00
Max Price: 123.00
Advances in Cryptology - Crypto '98
Author: Kraawczyk, H. Publisher : Springer
ISBN : 9783540648925
This book constitutes the refereed proceedings of the 18th Annual International Cryptology Conference, CRYPTO'98, held in Santa Barbara, California, USA, in August 1998. The book presents 33 revised full papers selected from a total of 144 submissions received. Also included are two invited presentations. The papers are organized in topical sections on chosen ciphertext security, cryptanalysis of
Min Price: 119.00
Max Price: 119.00
Authorship Attribution
Author: Juola, Patrick Publisher : Now Publishers,
ISBN : 9781601981189
Min Price: 80.00
Max Price: 80.00
Find book
books-az.com all rights reserved
