ilość książek w kategorii: 10297
![]() |
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
ISBN: 9783540559306 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities, research institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between...
Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of us...
|
cena:
193,63 zł |
![]() |
Compiler Construction: 4th International Conference, CC '92, Paderborn, Frg, October 5-7, 1992. Proceedings
ISBN: 9783540559849 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the area of compiler construction. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements of languages and target architectures. This volume contains the papers selected for presentation at the 4th International Workshop on Compiler Construction, CC '92, held in Paderborn, Germany, October 5-7, 1992. The papers present recent developments on such topics as structural and semantic analysis, code generation and...
The International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the area of compiler...
|
cena:
193,63 zł |
![]() |
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings
ISBN: 9783540563204 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in information technology who are particularly active in the field covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: parallel processing, databases, networks, and...
This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th ann...
|
cena:
193,63 zł |
![]() |
Spatio-Temporal Image Processing: Theory and Scientific Applications
ISBN: 9783540574187 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Image sequence processing is becoming a tremendous tool for analyzing spatio-temporal data in all areas of natural science. It is the key to studying the dynamics of complex scientific phenomena. Methods from computer science and the field of application are merged, establishing new interdisciplinary research areas.
Image sequence processing is becoming a tremendous tool for analyzing spatio-temporal data in all areas of natural science. It is the key to studying ...
|
cena:
193,63 zł |
![]() |
Collective Robotics: First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings
ISBN: 9783540647683 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1998 conference in Paris, France, in July 1998.
The 13 revised full papers presented in the book were selected during a vigorous reviewing process. The book brings together research in distributed artificial intelligence and intelligent robotics. Among the topics addressed are multi-agent collaboration, collective learning, self-organization, artificial life, simulation, mobile robots, robot soccer, human-robot cooperation, etc. This book constitutes the refereed proceedings of the First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1...
|
cena:
193,63 zł |
![]() |
Micro-Assembly Technologies and Applications: Ifip Tc5 Wg5.5 Fourth International Precision Assembly Seminar (Ipas'2008) Chamonix, France, February 10
ISBN: 9780387774022 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Micro-assembly is a key enabling technology for cost effective manufacture of new generations of complex micro products. It is also a critical technology for retaining mdustrial capabilities in high labour cost areas such as Europe since up to 80% of the production cost in some industries is attributed directly to assembly processes. With the continuous trend for product miniaturisation, the scientific and technologi- cal developments in micro-assembly are expected to have a significant long-term economic, demographic and social impact. A distinctive feature of the process is that surface...
Micro-assembly is a key enabling technology for cost effective manufacture of new generations of complex micro products. It is also a critical technol...
|
cena:
387,30 zł |
![]() |
Logical and Relational Learning
ISBN: 9783540200406 / Angielski / Twarda / 387 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Iusethetermlogicalandrelationallearning torefertothesub?eldofarti?cial intelligence, machinelearninganddataminingthatisconcernedwithlearning in expressive logical or relational representations. It is the union of inductive logic programming, (statistical) relational learning and multi-relational data mining, which all have contributed techniques for learning from data in re- tional form. Even though some early contributions to logical and relational learning are about forty years old now, it was only with the advent of - ductive logic programming in the early 1990s that the ?eld became...
Iusethetermlogicalandrelationallearning torefertothesub?eldofarti?cial intelligence, machinelearninganddataminingthatisconcernedwithlearning in expres...
|
cena:
193,63 zł |
![]() |
Trusted Computing Systeme: Konzepte Und Anforderungen
ISBN: 9783540764090 / Niemiecki / Twarda / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Begriff Trusted Computing umschreibt eine Reihe neuer Ansatze zur Verbesserung der Computersicherheit durch den Aufbau von Computersystemen aus vertrauenswurdigen Hardware- und Softwarekomponenten. Das Buch liefert erstmals einen umfassenden Uberblick uber die unterschiedlichen Konzepte des Trusted Computing und ermoglicht dadurch einen einfachen Einstieg in das komplexe Thema. Verfugbare Umsetzungen verschiedener Trusted-Computing-Konzepte sowie deren Probleme und Grenzen werden aufbauend auf die Grundlagen dargestellt. Uber die Beschreibung des Trusted Platform Modules (TPM)... Der Begriff Trusted Computing umschreibt eine Reihe neuer Ansatze zur Verbesserung der Computersicherheit durch den Aufbau von Computersystemen aus... |
cena:
108,57 zł |
![]() |
Principles of Distributed Systems: 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings
ISBN: 9783540770954 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guadeloupe, French West Indies, in December 2007. The 32 revised full papers presented were carefully reviewed and selected from 106 submissions. The papers address all current issues in theory, specification, design and implementation of distributed and embedded systems. A broad range of topics are addressed. This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guad... |
cena:
193,63 zł |
![]() |
Harnessing Hibernate: Step-By-Step Guide to Java Persistence
ISBN: 9780596517724 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Harnessing Hibernate is an ideal introduction to the popular framework that lets Java developers work with information from a relational database easily and efficiently. Databases are a very different world than Java objects, and they often involve people with different skills and specializations. With Hibernate, bridging these two worlds is significantly easier, and with this book, you can get up to speed with Hibernate quickly. Harnessing Hibernate is an ideal introduction to the popular framework that lets Java developers work with information from a relational d... |
cena:
169,64 zł |
![]() |
Research and Advanced Technology for Digital Libraries: First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings
ISBN: 9783540635543 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries held in Pisa, Italy, in September 1997.
The volume presents 23 revised full papers selected from 77 submissions. Also included are two invited contributions. The papers are organized in topical sections on supporting user interfaces, metadata, information retrieval, DL architectures, multilingual information retrieval, structured documents, and case studies. This book constitutes the refereed proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries held in Pisa...
|
cena:
193,63 zł |
![]() |
Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings
ISBN: 9783540650140 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled Data-flow analysis as model checking of abstract interpretations.
This text constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. ...
|
cena:
193,63 zł |
![]() |
Ecoop '99 - Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings
ISBN: 9783540661566 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. My tailor is Object-Oriented." Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO ?avors. The range of areas where OO can be viewed as a must-have" feature seems to be as large as the number of elds in computer science. If we stick to one of the original views of OO, that is, to create cost-e ective software solutions through modeling ph- ical abstractions, the application of OO to any eld of computer science does indeed make sense. There are OO programming...
My tailor is Object-Oriented." Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that...
|
cena:
193,63 zł |
![]() |
The Unified Modeling Language. <
ISBN: 9783540662525 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains mainly the revised versions of papers presented at the wo- shop '98, "Beyond the Notation," that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have made this possible, and particularly all the people in Mulhouse that worked hard to make this meeting a success, with such a short delay between the announcement and the realization. We are specially grateful to Nathalie Gaertner, who put in a tremendous amount of effort in the initial preparation of the workshop. We were pleasantly surprised of the quality of the submitted material and of the level...
This volume contains mainly the revised versions of papers presented at the wo- shop '98, "Beyond the Notation," that took place in Mulhouse, France o...
|
cena:
193,63 zł |
![]() |
Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings
ISBN: 9783540662815 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99, held in Valencia, Spain in June/July 1999.
The 18 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on engineering aspects of multi-agent systems, multi-agent systems frameworks, languages and protocols, negotiation and cooperation, and formal methods. This book constitutes the refereed proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99, held in ...
|
cena:
193,63 zł |
![]() |
JavaScript: The Good Parts
ISBN: 9780596517748 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most programming languages contain good and bad parts, but JavaScript has more than its share of the bad, having been developed and released in a hurry before it could be refined. This authoritative book scrapes away these bad features to reveal a subset of JavaScript that's more reliable, readable, and maintainable than the language as a whole--a subset you can use to create truly extensible and efficient code. Considered the JavaScript expert by many people in the development community, author Douglas Crockford identifies the abundance of good ideas that make JavaScript an... Most programming languages contain good and bad parts, but JavaScript has more than its share of the bad, having been developed and released in a h... |
cena:
127,22 zł |
![]() |
Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings
ISBN: 9783540619376 / Angielski / Miękka / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing. This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Pa...
|
cena:
193,63 zł |
![]() |
Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
ISBN: 9783540650706 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy, not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal...
1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted...
|
cena:
193,63 zł |
![]() |
Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
ISBN: 9783540649878 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed. This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Can...
|
cena:
193,63 zł |
![]() |
Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
ISBN: 9783540222538 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web,...
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work...
|
cena:
193,63 zł |