» książki » Computers - Logic Design
topmenu
 |
Fme '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
ISBN: 9783540566625 / Angielski / Miękka / 695 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of...
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-ti...
|
cena:
401,58 |
 |
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
ISBN: 9783540566946 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The available run-time garbage collecting processes are expensive in time and often require a periodic disruption of the program execution. The present book addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs. The starting point is a previously developed application of integrated...
A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The avai...
|
cena:
200,77 |
 |
Automata, Languages and Programming: 20th International Colloquium, Icalp 93, Lund, Sweden, July 5-9, 1993. Proceedings
ISBN: 9783540569398 / Angielski / Miękka / 703 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification,...
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for T...
|
cena:
401,58 |
 |
Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
ISBN: 9783540572084 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus with multiplicities" (extended abstract) by G rard Boudol, "A pi-calculus semantics for an object-based design notation" by Cliff B. Jones, "Partial-order methods for temporal...
This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim o...
|
cena:
200,77 |
 |
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
ISBN: 9783540574996 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are: - formal specification of solutions to...
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Br...
|
cena:
200,77 |
 |
Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
ISBN: 9783540575290 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, co...
|
cena:
200,77 |
 |
Automata, Languages, and Programming: 21st International Colloquium, Icalp '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
ISBN: 9783540582014 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures,...
This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in J...
|
cena:
401,58 |
 |
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
ISBN: 9783540587156 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.
Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency,... This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, ...
|
cena:
200,77 |
 |
Evolvable Systems: From Biology to Hardware: 7th International Conference, ICES 2007 Wuhan, China, September 21-23, 2007 Proceedings
ISBN: 9783540746256 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in September 2007. The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog hardware evolution, bio-inspired systems, mechanical hardware evolution, evolutionary design, evolutionary algorithms in hardware design, and hardware implementation of evolutionary algorithms. This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in Septem... |
cena:
200,77 |
 |
Cryptographic Hardware and Embedded Systems - Ches 2007: 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings
ISBN: 9783540747345 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CHES2007, theninthworkshoponCryptographicHardwareandEmbeddedS- tems, was sponsored by the International Association for Cryptologic Research (IACR) and held in Vienna, Austria, September 10-13, 2007. The workshop - ceived 99 submissions from 24 countries, of which the Program Committee (39 members from 15 countries) selected 31 for presentation. For the ?rst time in the history of CHES, each submission was reviewed by at least four reviewers instead of three (and at least ?ve for submissions by PC members, those now being limited to two per member) and many submitted papers have received...
CHES2007, theninthworkshoponCryptographicHardwareandEmbeddedS- tems, was sponsored by the International Association for Cryptologic Research (IACR) an...
|
cena:
200,77 |
 |
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
ISBN: 9783540168164 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
200,77 |
 |
Semantics: Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992. Proceedings
ISBN: 9783540565963 / Angielski / Miękka / 667 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundations and applications, including: comparative domain theory, category theory, information systems; concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming;...
Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations ...
|
cena:
401,58 |
 |
Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
ISBN: 9783540569220 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification...
This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of...
|
cena:
200,77 |
 |
Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings
ISBN: 9783540591757 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995.
The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to... This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, ...
|
cena:
200,77 |
 |
Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings
ISBN: 9783540600435 / Angielski / Miękka / 597 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and... This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada...
|
cena:
401,58 |
 |
Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
ISBN: 9783540634683 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.
The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination. This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.<...
|
cena:
200,77 |
 |
Hybrid Systems: Computation and Control: Second International Workshop, Hscc'99, Berg En Dal, the Netherlands, March 29-31, 1999 Proceedings
ISBN: 9783540657347 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in...
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31...
|
cena:
200,77 |
 |
Advances in Computer Systems Architecture: 12th Asia-Pacific Conference, ACSAC 2007 Seoul, Korea, August 23-25, 2007 Proceedings
ISBN: 9783540743088 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On behalf of the program and organizing committee members of this conference, we th are pleased to present you with the proceedings of the 12 Asia-Pacific Computer Systems Architecture Conference (ACSAC 2007), which was hosted in Seoul, Korea on August 23-25, 2007. This conference has traditionally been a forum for leading researchers in the Asian, American and Oceanian regions to share recent progress and the latest results in both architectural and system issues. In the past few years the c- ference has become more international in the sense that the geographic origin of p- ticipants has...
On behalf of the program and organizing committee members of this conference, we th are pleased to present you with the proceedings of the 12 Asia-Pac...
|
cena:
200,77 |
 |
Mathematical Foundations of Computer Science 2007: 32nd International Symposium, Mfcs 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedi
ISBN: 9783540744559 / Angielski / Miękka / 786 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesky Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks address all current aspects in theoretical computer science and its mathematical foundations. "This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held... |
cena:
401,58 |
 |
Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
ISBN: 9783540552109 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata...
This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately...
|
cena:
401,58 |
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
