» książki » Computers - Logic Design
topmenu
 |
Sofsem 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Repub
ISBN: 9783540207795 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Merin, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.
This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held ...
|
cena:
201,24 |
 |
Machines, Computations, and Universality: 4th International Conference, McU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Pa
ISBN: 9783540252610 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in Saint Petersburg, Russia in September 2004.The 21 revised full papers presented together with 5 invited papers went through two rounds of reviewing, selection, and improvement. A broad variety of foundational aspects in theoretical computer science are addressed, such as cellular automata, molecular computing, quantum computing, formal languages, automata theory, Turing machines, P systems, etc.
This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 200...
|
cena:
201,24 |
 |
Rapid Integration of Software Engineering Techniques: First International Workshop, Rise 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Re
ISBN: 9783540258124 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. RISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are part of a methodological framework and which apply to both new and evolving app- cations, technologies and systems. The ERCIM (European Research Consortium forInformaticsandMathematics)RISEworkinggroupselectedapplicationareas such as the Web, mobility, high availability approaches, embedded approaches and user interfaces in speci?c industry sectors comprising ?nance, telecom- nications, transportation (avionics, the automotive industry) and...
RISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are...
|
cena:
201,24 |
 |
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaille
ISBN: 9783540287018 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines, V- sailles, France, 1 3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which...
This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines, V- sa...
|
cena:
201,24 |
 |
Implementation and Application of Automata: 7th International Conference, Ciaa 2002, Tours, France, July 3-5, 2002, Revised Papers
ISBN: 9783540403913 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002. The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata... The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, ... |
cena:
201,24 |
 |
Recent Trends in Algebraic Development Techniques: 15th International Workshop, Wadt 2001, Joint with the Cofi Wg Meeting, Genova, Italy, April 1-3, 2
ISBN: 9783540431596 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.
The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems. This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2...
|
cena:
201,24 |
 |
Innovative Internet Computing Systems: Second International Workshop, Iics 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
ISBN: 9783540437901 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the second international workshop on Innovative Internet Computing Systems, IICS 2002, held in Kuhlungsborn, Germany, in June 2002. The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from over 30 submissions. Among the topics addressed are large-scale distributed computing infrastructures presenting new challenges to information and Web technology, the management and retrieval of web-based information, content classification, web-based communities management, structure and retrieval of...
This volume constitutes the refereed proceedings of the second international workshop on Innovative Internet Computing Systems, IICS 2002, held in Kuh...
|
cena:
201,24 |
 |
Abstraction, Reformulation, and Approximation: 5th International Symposium, Sara 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
ISBN: 9783540439417 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.
The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these... This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in...
|
cena:
201,24 |
 |
Programming Languages Implementation and Logic Programming: International Workshop Plilp '88, Orleans, France, May 16-18, 1988. Proceedings
ISBN: 9783540508205 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same...
The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually bene...
|
cena:
201,24 |
 |
Categorical Methods in Computer Science: With Aspects from Topology
ISBN: 9783540517221 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications....
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of th...
|
cena:
201,24 |
 |
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
ISBN: 9783540525592 / Angielski / Miękka / 812 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this active research area. State-based, algebraic, temporal logic-oriented and category theory-oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs.
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably c...
|
cena:
402,53 |
 |
Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germany, July 1996. Proceedings
ISBN: 9783540614630 / Angielski / Miękka / 647 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic... This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held i...
|
cena:
402,53 |
 |
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
ISBN: 9783540654933 / Angielski / Miękka / 647 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters ...
|
cena:
402,53 |
 |
Applied Formal Methods - Fm-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Procee
ISBN: 9783540664628 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a...
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998...
|
cena:
201,24 |
 |
Concur 2000 - Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings
ISBN: 9783540678977 / Angielski / Miękka / 613 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and...
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA...
|
cena:
402,53 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, Tacas 2003, Held as Part of the Joint European Confer
ISBN: 9783540008989 / Angielski / Miękka / 604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establishedin1998bycombininganumberofexistingandnewconferences.This yearitcomprised?veconferences(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,...
ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that w...
|
cena:
402,53 |
 |
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004
ISBN: 9783540220947 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.
This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg...
|
cena:
201,24 |
 |
Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, Uk, April 13-15, 2005, Proceedings
ISBN: 9783540255598 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst' emes R' eseaux within theInstitut d'Informatique et Math' ematique Appliqu' ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)....
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the sou...
|
cena:
402,53 |
 |
Global Optimization and Constraint Satisfaction: Second International Workshop, Cocos 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selec
ISBN: 9783540260035 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem, eitherto?ndthebestsolution, ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18 21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented...
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyz...
|
cena:
201,24 |
 |
Implementation and Application of Functional Languages: 16th International Workshop, Ifl 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected
ISBN: 9783540260943 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ] eck, Germany, September 8 10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ] eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr-...
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ] eck, Germany, September 8 10, 2...
|
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
