Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Continue reading
Algorithmic Number Theory : 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held ...
Continue reading
Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...
Continue reading
Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 2nd International Castle Meeting, ISMCTA 2008. The papers cover network ...
Continue reading
Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...
Continue reading
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue reading
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course : Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...
Continue reading
Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
Continue reading
Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International ...
Continue reading
Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Continue reading
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Continue reading
Pairing-Based Cryptography - Pairing 2008 : Second International Conference, Egham, UK, September 1-3, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, ...
Continue reading
Programming Languages : An Active Learning Approach
Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Continue reading
Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Continue reading
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue reading
Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Continue reading
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Continue reading
Sequences and Their Applications - SETA 2008 : 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings
The book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Continue reading
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
