|
Showing 1 - 5 of
5 matches in All Departments
|
Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings (Paperback, 1st ed. 2016)
Nikolaj Bjorner, Sanjiva Prasad, Laxmi Parida
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 12th International
Conference on Distributed Computing and Internet Technology, ICDCIT
2016, held in Bhubaneswar, India, in January 2016. The 6 full
papers, 7 short papers and 11 poster papers presented in this
volume were carefully reviewed and selected from 129 submissions.
The ICDCIT conference focusses on distributed computing, internet
technologies, and societal applications. The book also contains 3
full paper invited talks.
|
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Paperback, 2012)
Nikolaj Bjorner, Andrei Voronkov
|
R1,607
Discovery Miles 16 070
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 18th International
Conference on Logic for Programming, Artificial Intelligence, and
Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The
25 regular papers and 6 tool descriptions and experimental papers
presented were carefully reviewed and selected from 74 submissions.
The series of International Conferences on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR) is a forum where, year
after year, some of the most renowned researchers in the areas of
logic, automated reasoning, computational logic, programming
languages and their applications come to present cutting-edge
results, to discuss advances in these fields, and to exchange ideas
in a scientifically emerging part of the world.
This book constitutes the refereed proceedings of the 23rd
International Conference on Automated Deduction, CADE-23, held in
Wroc aw, Poland, in July/August 2011.
The 28 revised full papers and 7 system descriptions presented were
carefully reviewed and selected from 80 submissions. Furthermore,
four invited lectures by distinguished experts in the area were
included. Among the topics addressed are systems and tools for
automated reasoning, rewriting logics, security protocol
verification, unification, theorem proving, clause elimination,
SAT, satifiability, interactive theorem proving, theory reasoning,
static analysis, decision procedures, etc."
|
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers (Paperback, 1st ed. 2019)
Nikolaj Bjorner, Irina Virbitskaite, Andrei Voronkov
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 12th
International Andrei P. Ershov Informatics Conference, PSI 2019,
held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3
short papers presented in this volume were carefully reviewed and
selected from 70 submissions. The papers cover various topics
related to the Mathematics of Computing, Information Systems,
Formal Languages, dependable and fault-tolerant Systems and
Network, Automata Theory, and much more.
This book constitutes the refereed proceedings of the 20th
International Symposium on Formal Methods, FM 2015, held in Oslo,
Norway, in June 2015. The 30 full papers and 2 short papers
presented were carefully reviewed and selected from 124
submissions. The papers cover a wide spectrum of all the different
aspects of the use of and the research on formal methods for
software development.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|