» książki » Computers - Logic Design
topmenu
 |
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
ISBN: 9783540401742 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s. This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule... Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic pro... |
cena:
201,24 |
 |
Job Scheduling Strategies for Parallel Processing: 7th International Workshop, Jsspp 2001, Cambridge, Ma, Usa, June 16, 2001, Revised Papers
ISBN: 9783540428176 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.
The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area. This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing,...
|
cena:
201,24 |
 |
Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding
ISBN: 9783540430025 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year s conference attracted 73 submissions from 20 countries. Each s- mission was reviewed by at least three independent referees. In a departure from previous conferences, the ?nal selection of the papers making up the program was done through an electronic discussion spanning two weeks, without a physical meeting of the Program...
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (...
|
cena:
201,24 |
 |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,
ISBN: 9783540430759 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing,... This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgor...
|
cena:
201,24 |
 |
Logic Based Program Synthesis and Transformation: 11th International Workshop, Lopstr 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
ISBN: 9783540439158 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in P...
|
cena:
201,24 |
 |
Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings
ISBN: 9783540440390 / Angielski / Miękka / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. Issues in HOL theorem proving and formal verification of software and hardware systems are addressed, evaluating Isabelle/HOL, Isabelle/Isar and Coq.
Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA,...
|
cena:
201,24 |
 |
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
ISBN: 9783540505174 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages,...
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India,...
|
cena:
201,24 |
 |
Algebraic Methods: Theory, Tools and Applications
ISBN: 9783540516989 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Analogical and Inductive Inference: International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings
ISBN: 9783540517344 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Towards Evolvable Hardware: The Evolutionary Engineering Approach
ISBN: 9783540610939 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it has been successfully applied, e.g. for optimization and machine learning in various areas. The tremendous increase in computational power and, more recently, the appearance of a new generation of programmable logic devices allow for a new approach to designing computing machines inspired by biological models: it is now possible to make the hardware itself evolve.
This book is based on a workshop on evolvable hardware, held in Lausanne,... Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it h...
|
cena:
201,24 |
 |
Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, S
ISBN: 9783540635338 / Angielski / Miękka / 694 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods, held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing...
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications...
|
cena:
402,53 |
 |
Practical Aspects of Declarative Languages: 5th International Symposium, Padl 2003, New Orleans, La, Usa, January 13-14, 2003, Proceedings
ISBN: 9783540003892 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003). We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from boththefunctionalandlogicprogrammingcommunities.Ofthe57submissions, 25werefunctionaland32werelogical, withsomenotableoverlaps. The program committee was divided on the approach to take to the con-...
The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colo...
|
cena:
201,24 |
 |
Agent-Oriented Software Engineering III: Third International Workshop, Aose 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributi
ISBN: 9783540007135 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of...
Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It...
|
cena:
201,24 |
 |
Evolvable Systems: From Biology to Hardware: 5th International Conference, Ices 2003, Trondheim, Norway, March 17-20, 2003, Proceedings
ISBN: 9783540007302 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea of evolving machines, whose origins can be traced to the cybernetics movementofthe1940sand1950s, hasrecentlyresurgedintheformofthenascent ?eld of bio-inspired systems and evolvable hardware. The inaugural workshop, Towards Evolvable Hardware, took place in Lausanne in October 1995, followed by the First International Conference on Evolvable Systems: From Biology to Hardware (ICES), held in Tsukuba, Japan in October 1996. The second ICES conference was held in Lausanne in September 1998, with the third and fourth being held in Edinburgh, April 2000 and Tokyo, October 2001...
The idea of evolving machines, whose origins can be traced to the cybernetics movementofthe1940sand1950s, hasrecentlyresurgedintheformofthenascent ?el...
|
cena:
201,24 |
 |
Fundamental Approaches to Software Engineering: 6th International Conference, Fase 2003, Held as Part of the Joint European Conferences on Theory and
ISBN: 9783540008996 / Angielski / Miękka / 407 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998bycombininganumberofexistingandnewconferences.Thisyear it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 14 - tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS, and WOOD), eight invited lectures (not including those that are speci?c to the satellite events), and several tu- rials. We received a record number of submissions to the ?ve conferences this year: over 500, making acceptance...
ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998byco...
|
cena:
201,24 |
 |
Programming Languages and Systems: First Asian Symposium, Aplas 2003, Beijing, China, November 27-29, 2003, Proceedings
ISBN: 9783540205364 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers, among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium,...
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguishe...
|
cena:
201,24 |
 |
Logic Programming: 19th International Conference, Iclp 2003, Mumbai, India, December 9-13, 2003, Proceedings
ISBN: 9783540206422 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003.The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.
This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December...
|
cena:
483,04 |
 |
Advances in Agent Communication: International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003
ISBN: 9783540207696 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on the thoroughly refereed post-workshop proceedings of the International Workshop on Agent Communication Languages, ACL, held in conjunction with AAMAS 2003 in Melbourne, Australia in July 2003. Besides the 12 workshop papers, 10 additional papers on agent communication mainly from the AAMAS 2003 main conference are included in this volume. The book presents a coherent and complete overview of the state of the art in agent communication. The papers are organized in topical sections on - fundamentals of agent communication; - agent communication and commitments;... This book is based on the thoroughly refereed post-workshop proceedings of the International Workshop on Agent Communication Languages, ACL, held i... |
cena:
201,24 |
 |
Agent-Oriented Software Engineering IV: 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers
ISBN: 9783540208266 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di- rent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and autonomous, capable of serving a naive user with a minimum of...
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversib...
|
cena:
201,24 |
 |
Concur 2004 -- Concurrency Theory: 15th International Conference, London, Uk, August 31 - September 3, 2004, Proceedings
ISBN: 9783540229407 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. assisted us in the evaluation of the submitted papers.
assisted us in the evaluation of the submitted papers.
|
cena:
201,24 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
