Maths for computer scientists books

3259 books were found.

Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

Language, Life, Limits: 10th Conference on Computability...

Author: Arnold Beckmann ,  Ersébet Csuhaj-Varjú
ISBN: 9783319080185
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held...  Read More >>

Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems: 12th International...

Author: Fabrizio Cariani ,  Davide Grossi
ISBN: 9783319086149
Format: Paperback
$145.17

This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative...  Read More >>

Algorithm Theory -- SWAT 2014: 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings

Algorithm Theory -- SWAT 2014: 14th Scandinavian Symposium...

Author: Inge Li Gørtz ,  R. Ravi
ISBN: 9783319084039
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on...  Read More >>

Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Mathematical Foundations of Computer Science 2014: 39th...

Author: Ersébet Csuhaj-Varjú ,  Martin Dietzfelbinger
ISBN: 9783662445211
Format: Paperback
$145.17

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International...  Read More >>

Algorithmic Aspects in Information and Management: 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings

Algorithmic Aspects in Information and Management: 10th...

Author: Qianping Gu ,  Pavol Hell
ISBN: 9783319079554
Format: Paperback
$145.17

This volume constitutes the proceedings of the International Conference on Algorithmic Aspects in Information and...  Read More >>

Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics: 20th International Conference,...

Author: Zhipeng Cai ,  Alexander Zelikovsky
ISBN: 9783319087825
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 20th International Conference on Computing and Combinatorics,...  Read More >>

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International...

Author: Josep Diaz ,  Ivan Lanese
ISBN: 9783662446010
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in...  Read More >>

Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

Swarm Intelligence: 9th International Conference, ANTS...

Author: Marco Dorigo ,  Mauro Birattari
ISBN: 9783319099514
Format: Paperback
$145.17

The papers cover empirical and theoretical research in swarm intelligence such as: behavioral models of social insects...  Read More >>

Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Intelligent Computer Mathematics: CICM 2014 Joint Events:...

Author: Stephen M. Watt ,  Alan Sexton
ISBN: 9783319084336
Format: Paperback
$116.41

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014,...  Read More >>

Structural Information and Communication Complexity: 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings

Structural Information and Communication Complexity:...

Author: Magnús M. Halldórsson
ISBN: 9783319096193
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 21st International Colloquium on Structural Information and...  Read More >>

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Declarative Programming and Knowledge Management: Declarative...

Author: Michael Hanus ,  Ricardo Rocha
ISBN: 9783319089089
Format: Paperback
$145.17

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following...  Read More >>

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile,  September 1-4, 2014. Proceedings

Logic, Language, Information, and Computation: 21st...

Author: Ulrich Kohlenbach ,  Pablo Barceló
ISBN: 9783662441442
Format: Paperback
$103.47

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the...  Read More >>

Computers and Games: 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Computers and Games: 8th International Conference, CG...

Author: H. Jaap van den Herik ,  Hiroyuki Iida
ISBN: 9783319091648
Format: Paperback
$145.17

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on...  Read More >>

Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Descriptional Complexity of Formal Systems: 16th International...

Author: Helmut Jürgensen ,  Juhani Karhumäki
ISBN: 9783319097039
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity...  Read More >>

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Rewriting and Typed Lambda Calculi: Joint International...

Author: Gilles Dowek
ISBN: 9783319089171
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques...  Read More >>

Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014: 4th International...

Author: Hoon Hong ,  Chee Yap
ISBN: 9783662441985
Format: Paperback
$145.17

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held...  Read More >>

Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation:...

Author: Margot Colinet ,  Sophia Katrenko
ISBN: 9783662441152
Format: Paperback
$145.17

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association...  Read More >>

Mathematical Programming Solver Based on Local Search

Mathematical Programming Solver Based on Local Search...

Author: Frédéric Gardi ,  Thierry Benoist
ISBN: 9781848216860
Format: Hardback
$295.95

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although...  Read More >>

Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

Graph-Based Representation and Reasoning: 21st International...

Author: Nathalie Hernandez ,  Robert Jäschke
ISBN: 9783319083889
Format: Paperback
$116.41

This book constitutes the proceedings of the 21st International Conference on Conceptual Structures, ICCS 2014,...  Read More >>

Statistik in Theorie und Praxis: Mit Anwendungen in R

Statistik in Theorie und Praxis: Mit Anwendungen in...

Author: Michael Falk ,  Johannes Hain
ISBN: 9783642552526
Format: Paperback
$105.57

""Statistik in Theorie und Praxis"" schlägt die Brücke statistischer Theorie und realen praktischen Anwendungen....  Read More >>

Contributions to Sampling Statistics

Contributions to Sampling Statistics

Author: Fulvia Mecatti ,  Pier Luigi Conti
ISBN: 9783319053196
Format: Hardback
$145.17

it deals with some hot topics in sampling theory, such as calibration, quantile-regression and multiple frame surveys...  Read More >>

Computer Networks: 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings

Computer Networks: 21st International Conference, CN...

Author: Andrzej Kwiecien ,  Piotr Gaj
ISBN: 9783319079400
Format: Paperback
$145.17

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Networks,...  Read More >>

Fun with Algorithms: 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

Fun with Algorithms: 7th International Conference, FUN...

Author: Alfredo Ferro ,  Fabrizio Luccio
ISBN: 9783319078892
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 7th International Conference, FUN 2014, held in July 2014...  Read More >>

Analysis of Boolean Functions

Analysis of Boolean Functions

Author: Ryan O'Donnell (Carnegie Mellon University, Pennsylvania)
ISBN: 9781107038325
Format: Hardback
$178.51

This graduate-level text gives a thorough overview of the field, beginning with the most basic definitions and proceeding...  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List