» książki » Computers - Logic Design
topmenu
 |
Logic Functions and Equations: Binary Models for Computer Science
ISBN: 9781402029370 / Angielski / Twarda / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer Architecture and Artificial Intelligence. They are very often studied in a minimum way prior to or together with their respective applications. Based on our long-time teaching experience, a comprehensive presentation of these concepts is given, especially emphasising a thorough understanding as well as numerical and computer-based solution methods. Any applications and examples from all the... Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Codi... |
cena:
357,16 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
The Semantic Web - Iswc 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
ISBN: 9783540237983 / Angielski / Miękka / 844 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 3rd International Semantic Web Conference (ISWC 2004) was held Nov- ber 7-11, 2004 in Hiroshima, Japan. If it is true what the proverb says: "Once by accident, twice by habit, three times by tradition," then this third ISWC did indeed ?rmly establish a tradition. After the overwhelming interest in last year's conference at Sanibel Island, Florida, this year's conference showed that the Semantic Web is not just a one-day wonder, but has established itself ?rmly on the research agenda. At a time when special interest meetings with a Sem- tic Web theme are springing up at major conferences...
The 3rd International Semantic Web Conference (ISWC 2004) was held Nov- ber 7-11, 2004 in Hiroshima, Japan. If it is true what the proverb says: "Once...
|
cena:
401,58 |
 |
Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Pr
ISBN: 9783540236108 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31 November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to...
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, Oc...
|
cena:
401,58 |
 |
Modern Formal Methods and Applications
ISBN: 9781402042225 / Angielski / Twarda / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also,... Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that... |
cena:
441,75 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
Implementation and Application of Automata: 10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Pap
ISBN: 9783540310235 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005. This book covers topics, which show applications of automata in many fields, including mathematics, linguistics, networks, XML processing, biology and music.
Contains the post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005. This book covers topics, ...
|
cena:
200,77 |
 |
Mathematical Foundations of Computer Science 2009
ISBN: 9783642038150 / Angielski / Miękka / 780 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 34th International Symposium on Mathematical Foundations of Computer Science, MFCS2009, washeld in Novy Smokovec, High Tatras(Slovakia)during August 24-28, 2009. This volume contains 7 invited and 56 contributed papers presented at the symposium. The contributed papers were selected by the P- gram Committee out of a total of 148 submissions. MFCS 2009 was organized by the Slovak Society for Computer Science and the Faculty of Mathematics, Physics and Informatics of the Comenius Univ- sity in Bratislava. It wassupported by the EuropeanAssociation for Theoretical Computer Science. We...
The 34th International Symposium on Mathematical Foundations of Computer Science, MFCS2009, washeld in Novy Smokovec, High Tatras(Slovakia)during Augu...
|
cena:
401,58 |
 |
Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
ISBN: 9783642034084 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, and formal and logical methods. It is a biennialconference, whichhaspreviouslybeenheldinPoznan (1977), Wendisch- Rietz (1979), Szeged (1981), Borgholm (1983), Cottbus (1985), Kazan (1987), Szeged (1989), Gosen-Berlin (1991), Szeged (1993), Dresden (1995), Krak ow (1997), Ia, si (1999), Riga (2001), Malmo ] (2003), Lu ]beck (2005) and Budapest (2007)....
The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science,...
|
cena:
200,77 |
 |
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings
ISBN: 9783642044199 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Third International Workshop on Reachability Problems, RP 2009 was held in Ecole Polytechnique, September 23-25, 2009, in Palaiseau, near to Paris, France. Reachability Problems 2009 was hosted as an edition of the annual LIX Fall Colloquium. The LIX Fall Colloquium is the annual colloquium organized by the computer science laboratory of Ecole Polytechnique. The topics of this c- loquiumchange everyyear. Previouseditions includeEmerging Trends in Visual Computing (ETVC 2008) in 2008, Complex Industrial Systems: Modeling, Ve- ?cationandOptimization in2007, and Emerging...
The Third International Workshop on Reachability Problems, RP 2009 was held in Ecole Polytechnique, September 23-25, 2009, in Palaiseau, near to Paris...
|
cena:
200,77 |
 |
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
ISBN: 9783642029486 / Angielski / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe advancementofsoftwarequality. Toprovethe 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 exp- tation of discovering bugs. The two techniques seem contradictory: if you have proved your program, it is...
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at E...
|
cena:
200,77 |
 |
Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000 Proceedings
ISBN: 9783540677703 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and...
This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA duri...
|
cena:
401,58 |
 |
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
ISBN: 9783540676645 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000, at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The...
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains th...
|
cena:
200,77 |
 |
Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held as Part of the Joint European Conferences
ISBN: 9783540672579 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess, includingspeci cation, design, implementation, analysis, and improvement. The languages, methodologies,...
ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was establish...
|
cena:
200,77 |
 |
Semantic Techniques for the Web: The REWERSE Perspective
ISBN: 9783642045806 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and...
The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWE...
|
cena:
200,77 |
 |
Computational Intelligence in Complex Decision Systems
ISBN: 9789078677277 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
460,55 |
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
