الصفحة 1
الصفحة 1
img

FSTTCS 2006 : Foundations of software technology and theoretical computer science ; 26th International Conference, Kolkata, India, December 13-15, 2006, Proceed

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.

img

Computer and Information Sciences - ISCIS 2005 ; 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings

This book constitutes the refereed proceedings of the 20th International Symposium on Computer and Information Sciences, ISCIS 2005, held in Istanbul, Turkey in October 2005. The 92 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 491 submissions. The papers are organized in topical sections on computer networks, sensor and satellite networks, security and cryptography, performance evaluation, e-commerce and Web services, multiagent systems, machine learning, information retrieval and natural language processing, image and speech processing, algorithms and database systems, as well as theory of computing.

img

Machines, Computations, and Universality ; 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St Petersburg, Russia in September 2004. This book covers a variety of foundational aspects in theoretical computer science such as cellular automata, molecular computing, quantum computing, and formal languages

img

LATIN 2008 : Theoretical Informatics ; 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the Theory of Computing. Previous conferences havebeen organized twiceinBrazil: SaoPaulo (1992) and Campinas (1998); twice in Chile: Valpara so (1995) and Valdivia (2006); once in Uruguay: Punta del Este (2000); once in Mexico: Cancun (2002); and once in Argentina: Buenos Aires (2004). This volume contains the proceedings of the 8th Latin American Theore- cal INformatics Symposium (LATIN 2008), which was held in Buzio s, Rio de Janeiro, Brazil, April 7 11, 2008.

img

Advances in computer science - ASIAN 2004 : Higher level decision making ; 9th Asian computing ccience conference ; Dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004

Constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. This volume contains papers that were presented at that conference. Its theme was “higher-level decision-making”.Philippe Flajolet was invited to give the opening keynote address, whileYuzuru Tanaka and Phillip Rogaway werealso keynote speakers. In additionto the keynote speakers, distinguished colleagues of Jean-Louis Lassez were in-vited to present talks in his honour. Many of those talks are represented bypapers in this volume, this book Include Topics : Theory of Computation / Artificial Intelligence / Software Engineering / Programming and Operating Systems / Cryptology / Discrete Mathematics in Computer Science / Information Systems Applications (incl. Internet)

عدد النتائج بكل صفحة