![]() |
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004, Recife, Brazil, November 23-December
ISBN: 9783540462538 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations, givena speci?cation.Thus, in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of...
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to ...
|
cena:
203,61 |
![]() |
Ubiquitous Computing Systems: Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings
ISBN: 9783540462873 / Angielski / Miękka / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We cordially welcome you to the proceedings of the 2006 International Symposium on Ubiquitous Computing Systems (UCS) held in Seoul, Korea. UCS has been a symposium for dissemination of state-of-the-art research and engineering practices in ubiquitous computing with particular emphasis on systems and software. 2006 UCS was the third of this series of international symposia, and its importance is increasing as information technology industries are recognizing ubiquitous systems to be one of their top priorities. This year the symposium was organized by u-Korea Forum, Su- kyunkwan University,...
We cordially welcome you to the proceedings of the 2006 International Symposium on Ubiquitous Computing Systems (UCS) held in Seoul, Korea. UCS has be...
|
cena:
203,61 |
![]() |
Provenance and Annotation of Data: International Provenance and Annotation Workshop, Ipaw 2006, Chicago, Il, Usa, May 3-5, 2006, Revised Selected Pape
ISBN: 9783540463023 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Provenance is a well understood concept in the study of ?ne art, where it refers to the documented history of an art object. Given that documented history, the objectattains anauthority that allows scholarsto understandand appreciateits importance and context relative to other works. In the absence of such history, art objects may be treated with some skepticism by those who study and view them. Over the last few years, a number of teams have been applying this concept of provenance to data and information generated within computer systems. If the provenance of data produced by computer...
Provenance is a well understood concept in the study of ?ne art, where it refers to the documented history of an art object. Given that documented his...
|
cena:
203,61 |
![]() |
Knowledge-Based Intelligent Information and Engineering Systems: 10th International Conference, Kes 2006, Bournemouth, Uk, October 9-11 2006, Proceedi
ISBN: 9783540465379 / Angielski / Miękka / 1335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Delegates and friends, we are very pleased to extend to you the sincerest of welcomes to this, the 10th International Conference on Knowledge Based and Intelligent Information and Engineering Systems at the Bournemouth International Centre in Bournemouth, UK, brought to you by KES International. This is a special KES conference, as it is the 10th in the series, and as such, it represents an occasion for celebration and an opportunity for reflection. The first KES conference was held in 1997 and was organised by the KES conference founder, Lakhmi Jain. In 1997, 1998 and 1999 the KES...
Delegates and friends, we are very pleased to extend to you the sincerest of welcomes to this, the 10th International Conference on Knowledge Based an...
|
cena:
407,25 |
![]() |
Autonomic Principles of IP Operations and Management: 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, Oct
ISBN: 9783540477013 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), which was held as part of Manweek 2006 rd th in Dublin, Ireland from October 23 to 25, 2006. In line with its reputation as one ofthe pre-eminent venues for the discussion and debate of advances of management of IP networks and services, the 2006 iteration of IPOM brought together an international audience of researchers and practitioners from both industry and academia. The overall theme of Manweek 2006 was Autonomic Component and System Management, with IPOM taking this...
th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), which was held as part of Ma...
|
cena:
203,61 |
![]() |
The Dirac Equation
ISBN: 9783540548836 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ever since its invention in 1929 the Dirac equation has played a fundamental role in various areas of modern physics and mathematics. Its applications are so widespread that a description of all aspects cannot be done with sufficient depth within a single volume. In this book the emphasis is on the role of the Dirac equation in the relativistic quantum mechanics of spin-1/2 particles. We cover the range from the description of a single free particle to the external field problem in quantum electrodynamics. Relativistic quantum mechanics is the historical origin of the Dirac equation and has...
Ever since its invention in 1929 the Dirac equation has played a fundamental role in various areas of modern physics and mathematics. Its applications...
|
cena:
651,63 |
![]() |
Natural Operations in Differential Geometry
ISBN: 9783540562351 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this work is threefold: First it should be a monographical work on natural bundles and natural op erators in differential geometry. This is a field which every differential geometer has met several times, but which is not treated in detail in one place. Let us explain a little, what we mean by naturality. Exterior derivative commutes with the pullback of differential forms. In the background of this statement are the following general concepts. The vector bundle A kT* M is in fact the value of a functor, which associates a bundle over M to each manifold M and a vector bundle...
The aim of this work is threefold: First it should be a monographical work on natural bundles and natural op erators in differential geometry. This is...
|
cena:
488,71 |
![]() |
Communication Complexity and Parallel Computing: The Application of Communication Complexity in Parallel Computing
ISBN: 9783540574590 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The communication complexity of two-party protocols is an only 15 years old complexity measure, but it is already considered to be one of the fundamen- tal complexity measures of recent complexity theory. Similarly to Kolmogorov complexity in the theory of sequential computations, communication complex- ity is used as a method for the study of the complexity of concrete computing problems in parallel information processing. Especially, it is applied to prove lower bounds that say what computer resources (time, hardware, memory size) are necessary to compute the given task. Besides the...
The communication complexity of two-party protocols is an only 15 years old complexity measure, but it is already considered to be one of the fundamen...
|
cena:
203,61 |
![]() |
Lecture Notes in Quantum Chemistry II: European Summer School in Quantum Chemistry
ISBN: 9783540586203 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first volume of Lecture Notes in Quantum Chemistry (Lecture Notes in Chemistry 58, Springer Verlag, Berlin 1992) contained a compilation of selected lectures given at the two first European Summer Schools in Quantum Chemistry (ESQC), held in southern Sweden in August 1989 and 1991, respectively. The notes were written by the teachers at the school and covered a large range of topics in ab initio quantum chemistry. After the third summer school (held in 1993) it was decided to put together a second volume with additional material. Important lecture material was excluded in the first volume...
The first volume of Lecture Notes in Quantum Chemistry (Lecture Notes in Chemistry 58, Springer Verlag, Berlin 1992) contained a compilation of select...
|
cena:
529,44 |
![]() |
Telekommunikationswirtschaft: Deregulierung, Privatisierung Und Internationalisierung
ISBN: 9783540606901 / Niemiecki / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Telekommunikationswirtschaft ist das Nervensystem der modernen Wirtschafts- und Freizeitgesellschaft in Europa. Dieses Buch behandelt die strategische Rolle der Telekommunikation in der Informationsgesellschaft, prasentiert aktuelle internationale Entwicklungen und diskutiert die zentralen Aspekte einer zukunftsweisenden Deregulierungspolitik sowie Liberalisierungsoptionen in Deutschland und den EU-Partnerlandern. Privatisierungsaspekte, das Phanomen internationaler Allianzen und langfristige Internationalisierungstendenzen werden in ihren wirtschaftlichen Bedeutungen analysiert."
Die Telekommunikationswirtschaft ist das Nervensystem der modernen Wirtschafts- und Freizeitgesellschaft in Europa. Dieses Buch behandelt die strategi...
|
cena:
395,79 |
![]() |
Objektorientierte Systemanalyse: Eine Einführung
ISBN: 9783540607267 / Niemiecki / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Eine durch zahlreiche Beispiele veranschaulichte Einfuhrung in die objektorientierte Systemanalyse liegt mit diesem Buch vor. Dem Leser werden die Grundlagen der Objektorientierung im einleitenden Teil des Buches erlautert. Anhand vielfaltiger Beispiele und einer Fallstudie wird der von den Autoren gewahlte Ansatz praxisorientiert dargestellt. Weitere Schwerpunkte bilden eine Darstellung des Ubergangs von der Analyse- in die Designphase, sowie Uberblicke uber die Einsatzmoglichkeiten objektorientierter Entwurfsmuster und die heute verfugbare Computerunterstutzung."
Eine durch zahlreiche Beispiele veranschaulichte Einfuhrung in die objektorientierte Systemanalyse liegt mit diesem Buch vor. Dem Leser werden die Gru...
|
cena:
75,96 |
![]() |
Wissensbasierte Diagnose- Und Informationssysteme: Mit Anwendungen Des Expertensystem-Shell-Baukastens D3
ISBN: 9783540613695 / Niemiecki / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Moderne Diagnosesysteme sollen nicht nur zu einer Problemstellung eine L sung liefern, sondern auch als intelligente Informations- und Trainingssysteme alles Wissen bereitstellen, das in der Einsatzumgebung ben tigt wird. Dazu geh ren u.a. formalisiertes heuristisches, kausales und fallbasiertes Probleml sungswissen, informelles Zusatzwissen, multimediale Illustrationen, Fallsammlungen und statistische Auswertungen.
Dieses Buch vermittelt die erforderlichen theoretischen Konzepte hierf r und konkretisiert sie so weit, da der Leser insbesondere in medizinischen, technischen und... Moderne Diagnosesysteme sollen nicht nur zu einer Problemstellung eine L sung liefern, sondern auch als intelligente Informations- und Trainingssystem...
|
cena:
133,18 |
![]() |
Die Reduktion Physikalischer Theorien: Ein Beitrag Zur Einheit Der Physik
ISBN: 9783540616351 / Niemiecki / Twarda / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Autor prasentiert eine neue Theorie der Reduktion physikalischer Theorien, die durch einfache Beispiele aus der Physik erlautert wird. Neuartig daran ist, dass sie nicht einen ein fur alle Mal verbindlichen, allgemeinen Reduktionsbegriff zugrunde legt, sondern einen auf der Hintereinanderschaltung von Reduktionen rekursiven Aufbau gibt, bei dem alle Reduktionen als Kombinationen moglichst spezieller elementarer Reduktionen erscheinen. Die Theorienreduktion aus dem Bereich der Relativitatstheorie, der Quantentheorie und der Thermodynamik wird in einem Folgeband behandelt. Dieses...
Der Autor prasentiert eine neue Theorie der Reduktion physikalischer Theorien, die durch einfache Beispiele aus der Physik erlautert wird. Neuartig da...
|
cena:
266,42 |
![]() |
Network Optimization
ISBN: 9783540625414 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Network optimization is important in the modeling of problems and processes from such fields as engineering, computer science, operations research, transportation, telecommunication, decision support systems, manufacturing, and airline scheduling. Recent advances in data structures, computer technology, and algorithm development have made it possible to solve classes of network optimization problems that until recently were intractable. The refereed papers in this volume reflect the interdisciplinary efforts of a large group of scientists from academia and industry to model and solve...
Network optimization is important in the modeling of problems and processes from such fields as engineering, computer science, operations research, tr...
|
cena:
407,25 |
![]() |
From Databases to Hypermedia: With 26 Cai Lessons [With For Windows]
ISBN: 9783540637547 / Angielski / Miękka / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The number ofbooks on databases is very large. Thus, our decision to yet add another book to the body of literature requires some justification. However, even a cursory glance through this book will show that we have taken a rather different approach indeed when compared to monographs on databases. First, material ties together the well-known relational model with the newer and not yet as solidly established object oriented one and leads to data models for hypermedia system. This is unique and timely: the chaos on the World Wide Web is getting out of hand, and one ofthe main reasons is that...
The number ofbooks on databases is very large. Thus, our decision to yet add another book to the body of literature requires some justification. Howev...
|
cena:
272,09 |
![]() |
Trends in Distributed Systems for Electronic Commerce: International IFIP/GI Working Conference, TREC'98, Hamburg, Germany, June 3-5, 1998, Proceedings
ISBN: 9783540645641 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Trends in Electronic Commerce, TREC'98, held in Hamburg, Germany, in June 1998.
The book presents 19 revised full papers selected from a total of 75 submissions. While focussing mainly on technological issues, the book also takes into account important social, administrative, regulatory, and legal aspects. The papers are organized in sections on business over the Internet, security and payment, middleware and brokerage, interorganisational workflow management, and agent technology. This book constitutes the refereed proceedings of the International Conference on Trends in Electronic Commerce, TREC'98, held in Hamburg, Germany, in...
|
cena:
272,09 |
![]() |
Computer Security - Esorics 98: 5th European Symposium on Research in Computer Security, Louvain-La-Neuve, Belgium, September 16-18, 1998, Proceedings
ISBN: 9783540650041 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th European Symposium on Research in Computer Security, ESORICS 98, held in Louvain-la-Neuve, Belgium, in September 1998.
The 24 revised full papers presented were carefully reviewed and selected from a total of 57 submissions. The papers provide current results from research and development in design and specification of security policies, access control modelling and protocol analysis, mobile systems and anonymity, Java and mobile code, watermarking, intrusion detection and prevention, and specific threads. This book constitutes the refereed proceedings of the 5th European Symposium on Research in Computer Security, ESORICS 98, held in Louvain-la-Neuve, B...
|
cena:
203,61 |
![]() |
Die Reduktion Physikalischer Theorien: Ein Beitrag Zur Einheit Der Physik
ISBN: 9783540650096 / Niemiecki / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Autor prasentiert eine neue Theorie der Reduktion physikalischer Theorien, die nicht einen ein fur alle Mal verbindlichen, allgemeinen Reduktionsbegriff zugrunde legt, sondern einen auf der Hintereinanderschaltung von Reduktionen rekursiven Aufbau gibt, bei dem alle Reduktionen als Kombinationen moglichst spezieller elementarer Reduktionen erscheinen. Dieser 2. Band zeigt die Tragweite des Konzepts an konkreten Beispielen aus der Physik: Spezielle und Allgemeine Relativitatstheorie, Quantenmechanik. Dem schwierigen Begriff der Mikroreduktion ist ein eigenes Kapitel gewidmet, das auch die...
Der Autor prasentiert eine neue Theorie der Reduktion physikalischer Theorien, die nicht einen ein fur alle Mal verbindlichen, allgemeinen Reduktionsb...
|
cena:
418,66 |
![]() |
Quantum Future: From Volta and Como to Present and Beyond. Proceedings of Xth Max Born Symposium Held in Przesieka, Poland, 24-27 September 1997
ISBN: 9783540652182 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents detailed discussions of a number of unsolved conceptual and technical issues arising, in particular, in the foundations of quantum theory and the philosophy of science. The 14 contributions capture a wide variety of viewpoints and backgrounds. Some chapters deal primarily with the main experimental issues; others focus on theoretical and philosophical questions. In addition, attempts are made to systematically analyze ways in which quantum physics can be connected to the neurosciences and consciousness research.
This volume presents detailed discussions of a number of unsolved conceptual and technical issues arising, in particular, in the foundations of quantu...
|
cena:
203,61 |
![]() |
Adaptive Learning by Genetic Algorithms: Analytical Results and Applications to Economic Models
ISBN: 9783540656074 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book deals with the learning behavior of boundedly rational agents in economic systems. In particular, the modeling of learning populations by genetic algorithms is studied in detail. After an extensive review and discussion of the existing literature in the first part, a mathematical analysis of the dynamic properties of genetic algorithm learning in the general framework of systems with a state dependent fitness function is provided. It is shown that co-evolutionary economic models typically fall into this class and the usefulness of the analytical results derived is illustrated in...
This book deals with the learning behavior of boundedly rational agents in economic systems. In particular, the modeling of learning populations by ge...
|
cena:
407,25 |