Filter by
Foundation Mathematics for Computer Science
John Vince describes a range of mathematical topics to provide a foundation for an undergraduate course in computer science, starting with a review of number systems and their relevance to digital computers, and finishing with differential and integral calculus. Readers will find that the author's visual approach will greatly improve their understanding as to why certain mathematical structures…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21437-5
- Collation
- XVII, 334 pages
- Series Title
- -
- Call Number
- -
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Operations Research and Enterprise Systems: Third International Conference, I…
This book constitutes the refereed proceedings of the Third International Conference on Operations Research and Enterprise Systems, ICORES 2014, held in Angers, France, in March 2014. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on Methodologies and Technologies and Appl…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17508-9
- Collation
- XII, 301
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Operations Research and Enterprise Systems:4th International Conference, ICOR…
This book constitutes revised selected papers from the 4th International Conference on Operations Research and Enterprise Systems, ICORES 2015, held in Lisbon, Portugal, in January 2015. The 14 papers presented in this volume were carefully reviewed and selection from a total of 89 submissions. They were organized in topical sections named: methodologies and technologies; and applications.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-27679-3
- Collation
- XII, 249
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Words and Graphs
This is the first comprehensive introduction to the theory of word-representable graphs, a generalization of several classical classes of graphs, and a new topic in discrete mathematics. After extensive introductory chapters that explain the context and consolidate the state of the art in this field, including a chapter on hereditary classes of graphs, the authors suggest a variety of proble…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25859-1
- Collation
- -
- Series Title
- -
- Call Number
- -
High Performance Computing for Computational Science -- VECPAR 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014. The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17352-8
- Collation
- XVII, 311
- Series Title
- -
- Call Number
- 510 HIG
Advances in Cryptology – ASIACRYPT 2015: 21st International Conference on t…
The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015. The 64 revised full papers and 3 invited talks presented were carefully selected from 251 submissions. They are organized in topical sect…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48800-3
- Collation
- XXV, 802
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 518.1
Advances in Cryptology -- ASIACRYPT 2015: 21st International Conference on th…
The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015. The 64 revised full papers and 3 invited talks presented were carefully selected from 251 submissions. They are organized in topical sect…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48797-6
- Collation
- XXV, 810
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 518.1
Evolving Computability 11th Conference on Computability in Europe, CiE 2015,…
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20028-6
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography