Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer

Show other versions (2)

Bibliographic Details
Main Author:	OβDonnell, John
Other Authors:	Hall, Cordelia, Page, Rex
Format:	Electronic Kit Book
Language:	English
Published:	London Springer-Verlag London Limited 2006
Edition:	2
Subjects:	Computer software Computer science Computational complexity Computer Science Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science
Online Access:	http://dx.doi.org/10.1007/1-84628-598-4

Similar Items

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by: KratochvΓl, Jan
Published: (2010)

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: HlinΔnΓ½, Petr
Published: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
by: Link, Sebastian
Published: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
by: Abramsky, Samson, 1953-
Published: (2010)

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers
by: Herik, H. Jaap
Published: (2010)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
by: Kaplan, Haim
Published: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
by: Gao, Yuan
Published: (2010)

Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
by: Gavrilova, Marina L
Published: (2010)

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings
by: Ferreira, Fernando
Published: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
by: Ehrig, Hartmut
Published: (2010)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
by: Mazzola, Guerino
Published: (2005)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
by: Mazzola, Guerino
Published: (2006)

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
by: Jha, Girish Nath
Published: (2010)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
by: Cotta, Carlos
Published: (2007)

Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Εirince, Turkey, June 7-11, 2010. Proceedings
by: Patt-Shamir, Boaz
Published: (2010)

Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
by: Kutten, Shay
Published: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, ZarΓ³s, Crete, Greece, June 28-30, 2010 Revised Papers
by: Thilikos, Dimitrios M
Published: (2010)

Topics in Cryptology - CT-RSA 2010 The Cryptographersβ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings
by: Pieprzyk, Josef
Published: (2010)

Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
by: Cowling, Peter
Published: (2010)

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
by: Paul, Christophe
Published: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
by: Raman, Venkatesh
Published: (2010)

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
by: Tomassini, Marco
Published: (2005)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
by: Bonanno, Giacomo
Published: (2010)

Transactions on Computational Science XI Special Issue on Security in Computing, Part II
by: Gavrilova, Marina L
Published: (2010)

Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
by: Bampis, Evripidis
Published: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
by: Giesl, JΓΌrgen
Published: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
by: Governatori, Guido
Published: (2010)

The LLL Algorithm Survey and Applications
by: Nguyen, Phong Q
Published: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
by: Ebert, Christian
Published: (2010)

WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
by: Rahman, Md. Saidur
Published: (2010)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings
by: Serna, Maria, 1959-
Published: (2010)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
by: Lodi, Andrea
Published: (2010)

Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings
by: Thai, My T
Published: (2010)

Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks
by: Koster, Arie
Published: (2010)

Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
by: Hanrot, Guillaume
Published: (2010)

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
by: Blum, Christian
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών