» książki » Mathematics - Logic
topmenu
 |
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540787907 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in March 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 17 revised full papers presented together with two invited papers and one tool demonstration were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
This book constitutes the refereed proceedings of the 17th International Conference on Compiler Construction, CC 2008, held in Budapest, Hungary, in M...
|
cena:
201,24 |
 |
Ingredients for Successful System Level Design Methodology
ISBN: 9781402084713 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ESL or Electronic System Level is a buzz word these days, in the electronic design automation (EDA) industry, in design houses, and in the academia. Even though numerous trade magazine articles have been written, quite a few books have been published that have attempted to de?ne ESL, it is still not clear what exactly it entails. However, what seems clear to every one is that the Register Transfer Level (RTL) languages are not adequate any more to be the design entry point for today s and tomorrow s complex electronic system design. There are multiple reasons for such thoughts. First, the c-...
ESL or Electronic System Level is a buzz word these days, in the electronic design automation (EDA) industry, in design houses, and in the academia. E...
|
cena:
402,53 |
 |
Advances in Geometric Modeling and Processing: 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings
ISBN: 9783540792451 / Angielski / Miękka / 606 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Geometric Modeling and Processing, GMP 2008, held in Hangzhou, China, in April 2008. The 34 revised full papers and 17 revised short papers presented were carefully reviewed and selected from a total of 113 submissions. The papers cover a wide spectrum in the area of geometric modeling and processing and address topics such as curves and surfaces, digital geometry processing, geometric feature modeling and recognition, geometric constraint solving, geometric optimization, multiresolution modeling, and...
This book constitutes the refereed proceedings of the 5th International Conference on Geometric Modeling and Processing, GMP 2008, held in Hangzhou, C...
|
cena:
402,53 |
 |
Modalities and Multimodalities
ISBN: 9781402085895 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a...
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone ...
|
cena:
603,81 |
 |
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
ISBN: 9783540680840 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held during May 2-5, 2007 in Cividale del Friuli (Udine), Italy. The topic of this workshop was formal reasoning and computer progr- ming basedon type theory: languagesand computerized toolsfor reasoning, and applications in several domains such as analysis of programming languages, c- ti?ed software, formalization of mathematics and mathematics education. The workshopwasattended by morethan 100researchersandincluded morethan 40...
These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), whi...
|
cena:
201,24 |
 |
Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings
ISBN: 9783540797203 / Angielski / Miękka / 765 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Knowledge Technology (RSKT 2008) held in Chengdu, P. R. China, May 16-19, 2008. The RSKT conferences were initiated in 2006 in Chongqing, P. R. China. RSKT 2007 was held in Toronto, Canada, together with RSFDGrC 2007, as JRS 2007. The RSKT conferences aim to present state-of-the-art scienti?c - sults, encourage academic and industrial interaction, and promote collaborative research in rough sets and knowledge technology worldwide. They place emphasis on exploring synergies between...
This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Knowledge Technology (RSKT 2008) hel...
|
cena:
402,53 |
 |
Formally P-Adic Fields
ISBN: 9783540128908 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
 |
Fractals and Hyperspaces
ISBN: 9783540549659 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed for all researchers with an interest in fractals, hyperspaces, fixed-point theory, tilings and nonstandard analysis, this text introduces the "view" as part of a framework for studying the structure of sets within a given space, leading to concepts of fractality and self-similarity.
Designed for all researchers with an interest in fractals, hyperspaces, fixed-point theory, tilings and nonstandard analysis, this text introduces the...
|
cena:
100,44 |
 |
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
ISBN: 9783540699361 / Angielski / Miękka / 313 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in... Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subl... |
cena:
281,76 |
 |
Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
ISBN: 9783540705437 / Angielski / Miękka / 558 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification,...
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, U...
|
cena:
402,53 |
 |
Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, Jul
ISBN: 9783540705956 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice...
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in ...
|
cena:
201,24 |
 |
Implementation and Applications of Automata: 13th International Conference, Ciaa 2008, San Francisco, California, Usa, July 21-24, 2008, Proceedings
ISBN: 9783540708438 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21 24, 2008. This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2008, as well as the abstracts of the poster papers that were displayed during the conference. The volume also includes the - per/extended abstract of the four invited talks presented by Markus Holzer, Kai Salomaa, Mihalis Yannakakis, and Hsu-Chun Yen. The 24 regular papers were selected from 40 submissions covering various topics...
The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco,...
|
cena:
201,24 |
 |
Galois Theories
ISBN: 9780521070416 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context. The authors first formalize the categorical context in which a general Galois theorem holds, and then give applications to Galois theory for commutative rings, central extensions of groups, the topological theory of covering maps and a Galois theorem for toposes. The book is designed to be accessible to a wide audience, the prerequisites are first courses in algebra and general topology, together with some familiarity with the categorical notions of limit...
Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context. The authors f...
|
cena:
408,12 |
 |
Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
ISBN: 9783540201441 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged, washeld between September 29 and October 1, 2003 in Szeged, Hungary. ILP 2003 was co-located with the Kalm ar Workshop on Logic and Computer Science devoted to the workofL aszloKalm arandto recentresultsinlogicandcomputerscience. This volume contains all full papers presented at ILP 2003, together with the abstracts of the invited lectures by Ross D. King (University of Wales, Aber- twyth) and John W. Lloyd (Australian National University, Canberra). TheILP...
The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged, washeld between Se...
|
cena:
201,24 |
 |
Neural-Symbolic Cognitive Reasoning
ISBN: 9783540732457 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it? The authors address this question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This book is the first to offer a self-contained presentation of neural network models... Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artif... |
cena:
322,01 |
 |
Logic and the Foundations of Game and Decision Theory (Loft 7)
ISBN: 9789089640260 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.
This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at t...
|
cena:
230,14 |
 |
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings
ISBN: 9783540859277 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 18th International Conference on Inductive Logic Programming was held in Prague, September 10-12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics...
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10-12, 2008. ILP returned to Prague after 11 years, and...
|
cena:
201,24 |
 |
Logics in Artificial Intelligence: 11th European Conference, Jelia 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
ISBN: 9783540878025 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eennes sur la Logique en Intelligence Arti?cielle, JELIA), which was held from September 28 to October 1, 2008, at the Technische Universit] at Dresden, Germany. In total, 98 researchpapers were submitted by researchersfrom 24 countries. Each submission was reviewed by at least three expert reviewers. The ?nal de- sionsonthepapersweretakenduringanelectronicProgramCommitteemeeting held on the Internet. The Program Committee accepted 32 research...
This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eenn...
|
cena:
201,24 |
 |
Learning Classifier Systems: 10th International Workshop, Iwlcs 2006, Seattle, Ma, Usa, July 8, 2006, and 11th International Workshop, Iwlcs 2007,
ISBN: 9783540881377 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO. The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledge representation, analysis of the system, mechanisms, new directions, as well as applications.
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Syst...
|
cena:
201,24 |
 |
Advances in Artificial Intelligence - Sbia 2008: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008
ISBN: 9783540881896 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. The 27 revised full papers presented together with 3 invited lectures and 3 tutorials were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning, machine learning and data mining, natural language processing, and robotics.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in Oct...
|
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
