topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 19
 |
Architecture Design and Validation Methods
ISBN: 9783642629761 / Angielski / Miękka / 2012 / 357 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the course notes have been completely elaborated and extended and additional chapters have been added so that this book offers a comprehensive presentation of the state of the art which leads the reader to the forefront of the current research in the area. The chapters, each of which was written by a group of eminent special ists in the field, are...
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5,...
|
cena:
200,77 |
 |
Abstract State Machines: A Method for High-Level System Design and Analysis
ISBN: 9783642621161 / Angielski / Miękka / 2013 / 438 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Quelli che s innamoran di pratica senza scienzia sono come l nocchieri ch entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ]r die Wirklichkeit untu ]chtig machen. Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the other...
Quelli che s innamoran di pratica senza scienzia sono come l nocchieri ch entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada....
|
cena:
200,77 |
 |
Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings
ISBN: 9783540516590 / Angielski / Miękka / 1989 / 404 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the papers which were presented at the second workshop Computer Science Logic held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
This volume contains the papers which were presented at the second workshop Computer Science Logic held in Duisburg, FRG, October 3-7, 1988. These pro...
|
cena:
200,77 |
 |
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
ISBN: 9783540582779 / Angielski / Miękka / 1994 / 336 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations. This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science ...
|
cena:
200,77 |
 |
Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings
ISBN: 9783540876021 / Angielski / Miękka / 2008 / 400 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and so- waresystems, namely, abstractstate machines, B, andZ. It followedonfromthe Dagstuhl seminar on Rigorous Methods for Software Construction and Ana- sis, which was organized in May 2006 by Jean-Raymond Abrial (ETH Zur ] ich, Switzerland) and Uwe Gl] asser (Simon Fraser University - Burnaby,...
The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigo...
|
cena:
200,77 |
 |
Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität
ISBN: 9783528289287 / Niemiecki / Miękka / 1992 / 499 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.
Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor. |
cena:
187,64 |
 |
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität
ISBN: 9783528189280 / Niemiecki / Miękka / 1986 / 470 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Trager prazisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalkuls, d. h. formal ope rierender Verfahren zur Losung prazis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche Einfuhrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie...
Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theor...
|
cena:
206,40 |
 |
Abstract State Machines: A Method for High-Level System Design and Analysis
ISBN: 9783540007029 / Angielski / Twarda / 2003 / 438 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ]r die Wirklichkeit untu ]chtig machen. - Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the...
Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada...
|
cena:
200,77 |
 |
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings
ISBN: 9783540502418 / Angielski / Miękka / 1988 / 348 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The...
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally ...
|
cena:
200,77 |
 |
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
ISBN: 9783540544876 / Angielski / Miękka / 1991 / 402 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic.
This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science...
|
cena:
200,77 |
 |
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
ISBN: 9783540557890 / Angielski / Miękka / 1992 / 431 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 1991. The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract data types, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of...
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 1991. The ...
|
cena:
200,77 |
 |
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
ISBN: 9783540006244 / Angielski / Miękka / 2003 / 436 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well. This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in ... |
cena:
200,77 |
 |
Computation Theory and Logic
ISBN: 9783540181705 / Angielski / Miękka / 1987 / 442 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains 37 invited research papers collected in memory of Dieter Rodding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rodding's scientific interests."
This volume contains 37 invited research papers collected in memory of Dieter Rodding, who is known for his work on the classification of recursive fu...
|
cena:
200,77 |
 |
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
ISBN: 9783540569923 / Angielski / Miękka / 1993 / 439 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda...
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the s...
|
cena:
200,77 |
 |
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
ISBN: 9783540897613 / Angielski / Miękka / 2008 / 277 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) However, the contributions re?ect the extensive discussions we had during the two weeks in Lipari. Allcontributions, writtenbetweenAugust2007andJanuary2008, havebeen reviewed, revisedandreviewedagainduringtheperiodFebruary August2008. We thank the 21 reviewers for their considerable and very constructive work, althoughasusualtheyhavetoremainanonymous.Lastbutnotleastwethank theauthorsfortheircommitmenttothisvolume.
However, the contributions re?ect the extensive discussions we had during the two weeks in Lipari. Allcontributions, writtenbetweenAugust2007andJanuar...
|
cena:
200,77 |
 |
Architecture Design and Validation Methods
ISBN: 9783540649762 / Angielski / Twarda / 2000 / 357 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advanced research ideas and approaches, and written by eminent researchers in the field, seven chapters cover the whole range from computer aided high-level design of VLSI circuits and systems to layout and testable design, including modeling and synthesis of behavior, of control, and of dataflow, cell based logic optimization, machine assisted verification, and virtual machine design. The chapters presuppose only basic familiarity with computer...
This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advan...
|
cena:
200,77 |
 |
Modeling Companion for Software Practitioners
ISBN: 9783662566398 / Angielski / Miękka / 2018 / 349 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
261,02 |
 |
The Classical Decision Problem
ISBN: 9783540423249 / Angielski / Miękka / 2001 / 482 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these disci- plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ- ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic...
This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these d...
|
cena:
722,88 |
 |
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
ISBN: 9783540527534 / Angielski / Miękka / 1990 / 444 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.
This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany i...
|
cena:
200,77 |
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
