Springer berlin heidelberg dez 2002 (83 risultati)
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2002, 2002
- Rilegato
- Prima edizione
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 246,09
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware -I have been asked to write a foreword to the next edition of the Vademecum of Clinical Bio chemistry renamed to Differential Diagnosis by Laboratory Medicine. The Editor in-Chief, Professor Dusan Mesko, conceived the idea of the Vademecum during a very intensely, in tellectually active period as a… visiting Olga Havel Fellow from Slovak Republic at the Mayo Clinic in Rochester. It was here during his study stay that much of the conceptual planning and detailed realization was being completed. It was with much interest that I observed Professor Mesko in his effort, and I know while here he has gained admiration of those who had the privilege of interacting with him. When the first edition of the Vademecum ap peared and we received the copy for the Mayo Library and for myself, I was overcome with a genuine sense of joy. In this era of rapid information and the need to access usable infor mation book such as this cannot be but judged extremely useful. It is my hope that this work, which attests to the thoroughness of Professor Mesko's and his co-workers efforts will prove to be fruitful for the students quick reference, for clinicans and house officers lightening of burdens, particularly of on-call nights, and for the teaching staff as well to quickly access needed information. With these sentiments, we wish the authors and the book well and also hope that the potential widening circle of readers and users will benefit from the work pre sented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1132 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,05
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Domain decomposition methods are a well established tool for an efficient numerical solution of partial differential equations, in particular for the coupling of different model equations and of different discretization methods. Ba…sed on the approximate solution of local boundary value problems either by finite or boundary element methods, the global problem is reduced to an operator equation on the skeleton of the domain decomposition. Different variational formulations then lead to hybrid domain decomposition methods. 132 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,40
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Two basic problems of representation theory are to classify irreducible representations and decompose representations occuring naturally in some other context. Algebras of Iwahori-Hecke type are one of the tools and were, probably,… first considered in the context of representation theory of finite groups of Lie type. This volumeconsists of notes of the courses on Iwahori-Hecke algebras and their representation theory, given during the CIME summer school which took place in 1999 in Martina Franca, Italy. 128 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,40
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Symmetries and invariance principles play an important role in various branches of mathematics. This book deals with measures having weak symmetry properties. Even mild conditions ensure that all invariant Borel measures on a secon…d countable locally compact space can be expressed as images of specific product measures under a fixed mapping. The results derived in this book are interesting for their own and, moreover, a number of carefully investigated examples underline and illustrate their usefulness and applicability for integration problems, stochastic simulations and statistical applications. 184 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,40
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The text contains for the first time in book form the state of the art of homological methods in functional analysis like characterizations of the vanishing of the derived projective limit functor or the functors Ext1 (E, F) for Fr…échet and more general spaces. The researcher in real and complex analysis finds powerful tools to solve surjectivity problems e.g. on spaces of distributions or to characterize the existence of solution operators.The requirements from homological algebra are minimized: all one needs is summarized on a few pages. The answers to several questions of V.P. Palamodov who invented homological methods in analysis also show the limits of the program. 148 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Speech recognition technology is being increasingly employed in human-machine interfaces. A remaining problem however is the robustness of this technology to non-native accents, which still cause considerable difficulties for curre…nt systems.In this book, methods to overcome this problem are described. A speaker adaptation algorithm that is capable of adapting to the current speaker with just a few words of speaker-specific data based on the MLLR principle is developed and combined with confidence measures that focus on phone durations as well as on acoustic features. Furthermore, a specific pronunciation modelling technique thatallows the automatic derivation of non-native pronunciations without using non-native data is described and combined with the previous techniques to produce a robust adaptation to non-native accents in an automatic speech recognition system. 164 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The workshop on Applications of Natural Language to Information Systems (NLDB)hassince1995providedaforumforacademicandindustrialresearchers and practitioners to discuss the application of natural language to both the development an…d use of software applications. Theuseofnaturallanguageinrelationtosoftwarehascontributedtoimpr- ing the development of software from the viewpoints of both the developers and the users. Developers bene t from improvements in conceptual modeling, so- ware validation, natural language program speci cations, and many other areas. Users bene t from increased usability of applications through natural language query interfaces, semantic webs, text summarizations, etc. The integration of natural language and information systems has been a - search objective for a long time now. Today, the goal of good integration seems not so far-fetched. This is due mainly to the rapid progress of research in natural language and to the development of new and powerful technologies. The in- gration of natural language and information systems has become a convergent point towards which many researchers from several research areas are focussing. 256 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Robotic agents, such as autonomous office couriers or robot tourguides, must be both reliable and efficient. Thus, they have to flexibly interleave their tasks, exploit opportunities, quickly plan their course of action, and, if ne…cessary, revise their intended activities.This book makes three major contributions to improving the capabilities of robotic agents:- first, a plan representation method is introduced which allows for specifying flexible andreliable behavior - second, probabilistic hybrid action models are presented as a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans - third, the system XFRMLEARN capable of learning structured symbolic navigation plans is described in detail. 208 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Despite being a young field of research and development, data mining has proved to be a successful approach to extracting knowledge from huge collections of structured digital data collection as usually stored in databases. Whereas… data mining was done in early days primarily on numerical data, nowadays multimedia and Internet applications drive the need to develop data mining methods and techniques that can work on all kinds of data such as documents, images, and signals.This book introduces the basic concepts of mining multimedia data and demonstrates how to apply these methods in various application fields. It is written for students, ambitioned professionals from industry and medicine, and for scientists who want to contribute R&D work to the field or apply this new technology. 148 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Dez 2002, 2002
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents mathematical models that arise in current photographic science. The book contains seventeen chapters, each dealing with one area of photographic science, and a final chapter containing exercises. Each chapter, except th…e two introductory chapters, begin with general background information at a level understandable by graduate and undergraduate students. It then proceeds to develop a mathematical model, using mathematical tools such as ordinary differential equations, partial differential equations, and stochastic processes. Next, some mathematical results are mentioned, often providing a partial solution to problems raised by the model. Finally, most chapters include open problems. The last chapter of the book contains 'Modeling and Applied Mathematics' exercises based on the material presented in the earlier chapters. These exercises are intended primarily for graduate students and advanced undergraduates. 196 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research p…apers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation. 492 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Dez 2002, 2002
Serie: Libro 11 di 111 - Lecture Notes in Computational Science and Engineering
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last decade enormous progress has been achieved in the field of computational fluid dynamics. This became possible by the development of robust and high-order accurate numerical algorithms as well as the construc tion of… enhanced computer hardware, e. g. , parallel and vector architectures, workstation clusters. All these improvements allow the numerical simulation of real world problems arising for instance in automotive and aviation indus try. Nowadays numerical simulations may be considered as an indispensable tool in the design of engineering devices complementing or avoiding expen sive experiments. In order to obtain qualitatively as well as quantitatively reliable results the complexity of the applications continuously increases due to the demand of resolving more details of the real world configuration as well as taking better physical models into account, e. g. , turbulence, real gas or aeroelasticity. Although the speed and memory of computer hardware are currently doubled approximately every 18 months according to Moore's law, this will not be sufficient to cope with the increasing complexity required by uniform discretizations. The future task will be to optimize the utilization of the available re sources. Therefore new numerical algorithms have to be developed with a computational complexity that can be termed nearly optimal in the sense that storage and computational expense remain proportional to the 'inher ent complexity' (a term that will be made clearer later) problem. This leads to adaptive concepts which correspond in a natural way to unstructured grids. 204 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The workshop on an Infrastructure for Mobile and Wireless Systems was held in Scottsdale, Arizona on October 15, 2001 and was funded by the National Science Foundation (NSF) and sponsored by the Telecommunications and Information T…echnology Institute of the College of Engineering at Florida International U- versity (FIU), to establish a common infrastructure for the discipline of mobile and wireless networking, and to serve its rapidly emerging mobile and wireless community of researchers and practitioners. The workshop provides a single, cohesive, and high-quality forum for disseminating research and experience in this emerging eld. Of signi cance is the integration of many diverse com- nities. The areas of mobile and wireless networking combine the best of both worlds, namely academia and industry. The objective of the workshop is to - ne and establish a common infrastructure of the discipline and to develop a consensus-based document that will provide a foundation for implementation, standardization, and further research. Workshop Program Chairs Dr. Birgitta K onig-Ries (Universit at Karlsruhe), and Dr. Peter Scheuermann (Northwestern University) and Vice Program Chair Dr. S. A. M. Makki (Queensland University of Technology), assembled a truly - pressive program committee. Together with the program committee, they worked diligently to select papers and speakers that met the criteria of high quality and relevance to our various elds of interest. It takes time and e ort to review a - per carefully, and every member of the program committee is to be commended for his/her contribution to the success of this workshop. 200 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13 14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003).…We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from boththefunctionalandlogicprogrammingcommunities.Ofthe57submissions, 25werefunctionaland32werelogical,withsomenotableoverlaps. The program committee was divided on the approach to take to the con- rence.Thosefromthelogicprogrammingcommunitypreferredtohaveparallel sessionsinordertoacceptmorepapers,thosefromthefunctionalprogramming communitypreferredtoavoidparallelsessionsthoughitmeantacceptingfewer papers. We decided to nd strength in diversity, and experiment with taking both paths. We accepted 8 papers on functional programming, each presented initsownslot,and15papersonlogicprogramming,10ofwhicharepresentedin parallelsessions.Wefeltthatpapersfrombothcommunitieswerecomparablein quality.Theratioof4hoursoffunctionaltalksto5hoursoflogictalksmatches theratioofsubmissions. WhilemostpaperssubmittedtoPADLaretraditionalresearchpapers,some weresubmittedasApplicationLettersorDeclarativePearls.Traditionalpapers maybejudgedonwhethertheypresentacrispnewresearchresult;Application Lettersmaybejudgedaccordingtotheinterestintheapplicationandthenovel useofdeclarativelanguages;andDeclarativePearlsmaybejudgedaccordingto theeleganceofthedevelopmentandtheclarityoftheexpression. This year PADL instituted a Most Practical paper award, for the paper that best exempli ed the goals of PADL. The award went to Data mining the yeast genome in a lazy functional language , Amanda Clare and Ross D. King,UniversityofWales,Aberystwyth,whichdescribesareal-wordapplication runningonmultiprocessors,drawingontechniquesfromboththefunctionaland logicprogrammingcommunities. Special thanks are due: to Shriram Krishnamurthi, Dave Tucker, and Paul Graunke of Brown University, for running the website of the PADL submission andreviewprocess(seeKrishnamurthi sinvitedtalkinthisvolume);toMartina SharpofAvayaLabsandKimberlyVollofSimonFraserUniversity,forhelpwith preparingthisvolume;andtoGopalGuptaoftheUniversityofTexasatDallas, for serving as general chair. We thank Avaya Labs, Brown University, Simon FraserUniversity,Universit edeProvence,andtheUniversityofTexasatDallas fortheirsupport. Ourthankstotheprogramcommitteemembersandrefereesfortheirrev- wingandfortheiradvice.Finally,ourthankstoallthosewhosubmittedpapers toorparticipatedinPADL2003. 424 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2002, held in Bologna, Italy in July 2002 during the AAMAS 2002 conference.The 20 revised…full papers presented together with an introductory survey by the volume editors were carefully selected and improved during two rounds of reviewing and revision. The book gives a unique overview of the state of the art of designing mechanisms and systems for agent-mediated e-commerce- The papers are organized in topical sections on electronic auctions, negotiations, and electronic markets. 364 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 28th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2002) was held in Cesky Krumlov, a beautiful small town in the southern part of the Czech Republic on the river Vltava (Moldau), June 13-15, 2002.…The workshop was organized by the Department of Applied Mathematics of the Faculty of Mathematics and Physics of Charles University in Prague. Since 1975, WG has taken place in Germany 20 times, twice in Austria and The Netherlands, and once in Italy, Slovakia, and Switzerland. As in previous years, the workshop aimed at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications.The workshop was devoted to the theoretical and practical aspects of graph concepts in computer science, and its contributed talks showed how recent research results from algorithmic graph theory can be used in computer science and which graph-theoretic questions arise from new developments in computer science. Altogether 61 research papers were submitted and reviewed by the program committee. The program committee represented the wide scienti c spectrum, and in a careful reviewing process with four reports per submission it selected 36papersforpresentationattheworkshop.Thereferees'commentsaswellasthe numerous fruitful discussions during the workshop have been taken into account by the authors of these conference proceedings. 440 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Distributed Computing, IWDC 2002, held in Calcutta, India, in December 2002.The 31 revised full papers and 3 student papers presented together with… 3 keynote papers were carefully reviewed and selected from more than 90 submissions. The papers are organized in topical sections on Web caching, distributed computing, wireless networks, wireless mobile systems, VLSI and parallel systems, optical networks, and distributed systems. 372 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume collects the papers presented at ICDT 2003, the 9th International ConferenceonDatabaseTheory,heldfrom8to10January2003intheRettorato dell Universit` a di Siena, Siena, Italy. ICDT has now a long t- dition of internationa…l conferences, providing a biennial scienti c forum for the communicationofhigh-qualityresearchresultsontheoreticalaspectsofallforms of database systems and database technology. ICDT is traditionally held in - storic European locations: Rome in 1986, Bruges in 1988, Paris in 1990, Berlin in 1992, Prague in 1995, Delphi in 1997, Jerusalem in 1999, and London in 2001. ICDThasmergedwiththeSymposiumonMathematicalFundamentalsofDa- base Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. This volume contains 26 papers selected from 92 submissions, plus three invited papers by Hector Garcia-Molina, Yannis Ioannidis, and Limsoon Wong. We wish to thank all the authors who submitted papers, the members of the program committee for their e orts in reviewing and selecting the papers, the external referees, the organizing committee, and the sponsors for their support. Diego Calvanese Maurizio Lenzerini Rajeev Motwani Organization ICDT 2003 was organized by the Dipartimento di Informatica e Sistemistica, Universit` a di Roma La Sapienza . 472 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances. Perhaps the most important lesson in this… process is that designing an algorithm is but the first step in the process of developing robust and efficient software for applications.Based on a seminar held at Dagstuhl Castle, Germany in September 2000, this state-of-the-art survey presents acoherent survey of the work done in the area so far. The 11 carefully reviewed chapters provide complete coverage of all current topics in experimental algorithmics. 304 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The third successful completion of the INDOCRYPT conference series marks the acceptance of the series by the international research community as a forum for presenting high-quality research.It also marks the coming of age of crypto…logy research in India. The authors for the submitted papers were spread across 21 countries and 4 continents, which goes a long way to demonstrate the international interest and visibility of INDOCRYPT.In the previous two conferences, the submissions from India originated from only two institutes; this increased to six for the 2002 conference.Thus INDOCRYPT is well set on the path to achieving two main ob jectives - to provide an international platform for presenting high-quality research and to stimulate cryptology research in India. The opportunity to serve as a program co-chair for the third INDOCRYPT carries a special satisfaction for the second editor.Way back in 1998, the sci- ti c analysis group of DRDO organized a National Seminar on Cryptology and abbreviated it as NSCR.On attending the seminar, the second editor suggested that the conference name be changed to INDOCRYPT.It is nice to see that this suggestion was taken up, giving us the annual INDOCRYPT conference - ries.Of course, the form, character, and execution of the conference series was the combined e ort of the entire Indian cryptographic community under the dynamic leadership of Bimal Roy. 456 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2003, held in Miami, Florida, USA in January 2003.The 26 revised full papers presented were ca…refully reviewed and selected from 105 submissions. The papers are organized in topical sections on Diffie-Hellman based schemes, threshold cryptography, reduction proofs, broadcast and tracing, digital signatures, specialized multiparty cryptography, cryptanalysis, elliptic curves: implementation attacks, implementation and hardware issues, new public key schemes, and elliptic curves: general issues. 388 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Information systems in healthcare and public utility services depend on c- puting infrastructure. Many research e orts are being made in related areas, such as mobile computing, web-based computing, and information extraction and h…andling. Government agencies in a few countries also plan to launch many facilities in education, healthcare, and information support as e-government - itiatives. In this context, Information Interchange Management has become an important research eld. A number of new opportunities have evolved in design and modeling based on the new computing needs of users. Database systems play an important role in supporting networked information systems for access and storage aspects. The second international workshop on Databases in Networked Information S- tems (DNIS) 2002 was held on December 16 18, 2002 at the University of Aizu in Japan. The workshop program includes research contributions and invited contributions. A view of research activity in Information Interchange Mana- ment and related research issues was provided in the session on this topic, with an invited contribution by Prof. Gio Wiederhold. The workshop session on Web Data Management had an invited paper by Prof. Tosiyasu L. Kunii. The wo- shop session on Data Management Systems included a contributed invited paper by Prof. Joachim Biskup. The two sessions on Networked Information Systems included invited contributions by Prof. Masaru Kitsuregawa and Dr. Umeshwar Dayal. I would like to thank the members of the program committee for their support and all authors who considered DNIS 2002 for their research contri- tions. 300 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheEuropeanConferenceonObject-OrientedProgramming(ECOOP)conf- ence series, in cooperation with Springer-Verlag, is glad to o er the obje- orientedresearchcommunitythesixtheditionoftheECOOPWorkshopReader, acompendiumofworkshopreport…sandpostersummariesfromthe16thEu- peanConferenceonObject-OrientedProgramming(ECOOP2002). ECOOP2002washeldinMal aga,Spain,fromJune10thtoJune14th2002. Asusual,theworkshopstookplaceduringthe rsttwodaysoftheconference andgaveauthorsandparticipantsanopportunitytopresentanddiscussideas thataretopicalandinnovativeinobject-orientedtechnology,inanatmosphere thatfosteredinteraction,exchange,andproblemsolving. ECOOP2002hosted19high-qualityworkshopscoveringalargespectrumof researchtopicsrelatedtoobject-orientedtechnology. Thisyear,theseworkshops wereselectedfrom25proposalsbytheworkshopselectioncommittee,prim- ilyinaccordancewiththeirscienti cmeritandtheirprobabilityofgenerating livelydiscussion. Thisvolumecontainsthereportsofthose19workshops. Each chaptercoversoneworkshop,summarizingthecurrentresearchbeingcarried outintheworkshoptopic,themajorissuesdiscussed,themainconclusions, andpossibledirectionsforfurtherresearch. Eachchapter nisheswithalistof updatedreferenceswherethereadercan ndcomplementaryinformationabout theworkshoptheme. Thelastchaptercontainsthesummariesoftheposters displayedatECOOP2002. Thisbookwasonlypossiblethankstothee ortofalargegroupofp- plecontributinginmanydi erentways. Wewouldliketothankthemembers oftheselectioncommittee,eachworkshoporganizer,andeachworkshopand posterparticipant. Theadditionalworkfortheworkshoporganizersinterms ofrecordingandsummarizingthediscussionswillcertainlybeappreciatedby thereaders. Finallywewishtoconveyourwarmappreciationtoourcolleagues oftheECOOP2002organizationteamfortheiruniqueblendofe ciencyand comradeship. Preparingforandholdingtheconferencewasalotoffun. Organizingtheworkshopsandthisbookprovedtobeverystimulatingand instructive;wewishourreadersanequallyfruitfulexperience. Wearepretty surethattheECOOP2002workshopreaderwillprovideyou,thereader,with anexcellentsnapshotofthemajortrendsinobject-orientedtechnology. October2002 JuanHerna ndez AnaMoreira Organization ECOOP2002wasorganizedbytheDepartmentofLenguajesyCienciasdela Computaci onoftheUniversityofMal aga,andtheDepartmentofInformat ica of the University of Extremadura, under the auspices of AITO (Association InternationalepourlesTechnologiesObjets). TheproceedingsofthemainconferencewerepublishedasLNCS2374. WorkshopChairs: JuanHerna ndez(UniversityofExtremadura) AnaMoreira(UniversidadeNovadeLisboa,Portugal) PosterChair: JuanM. Murillo(UniversityofExtremadura) WorkshopSelectionCommittee MehmetAksit UniversityofTwente,TheNetherlands Jo aoArau jo UniversidadeNovadeLisboa,Portugal ElisaBertino Universit`adegliStudidiMilano,Italy RobertFrance ColoradoStateUniversity,USA JuanHerna ndez UniversidaddeExtremadura,Spain AnaMoreira UniversidadeNovadeLisboa,Portugal AmbrosioToval UniversidaddeMurcia,Spain Contents ResourceManagementforSafeLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 GrzegorzCzajkowski,JanVitek GenerativeProgramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 KrzysztofCzarnecki,KasperØsterbye,MarkusVolt er ToolsandEnvironmentsforLearningObject-OrientedConcepts. . . . . . . . . 30 IsabelMichiels,Ju rgenB orstler,KimB. Bruce 12thWorkshopforPhDStudentsinObjectOrientedSystems . . . . . . . . . . . 44 MiguelA. P erez,PedroJ. Clemente Web-OrientedSoftwareTechnology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 OscarPastor,DanielSchwabe,GustavoRossi,LuisOlsina Component-OrientedProgramming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 JanBosch,ClemensSzyperski,WolfgangWeck ConcreteCommunicationAbstractionsoftheNext701Distributed ObjectSystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2002, 2002
Serie: Libro 114 di 173 - Advances in Anatomy, Embryology and Cell Biology
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of this study is to present comprehensive morphological data, almost all of it is new, concerning the venous drainage of the myocardium via the coronary sinus and its related veins. This information is of great signif…icance, not least for the sucessful coronary sinus catheterization and reperfusion of most, or single, cardiac veins.The author presents the three principal cardiac venous systems, the greater (major) cardiac venous, the smaller (minor) cardiac venous system, and the compound venous system. The work concludes with an evaluation of the many anatomical peculiarities and and hindrances with regard to the catheterization of the coronary sinus and the reperfusion of (selected) cardiac veins. 120 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Application of Relat- nal Structures… as Knowledge Instruments. The conference was held in conference centre Boschoord, Oisterwijk near Tilburg, The Netherlands, from October 16 till October 21, 2001. The conference attracted interest from many parts of the world with contributions from many countries. This conference was a continuation of international conferences/workshops on Relational Methods in Computer Science held in: Schloss Dagstuhl, Germany, January1994;ParatinearRiodeJaneiro,September1995;Hammamet,Tunisia, January1997;theStefanBanachCenter,Warsaw,September1998;andQuebec, Canada, January 2000. The purpose of these conferences/workshops is to bring together researchers from various subdisciplines of Computer Science, Mathematics, and Philosophy, all of whom use relational methods as a conceptual and methodological tool in their work. Topics include, but are not limited to: relational, cylindric, fork, and Kleene algebras; relational proof theory and decidability issues; relational representation theorems; relational semantics; applications to programming, - tabases,andanalysisoflanguage;andcomputersystemsforrelationalknowledge representation. With respect to applications one can think of: relational spe- cations and modeling; relational software design and development techniques; programming with relations; and implementing relational algebra. 332 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revis…ed full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing. 284 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 4th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a for…um for researchers from three communities-Veri cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri cation, static analysis te- niques, model checking, program certi cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference. 340 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In cognitive science, mental representations of spatial knowledge are metaphorically referred to as cognitive maps. However, investigations in cognitive psychology reveal that the cognitive map metaphor is inadequate and that more…suitable conceptions of humanspatial knowledgeprocessing are needed.This book addresses mental processing of knowledge about geographic space from an AI point of view by presenting an experimental computational modeling approach. Results about human memory and visual mental imagery fromcognitive psychology are combinedwith AI techniques of spatial and diagrammatic knowledge processing.The author develops the diagrammatic reasoning architecture MIRAGE as a comprehensive conception of human geographic knowledge processing. 188 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Communities are groupings of distributed objects that communicate, directly orindirectly,throughthemediumofasharedcontext.Thisconferencebrought togetherresearchersinterestedinthetechnicalissuesofsupportingcommunities. DCW 2002 was…held in Sydney, Australia, and was hosted by the Software EngineeringResearchGroupandtheSchoolofComputerScienceandEngine- ingattheUniversityofNewSouthWales.ItwasthefourthintheDCWseries, thepreviousconferenceshavingtakenplaceinQu ebec(2000,LNCS1830)and inRostock(1998and1999,UniversityofRostockPress). Theprogramcommitteeselected25papersfrom59submissionsfromaround theworld.Eachsubmissionwasfullyrefereedbyatleastthreereviewers,either members of the program committee or other external referees. Reviewers were selectedtoensuretheyhadtherequiredexpertiseforthepapers topics.Special carewastakentoavoidcon ictsofinterestbyensuringthatifaprogramc- mittee member was co-author of one of the submissions, then the paper would be reviewed by program committee members or additional reviewers who were notclosecollaboratorsofthesubmittingauthors. Inadditiontothesepapers,theproceedingsbeginwithafullyrefereeds- marychapter,entitledOpenProblemsinDistributedCommunities,whichgives anoverviewofthe eld. This year, we were pleased to welcome as the invited speaker Philippe van Nedervelde, CEO of E-SPACES (Belgium) and X3D Technologies (USA), who gaveusafascinatingpresentationonVirtual3DWorldCommunities. We would like to thank the members of the program committee and the additional reviewers for the thorough reviews of the submitted papers, the - thorsforsubmittingtheircontributions,andtheauthorsofacceptedpapersfor theircollaborationinpreparingtheseproceedings.SpecialthanksgoestoBlanca Mancilla, the local arrangements chair, for all the work she did before, during, andaftertheconference. We are convinced that this conference series is very timely, and meets the needs of many researchers interested in building networked communities. We hope that you nd the proceedings interesting and stimulating, and hope that youwilljoinusinUlminSpring2004forthenextDCWconference. September2002 JohnPlaice PeterKropf PeterSchulthess JacobSlonim Organization DCW 2002 was organized with the support of the School of Computer Science and Engineering and the Software Engineering Research Group at the Univ- sity of New South Wales, Sydney, Australia, in cooperation with ACM, ACM SIGPLAN,andACMSIGWEB. 324 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the… construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises. 400 pp. Englisch.
