» książki » Computers - Logic Design
 |
Verifying Concurrent Processes Using Temporal Logic
ISBN: 9783540112051 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
ISBN: 9783540354673 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Processing, FSMNLP 2005, held in Helsinki, Finland, September 2005. The book presents 24 revised full papers and seven revised poster papers together with two invited contributions and abstracts of six software demos. Topics include morphology, optimality theory, some special FSM families, weighted FSM algorithms, FSM representations, exploration, ordered structures, and surface parsing. This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Proces... |
cena:
201,24 |
 |
Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
ISBN: 9783540545644 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson: - Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic...
This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive ...
|
cena:
201,24 |
 |
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
ISBN: 9783540578260 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Containing the edited proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.
Containing the edited proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia, Vancouver, Canada ...
|
cena:
201,24 |
 |
Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings
ISBN: 9783540583325 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held in September 1994. The work has been divided into sections on non monotonic reasoning, automated reasoning, logic programming, knowledge representation and belief revision.
This volume constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held in September 1994. The work has been ...
|
cena:
201,24 |
 |
Evolvable Systems: From Biology to Hardware
ISBN: 9783540858560 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the mid 1990s, researchers began applying Evolutionary Algorithms (EAs) on a kind of computer chip that could dynamically alter the functionality and physicalconnectionsofits circuits. This combinationofEAs withprogrammable electronics (e. g., Field Programmable Gate Arrays (FPGAs) and Field P- grammable Analogue Arrays (FPAAs)) spawned a new ?eld of Evolutionary Computation (EC) called Evolvable Hardware (EH) with its ?rst workshop, - wards Evolvable Hardware, held in Lausanne, Switzerland in October 1995. This workshop was followed by the First International Conference on Evolvable S-...
In the mid 1990s, researchers began applying Evolutionary Algorithms (EAs) on a kind of computer chip that could dynamically alter the functionality a...
|
cena:
201,24 |
 |
Foundations of Information and Knowledge Systems: 4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
ISBN: 9783540317821 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base... This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in Febr... |
cena:
201,24 |
 |
Logic Programming: 22nd International Conference, Iclp 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
ISBN: 9783540366355 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This volume presents 20 revised full papers and 6 application papers together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles. Coverage includes all issues of current research in logic programming. This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in A... |
cena:
201,24 |
 |
Implementation and Application of Automata: 8th International Conference, Ciaa 2003, Santa Barbara, Ca, Usa, July 16-18, 2003. Proceedings
ISBN: 9783540405610 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It... Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other discipli... |
cena:
201,24 |
 |
Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
ISBN: 9783540681427 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunately there seems to be a tendency to regard communication as a kind of information exchange that can easily be covered using the standard FIPA ACL. However, the papers in this volume show that research in agent communication is far from ?nished. If we want to develop the full potential of multi-agent s- tems, agent communication should also develop to a level beyond parameter or value passing as is done in OO approaches In this book we present...
Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunat...
|
cena:
201,24 |
 |
B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
ISBN: 9783540687603 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan, con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of...
TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan, con in the east of France....
|
cena:
201,24 |
 |
Natural Language Processing and Information Systems: 12th International Conference on Applications of Natural Language to Information Systems, Nldb 20
ISBN: 9783540733508 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 12th International Conference on Applications of Natural Language to Infor- tion Systems (NLDB 2007) took place during June 27 29 in Paris (France). Since the first edition in 1995, the NLDB conference has been aiming at bringing together researchers, people working in industry and potential users interested in various - plications of natural language in the database and information system areas. Natural language and databases are core components in the development of inf- mation systems. NLP techniques may substantially enhance most phases of the information system lifecycle, starting...
The 12th International Conference on Applications of Natural Language to Infor- tion Systems (NLDB 2007) took place during June 27 29 in Paris (France...
|
cena:
201,24 |
 |
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
ISBN: 9783540737698 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using...
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run ...
|
cena:
201,24 |
 |
High Performance Embedded Architectures and Compilers: Fourth International Conference, Hipeac 2009
ISBN: 9783540929895 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised full papers presented together with 2 invited keynote paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on dynamic translation and optimisation, low level scheduling, parallelism and resource control, communication, mapping for CMPs, power, cache issues as well as parallel embedded applications.
This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC...
|
cena:
201,24 |
 |
Quality of Software Architectures: Second International Conference on Quality of Software Architectures, Qosa 2006, Västeras, Schweden, June 27-29, 20
ISBN: 9783540488194 / Angielski / Miękka / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although the quality of a system s software architecture is one of the critical factors in its overall quality, the architecture is simply a means to an end, the end being the implemented system. Thus the ultimate measure of the quality of the software architecture lies in the implemented system, in how well it satis?es the system and project requirements and constraints and whether it can be maintained and evolved successfully. In order to treat design as a science rather thananart, weneedtobeabletoaddressthequalityofthesoftwarearchitecture directly, not simply as it is re?ected in the...
Although the quality of a system s software architecture is one of the critical factors in its overall quality, the architecture is simply a means to ...
|
cena:
201,24 |
 |
Object-Oriented Technology. Ecoop 2004 Workshop Reader: Ecoop 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
ISBN: 9783540239888 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, held in Oslo from June 15 to 19, 2004. ECOOP 2004 hosted 19 high-quality workshops covering a large spectrum of hot research topics. These workshops were chosen through a tight peer review process following a speci?c call for proposals ending on November 30, 2003. We are very grateful to the members of...
This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er t...
|
cena:
201,24 |
 |
Transactions on High-Performance Embedded Architectures and Compilers II
ISBN: 9783642009037 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains 15 papers that were selected out of 31 submissions. This title also contains extended versions of the top five papers from the 2nd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2007) held in Ghent, Belgium, in January 2007.
Contains 15 papers that were selected out of 31 submissions. This title also contains extended versions of the top five papers from the 2nd Internatio...
|
cena:
201,24 |
 |
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009, Proceedings
ISBN: 9783642020162 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic) and the physical sciences. This crossdisciplinary character, together with its focus on - gorithms, complexity and computability theory, gives the conference a special ?avor and distinction. TAMC2009wasthesixthconferenceintheseries.Theprevious?vemeetings wereheldduringMay17-19,2004inBeijing, May17-20,2005inKunming, May 15-20, 2006 in Beijing, May 22-25, 2007 in Shanghai, and...
Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together r...
|
cena:
201,24 |
 |
Epistemological Aspects of Computer Simulation in the Social Sciences: Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
ISBN: 9783642011085 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume collects the revised versions of the invited and selected papers that were presented at the Second EPOS--Epistemological Perspectives on Simulation--Workshop, held in Brescia, Italy, in October 2006. EPOS is a bi-annual cross-disciplinary workshop on simulation originally established by Ulrich Frank and Klaus G. Troitzsch, with a first e- tion held in Koblenz in July 2004. EPOS aims to provide a forum for scholars from various disciplines, such as the social sciences, computer sciences, engineering and natural sciences, who are interested in discussing epistemological aspects of...
This volume collects the revised versions of the invited and selected papers that were presented at the Second EPOS--Epistemological Perspectives on S...
|
cena:
201,24 |
 |
Typed Lambda Calculi and Applications
ISBN: 9783642022722 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and...
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasil...
|
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
