Rules and Rule Markup Languages for the Semantic Web: Second International Workshop, Ruleml 2003, Sanibel Island, Fl, Usa, October 20, 2003, Proceedin
ISBN: 9783540203612 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC). The aim of the RuleML workshop series is to stimulate research on all issues related to web rule languages and to provide an annual forum for presenting and discussing new research results. The Semantic Web is a major world-wide endeavor to advance the Web by enriching its multimedia document content with propositional information that can be processed by inference-enabled Web applications. Rules and rule markup...
RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International ...
|
|
cena:
194,97 zł |
Practical Aspects of Declarative Languages: 7th International Symposium, Padl 2005, Long Beach, Ca, Usa, January 10-11, 2005, Proceedings
ISBN: 9783540243625 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more.
Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA i...
|
|
cena:
194,97 zł |
Theoretical Aspects of Computing - Ictac 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
ISBN: 9783540291077 / Angielski / Miękka / 618 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17 21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from...
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took pl...
|
|
cena:
389,98 zł |
Computer Safety, Reliability, and Security: 24th International Conference, Safecomp 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
ISBN: 9783540292005 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures. This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, h... |
|
cena:
194,97 zł |
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
ISBN: 9783540584025 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and...
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), h...
|
|
cena:
194,97 zł |
Functional Programming Languages in Education: 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings
ISBN: 9783540606758 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995.
The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction,... This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held i...
|
|
cena:
194,97 zł |
Stacs 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
ISBN: 9783540609223 / Angielski / Miękka / 690 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.
The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and... This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in...
|
|
cena:
389,98 zł |
Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
ISBN: 9783540613633 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996.
The 26 revised full papers included in the book together with three invited presentations were selected from a total of 78 submissions. The book addresses the current theoretical and applicational aspects of the various types of Petri Nets and competently reflects the state of the art in the area. This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in ...
|
|
cena:
389,98 zł |
Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
ISBN: 9783540617396 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.
The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and... This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 19...
|
|
cena:
194,97 zł |
Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
ISBN: 9783540617808 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.
Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey... This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under t...
|
|
cena:
194,97 zł |
Logical Foundations of Computer Science: 4th International Symposium, Lfcs'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
ISBN: 9783540630456 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.
The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community. This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yarosla...
|
|
cena:
194,97 zł |
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 199
ISBN: 9783540631729 / Angielski / Miękka / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area. This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as th...
|
|
cena:
194,97 zł |
Recent Advances in Constraints: 12th Annual Ercim International Workshop on Constraint Solving and Contraint Logic Programming, Csclp 2007 Rocquencour
ISBN: 9783540898115 / Angielski / Miękka / 159 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and...
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Sol...
|
|
cena:
194,97 zł |
Logic Programming: 24th International Conference, Iclp 2008 Udine, Italy, December 9-13 2008 Proceedings
ISBN: 9783540899815 / Angielski / Miękka / 826 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 24th International Conference on Logic Programming (ICLP 2008). The conference took place in Udine, Italy during December 9-13, 2008. The conference focuses on the foundations, dev- opments, and applications in the area of logic programming. The ICLP series of conferences is aimed at providing a technical forum for presenting and d- seminating innovative research results in the ?eld of logic programming. The conference features technical presentations, tutorials, invited speakers, and a number of co-located events, including: - The First Workshop on...
This volume contains the proceedings of the 24th International Conference on Logic Programming (ICLP 2008). The conference took place in Udine, Italy ...
|
|
cena:
389,98 zł |
Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
ISBN: 9783540921875 / Angielski / Miękka / 313 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects.
The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This...
|
|
cena:
194,97 zł |
Defence Applications of Multi-Agent Systems: International Workshop, Damas 2005, Utrecht, the Netherlands, July 25, 2005, Revised and Invited Papers
ISBN: 9783540328322 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Defence applications are subject to some of the world's most demanding requirements for reliability, controllability, security, flexibility, and synchronization. The evolution of defence processes towards network enabled systems and rapid deployment scenarios, is creating an urgent demand for highly adaptive and autonomous information support systems. In particular there are requirements for reduced manpower in support roles, autonomous IT infrastructures, and automated logistics and planning, all of which provide significant scope for an agent-oriented solution set. The workshop addresses... Defence applications are subject to some of the world's most demanding requirements for reliability, controllability, security, flexibility, and sy... |
|
cena:
194,97 zł |
Graph-Theoretic Concepts in Computer Science: 15th International Workshop Wg '89, Castle Rolduc, the Netherlands, June 14-16, 1989, Proceedings
ISBN: 9783540522928 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of a workshop which aims to integrate theory and applications, and to find out mechanisms, concepts or tools which facilitate the implementation of solutions based on graphs. This book also covers numerous applications.
Constitutes the proceedings of a workshop which aims to integrate theory and applications, and to find out mechanisms, concepts or tools which facilit...
|
|
cena:
194,97 zł |
Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings
ISBN: 9783540578406 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a land where the two worlds - the formal world of algorithms and the physical world of electronic circuits - interact. The participants explored this land under the guidance of internationally renowned researchers such as Butler W. Lampson, Susan Graham, Jan L.A. van de Snepscheut, and C.A.R. Hoare, all of whom gave invited papers. The volume includes these papers together with sixteen session papers. Subjects of special interest include:...
Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventu...
|
|
cena:
194,97 zł |
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
ISBN: 9783540584315 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.
Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming. This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in ...
|
|
cena:
194,97 zł |
Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
ISBN: 9783540592006 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.
The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop. The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of... This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, G...
|
|
cena:
194,97 zł |