Springer berlin heidelberg jul 2000 (65 risultati)
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- Brossura
Da: Wegmann1855, Zwiesel, GermaniaWegmann1855
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 279,99
EUR 25,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichke…itsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- Brossura
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 279,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichke…itsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 800 pp. Deutsch.
Lingua: Tedesco
Editore: Springer, Springer Berlin Heidelberg Jul 2000, 2000
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 279,99
EUR 65,94 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware - Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichk…eitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.
Lingua: Tedesco
Editore: Springer, Springer Berlin Heidelberg Jul 2000, 2000
- Brossura
Da: Books-by-Floh, Paderborn, GermaniaBooks-by-Floh
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 279,99
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichke…itsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden. 800 pp. Deutsch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jul 2000, 2000
- 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-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.The 11 revised ful…l papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism. 216 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 -Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully in ar…eas like pattern recognition, clustering, or automatic control. The papers in this book explore the possibility of bringing these two areas together.This book is unique in the way it concentrates on building intelligent software systems by combining methods from diverse disciplines, such as fuzzy set theory, neuroscience, agent technology, knowledge discovery, and symbolic artificial intelligence. The first part of the book focuses on foundational aspects and future directions; the second part provides the reader with an overview of recently developed software tools for building flexible intelligent systems; the final section studies developed applications in various fields. 384 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jul 2000, 2000
- 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 -Clusters of workstations/PCs connected by o -the-shelf networks have become popular as platforms for cost-e ective parallel computing. Technological - vances in both hardware and software have made such a network-based parallel com…putingplatform an a ordable alternative to commercial supercomputers for an increasing number of scienti c applications. Continuing in the tradition of the three previously successful workshops, this fourth Workshop on Communication, Architecture and Applications for Network-basedParallelComputing(CANPC 2000)broughttogetherresearchers and practitioners working in architecture, system software, applications, and performance evaluation to discuss state-of-the-art solutions for network-based parallel computing. This year, the workshop was held in conjunction with the sixth International Symposium on High-Performance Computer Architecture (HPCA-6). As in prior editions, the papers presented here are representative of a sp- trum of research e orts from groups in academia and industry to further - prove cluster computing s viability, performance, cost-e ectiveness, and usab- ity. Speci cally, we have arranged the contributions in this edition into four groups: (1) program development and execution support, (2) network router - chitecture, (3) system support for communication abstractions, and (4) network software and interface architecture. 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 -Some years ago, businesses could choose whether to migrate to electronic commerce, however, today it seems they have no choice. Predictions indicate that companies that do not make the necessary changes will be overrun by competiti…on and ultimately fail. Therefore, we see more and more companies undergoing tremendous transformationin order to adapt to the new business paradigm. At the same time new companies are being established. One thing these companies have in common is the increased dependency on security technology. The invention of electronic commerce has changed the role of - curity technologies from being merely a protector to being also an enabler of electronic commerce, and it is clear that the development of security techn- ogy is a key enabler in the growth and deployment of electronic commerce. This has been recognised at European level (European Union 1997e). The launch of a comprehensive EU policy in the area of security in open networksisfairlyrecentwiththeadoptionofaCommunicationoncryptog- phy inOctober 1997(EuropeanUnion1997c). A veryimportantcomplement and support to the European policy is the European Commission s contri- tion to overcometechnological barriers by giving special importance to R&D (Research and Development) activities. The SEMPER project was launched in September 1995 and was funded partly by the European Community within the Advanced Communication Technologies and Services (ACTS) speci c research programme part of the Fourth Framework Program (1994-1998). In this book the SEMPER project team presents in a coherent, integrated, and readable form the issues - dressed,themotivationfortheworkcarriedout,andthekeyresultsobtained. SEMPER is an innovative project in several aspects. 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 -Thisvolumecontainsoneinvitedand fteensubmittedpaperspresentedatthe Tenth International Conference on Inductive Logic Programming (ILP2000). The fteenacceptedpaperswereselectedbytheprogramcommitteefromthe 37paperssubmittedtotheconfe…rence. Eachpaperwascarefullyreviewedby threereferees. ILP2000washeldatImperialCollege,London,24-27July2000andwasin- grated with the First International Conference on Computational Logic (CL2000). With ILP s strong roots in computational logic, this was a na- ralmarriage. CL2000wasa ve-dayextravaganza,incorporatingboththeSixth InternationalConferenceonRulesandObjectsinDatabases(DOOD2000)and theTenthInternationalWorkshoponLogic-basedProgramSynthesisandTra- formation(LOPSTR2000)andfeaturingeightinvitedspeakers,twelvetutorials, andsevena liatedworkshops. RegistrantsforCL2000andILP2000couldmove freelybetweenthetwoevents,themaindistinctionbetweentheeventsbeings- arateconferenceproceedings. WewishtothankalltheauthorswhosubmittedtheirpaperstoILP2000; theprogramcommitteemembers,andotherreviewerswhodidathoroughjobin spiteofdemandingdeadlines;andourinvitedspeaker,DavidPage. Thanksalso toAlfredHofmann,andeveryoneelseatSpringerfortheirsmoothhandlingof theseproceedings. WewouldalsoliketothanktheorganisersofCL2000,whose cooperation brought the two events together: John Lloyd (Program Chair), Marek Sergot (Conference Chair), Frank Kriwaczek and Francesca Toni (- calOrganisers),FemkevanRaamsdonk(PublicityChair)andSandroEtalle (Workshop Chair). Finally, we are grateful to our sponsors for their nancial support. May2000 JamesCussens&AlanFrisch ProgramChairs ILP2000 ILP2000 Program Committee HenrikBostr om(UniversityofStockholm,Sweden) IvanBratko(UniversityofLjubljana,Slovenia) JamesCussens(UniversityofYork,UK) Shan-HweiNienhuys-Cheng(UniversityofRotterdam,Netherlands) WilliamCohen(WhizbangsLabs,USA) LucDeRaedt(UniversityofFreiburg,Germany) Sa soD zeroski(Jo zefStefanInstitute,Ljubljana) PeterFlach(UniversityofBristol,UK) AlanFrisch(UniversityofYork,UK) KoichiFurukawa(UniversityofKeio,Japan) RoniKhardon(UniversityofEdinburgh,UK) J org-UweKietz(SwissLife,Switzerland) NadaLavra c(Jo zefStefanInstitute,Slovenia) JohnLloyd(AustralianNationalUniversity,Australia) StanMatwin(UniversityofOttawa,Canada) RaymondMooney(UniversityofTexas,USA) StephenMuggleton(UniversityofYork,UK) DavidPage(UniversityofWisconsin,USA) BernhardPfahringer(UniversityofWaikato,NewZealand) C elineRouveirol(Universit edeParis-Sud,France) ClaudeSammut(UniversityofNewSouthWales,Australia) Mich`eleSebag(EcolePolytechnique,France) AshwinSrinivasan(UniversityofOxford,UK) PrasadTadepalli(OregonStateUniversity,USA) StefanWrobel(UniversityofMagdeburg,Germany) AkihiroYamamoto(UniversityofHokkaido,Japan) Additional Referees ErickAlphonse(Universit edeParis-Sud,France) LiviuBadea(NationalInstituteforResearchandDevelopmentinInformatics, Romania) DamjanDemsar(Jo zefStefanInstitute,Slovenia) ElisabethGoncalves(Universit edeParis-Sud,France) MarkoGrobelnik(Jo zefStefanInstitute,Slovenia) ClaireKennedy(UniversityofBristol,UK) DanielKudenko(UniversityofYork,UK) JohanneMorin(UniversityofOttawa,Canada) TomonobuOzaki(KeioUniversity,Japan) EdwardRoss(UniversityofBristol,UK) LjupcoTodorovski(Jo zefStefanInstitute,Slovenia) V eroniqueVentos(Universit edeParis-Sud,France) VIII ProgramCommitteeandReferees Sponsors of ILP2000 ILPNet2,TheEuropeanNetworkofExcellenceinInductiveLogicProgramming MLNet,TheEuropeanNetworkofExcellenceinMachineLearning CompulogNet,TheEuropeanNetworkofExcellenceinComputationalLogic Table of Contents IInvitedPaper ILP:JustDoIt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 DavidPage II Contributed Papers ANewAlgorithmforLearningRangeRestrictedHornExpressions. . . . . . . 21 MartaArias,RoniKhardon ARe nementOperatorforDescriptionLogics. . . . . . . . . . . . . . . . . . . . . . . . . 40 LiviuBadea,Shan-HweiNienhuys-Cheng ExecutingQueryPacksinILP . . . . . . . . . . . . . . . . . . . . . . . . . . 280 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- 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 -TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as inte…rnational meetings. Previous conferences took place in St. Au- stin (Germany) in 1991, Vadstena (Sweden) in 1993, Assisi (Italy) in 1995, and Toulouse (France) in 1997. ECP-99 was held in Durham, United Kingdom. The conference received s- missions from all over Europe, from the US, Canada, South America, and New Zealand. This volume contains the 27 papers that were presented at the conference. They cover a variety of aspects in current AI Planning and Scheduling. Several p- minent planning paradigms are represented, including planning as satis ability andothermodelcheckingstrategies,planningasheuristicstate-spacesearch,and Graphplan-Based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced. Inadditiontotheconferencepapers,threeinvitedtalkswerepresentedbydist- guished researchers of the eld: Fausto Giunchiglia (IRST Trento, Italy) gave an introduction to Planning as Model Checking. The corresponding paper by F- sto Giunchiglia and Paolo Traverso is included in this volume. Claude Le Pape (BouyguesTelecom,France)presentedConstraint-BasedScheduling:Theoryand Applications, and Nicola Muscettola (NASA Ames, USA) talked aboutPlanning at 96 Million Kilometers from Earth. ECP-99 received support fromPLANET,the European Network of Excellence in AI Planning, the University of Durham, United Kingdom, and the University of Ulm, Germany. 388 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2000, 2000
- 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 -These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theo…ry, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. 1428 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 -After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery. Depending on whether the data used in the…knowledge discovery process concerns the Web itself in terms of content or the usage of the content, one distinguishes between Web content mining and Web usage mining.This book is the first one entirely devoted to Web usage mining. It originates from the WEBKDD'99 Workshop held during the 1999 KDD Conference. The ten revised full papers presented together with an introductory survey by the volume editors documents the state of the art in this exciting new area. The book presents topical sections on Modeling the User, Discovering Rules and Patterns of Navigation, and Measuring interestingness in Web Usage Mining. 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 -The papers in this volume were selected for presentation at the 6th Annual International Computing and Combinatorics Conference (COCOON2000), in Sydney, Australia from July 26 - 28, 2000. The topics cover many areas in t- oretical…computer science and combinatorial optimization. There were 81 high quality papers submitted to COCOON2000. Each paper was reviewed by at least three program committee members, and the 44 papers were selected. It is expected that most of them will appear in a more complete form in scientic journals. In addition to the selected papers, the volume also contains the papers from two invited keynote speeches by Christos Papad- itriou and Richard Brent. This year the Hao Wang Award was given to honor the paper judged by the programcommittee to have the greatest merit. The recipient is Approximating Uniform TriangularMeshes in Polygons'byFranz Aurenhammer, NaokiKatoh, Hiromichi Kojima, Makoto Ohsaki, and Yinfeng Xu. The rst Best Young - searcher paper award was given to William Duckworth for his paper Maximum Induced Matchings of Random Cubic Graphs'. We wish to thank all who have made this meeting possible: the authors for submitting papers, the program committee members and the external referees, sponsors, the local organizers, ACM SIGACT for handling electronic subm- sions,Springer-Verlagfor their support, and Debbie Hatherellfor her assistance. 496 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 Arti cial Evolution conference was originally conceived as a forum for the French-speaking Evolutionary Computation community, but has of late been acquiring an European audience, with several papers from Germany, Austria, Ital…y, Spain. However, AE remains as intended a small and friendly gathering, which will continue to be held every two years. Previous AE meets were held in Toulouse, Brest, and N mes. This year, the hosting was done by the LIL (Laboratoire d'Informatique du Littoral) in the not-so-cold city of Dunkerque. The invited talk on 'Fitness Landscapes and Evolutionary Algorithms' was delivered by Colin Reeves of Coventry University This volume contains a selection of the papers presented at the conference. Twenty-seven papers were presented orally at the conference, selected from over 40 papers refereed by the program committee. After the conference, each p- sentation was reviewed and 20 papers were retained and revised for publication in this volume. The papers in this volume have been grouped into the following ve sections which more or less re ect the organization of the oral presentations. 1. Invited Paper: C. Reeves brightly describes the state of the art in Fitness Landscapes. 312 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- 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 August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California… San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code generation, debugging, - timization, communication and distributed shared memory libraries, distributed object systems, resource management systems, integration of compiler and r- time systems, irregular and dynamic applications, and performance evaluation. In 1999, the workshop was held at the International Relations/Paci c Studies Auditorium and the San Diego Supercomputer Center at UCSD. Seventy-seven researchers from Australia, England, France, Germany, Korea, Spain, and the United States attended the workshop, an increase of over 50% from 1998. 516 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- 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 is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch cat…egory was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project. 552 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 SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26- 29, 20…00, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d'Est erel in Qu ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year's symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort's failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re ection of the increased maturity of the eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains. 348 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- 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 -The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for quite some time now. This book is a revised and extended version of the 2nd edition of…the German textbook 'Rechnergestützte Gruppenarbeit: Eine Einführung in verteilte Anwendungen'. It has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numer ous opportunities for users of groupware and the risks of applying such sys tems. The book intends to introduce an area of distributed systems, namely the computer support of individuals trying to solve a common problem in cooperation with each other but not necessarily having identical work pi aces or working times. Computer-supported cooperative work is an interdisciplinary application domain. It can be viewed as a synergism between the areas of distributed sys tems and (multimedia-) communication on the one hand and between those of information science and socio-organizational theory on the other hand. Thus, the book is meant to help students of aH these disciplines, as weH as users and developers of systems which have communication and cooperation within groups as top priorities. 556 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2000, 2000
- 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 -The authors introduce the concept of Molecular Quantum Similarity, developed in their laboratory, in a didactic form. The basis of the concept combines quantum theoretical calculations with molecular structure and properties even f…or large molecules. They give definitions and procedures to compute similarities molecules and provide graphical tools for visualization of sets of molecules as n-dimensional point charts. 140 pp. Englisch.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg Jul 2000, 2000
Serie: Libro 15 di 23 - Schriften der Mathematisch-naturwissenschaftlichen Klasse
- 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 27,99
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 -Mit den oben zitierten Worten eroffnete der Staatsprasident von Uganda, Yoweri Kaguta Musevani (1997), die Konferenz iiber das Management von Erdbeben katastrophen in Entwicklungslandern in Kampala. Diese Satze umreiBen kurz und bi…indig das Problem, das sich schon heute und im wachsenden MaBe fUr das nachste Jahrhundert abzeichnet und welches das Thema des heutigen Vortrags ist. Unser Verhiiltnis zu Erdbeben als Naturgewalt hat sich iiber die letzten Jahr tausende bis Jahrhunderte erheblich geandert. Erdbeben gehOren zu den Naturge walten, die yom Menschen nicht kontrolliert werden konnen und die dazu ohne Vorankiindigung auftreten. Man kann vor ihnen nicht davonlaufen wie vor einem Vulkanausbruch oder einem Hurrikan, die sich in der Regel geniigend vorher ankiindigen. Daher lag es nahe, Erdbeben als Ausdruck eines gottlichen Willens zu verstehen. Dies findet man in fast allen Kulturkreisen in Erdbebengebieten. Aus Celebes, dem heutigen Sulawesi, stammt die Darstellung (Abb. 1) der fol genden mythologischen Erzahlung (Ritsema, 1972). Maradika Pudu, der Erdgeist ist von Atala, dem Herrn des Himmels, beauf tragt worden, in der Erde zu sitzen und sie von Zeit zu Zeit beben zu lassen, urn die Leute zu erinnern, Atala nicht zu vergessen. Daher hat Maradika Pudu eine Wasserschiissel vor sich. Wenn er seinen kleinen Finger hinein taucht, gibt es ein kleines Beben; . Sobald ein Erdbeben verspiirt wird, sollen Leute rufen 'Herr wir sind hier'. 52 pp. Deutsch.
- 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 85,55
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 explains the basic use of the software package called MuPAD and gives an insight into the power of the system. M u PAD is a so-called computer algebra system, which is developed mainly at the University of Paderborn in Ge…rmany. This introduction addresses mathematicians, engineers, computer scientists, natural scientists, and more generally all those in need of mathematical computations for their education or their profession. Generally speaking, this book addresses anybody who wants to use the power of a modern computer algebra package. There are two ways to use a computer algebra system. On the one hand, you may use the mathematical knowledge it incorporates by calling system functions interactively. For example, you can compute symbolic integrals, or generate and invert matrices, by calling appro priate functions. They comprise the system's mathematical intelligence and may implement sophisticated algorithms. Chapters 2 through 15 discuss this way of using MuPAD. On the other hand, with the help of MuPAD's programming lan guage you can easily add functionality to the system by implementing your own algorithms as MuPAD procedures. This is useful for special purpose applications if no appropriate system functions exist. Chap ters 16 through 18 are an introduction to programming in MuPAD. You can now read this book in the standard way 'linearly' from the first to the last page. However, there are reasons to proceed otherwise. 376 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for quite some time now. This book is a revised and extended version of the 2nd edition of the…German textbook 'Rechnergestützte Gruppenarbeit: Eine Einführung in verteilte Anwendungen'. It has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numer ous opportunities for users of groupware and the risks of applying such sys tems. The book intends to introduce an area of distributed systems, namely the computer support of individuals trying to solve a common problem in cooperation with each other but not necessarily having identical work pi aces or working times. Computer-supported cooperative work is an interdisciplinary application domain. It can be viewed as a synergism between the areas of distributed sys tems and (multimedia-) communication on the one hand and between those of information science and socio-organizational theory on the other hand. Thus, the book is meant to help students of aH these disciplines, as weH as users and developers of systems which have communication and cooperation within groups as top priorities.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 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 29,95
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 -Polen, Tschechien und Ungarn sind die nächsten Anwärter auf eine EU-Mitgliedschaft. Aufgrund ihrer relativ stabilen politischen Lage, ihrer geographischen Nähe zu Deutschland und ihres niedrigen Lohnniveaus sind diese Länder seit B…eginn der 90er Jahre verstärkt das Ziel wirtschaftlicher Interessen von Großkonzernen, aber auch von Kleinunternehmen und Existenzgründern. Die Autorin führt dem Leser die wirtschaftlichen, politischen und soziokulturellen Besonderheiten dieser Länder vor Augen und gibt praktische Tips für den Aufbau erfolgreicher Geschäftsbeziehungen. 212 pp. Deutsch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2000, 2000
Serie: Libro 93 di 126 - Lecture Notes in Economics and Mathematical Systems
- 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 96,29
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 deals with the omitted variable tests for a multivariate time-series regression model. What are the consequences of testing for the omission of a variable when the model is dynamically misspecified What is the small sampl…e bias of the omitted variable test when the model dynamics is correctly specificfied The answers to these questions are proposed in this book. As an empirical illustration, the analysis is applied to the homogeneity test of a demand system. I particularly thank Professor Dr. Philippe J. Deschamps who draw my attention on this subject and who made very helpful comments and sugges tions. Additionally, I would like to thank Professor Dr. Reiner Wolff for his comments especially on the chapter dealing with consumer theory. Special thanks go to Maria Jose Redondo, who read this book several times and for the inspiring discussions with her. I would also like to thank Dr. Ali Vak ili (always ready to answer any questions in mathematics), Prof. Dr. Hans Wolf gang Brachinger, Curzio De Gottardi, Peter Mantsch, Dr. Paul-Andre Monney, Dr. Uwe Steinhauser, Leon Stroeks and Dr. Peter Windlin. Frances Angell improved the English of this work. The research for this book had been financially suppürted by the Univer site de Fribourg (Switzerland). Finally, I appreciated the support from Springer-Verlag and I thank Dr. 160 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 106,99
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 -Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling.…Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between systems theory and CAST and other similar elds of research and tool development such as for example in applied numerical analysis or other computational sciences. TheheredocumentedEUROCASTconferencewhichtookplaceattheVienna University of Technology re ects current mainstreams in CAST. As in the p- vious conferences new topics, both theoretical and application oriented, have been addressed. The presented papers show that the eld is widespread and that new - velopments in computer science and in information technology are the driving forces. Theeditorswouldliketothanktheauthorsforprovidingtheirmanuscriptsin hardcopyandinelectronicformontime.Thesta ofSpringer-VerlagHeidelberg gave, as in previous CAST publications, valuable support in editing this volume. 620 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2000, 2000
- 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 106,99
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 -Celestial fundamental catalogues are a prerequisite for the determination of absolute positions and motions in space. Presently, positional astrometry is at the watershed between classical fundamental catalogues, based on moving reference… stars, and modern catalogues, based on extragalactic reference objects with non-measurable motion. This book addresses the concepts and methods of the respective construction techniques leading to the stellar frame of the FK5 (fifth fundamental catalogue) and to the newly adopted extragalactic radio reference frame, ICRF (international celestial reference frame), with its extension to optical wavelengths by the Hipparcos Catalogue. While principal outlines of meridian circle observations are given, emphasis is put in some detail on the VLBI technique as applied to astrometry, and to the observational techniques used in the Hipparcos mission, including the tie of the originally non-anchored rigid Hipparcos sphere into the ICRF. 252 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- 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 106,99
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 -Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI resear…ch e ort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using di erent paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models ( rst-order logic, modal logic, rule-based s- tems), virtual reality models (object systems, agent systems), probabilistic m- els(Bayesiannets,fuzzylogic),linguisticmodels(conceptualdependencygraphs, language-based representations), etc. OneofthestrengthsoftheConceptualGraph(CG)theoryisitsversatilityin terms of the representation paradigms under which it falls. It can be viewed and therefore used, under di erent representation paradigms, which makes it a p- ular choice for a wealth of applications. Its full coupling with di erent cognitive processes lead to the opening of the eld toward related research communities such as the Description Logic, Formal Concept Analysis, and Computational Linguistic communities. We now see more and more research results from one community enrich the other, laying the foundations of common philosophical grounds from which a successful synergy can emerge. 588 pp. Englisch.
- 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 106,99
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 is especially addressed to young researchers in theoretical physics with a basic background in Field Theory and Condensed Matter Physics. The topics were chosen so as to offer the largest possible overlap between the two experti…ses, selecting a few key problems in Condensed Matter Theory which have been recently revisited within a field-theoretic approach. The presentation of the material is aimed not only at providing the reader with an overview of this exciting frontier area of modern theoretical physics, but also at elucidating most of the tools needed for a technical comprehen sion of the many papers appearing in current issues of physics journals and, hopefully, to enable the reader to tackle research problems in this area of physics. This makes the material a live creature: while not pretending it to be exhaustive, it is tutorial enough to be useful to young researchers as a starting point in anyone of the topics covered in the book. 296 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,55
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book explains the basic use of the software package called MuPAD and gives an insight into the power of the system. M u PAD is a so-called computer algebra system, which is developed mainly at the University of Paderborn in German…y. This introduction addresses mathematicians, engineers, computer scientists, natural scientists, and more generally all those in need of mathematical computations for their education or their profession. Generally speaking, this book addresses anybody who wants to use the power of a modern computer algebra package. There are two ways to use a computer algebra system. On the one hand, you may use the mathematical knowledge it incorporates by calling system functions interactively. For example, you can compute symbolic integrals, or generate and invert matrices, by calling appro priate functions. They comprise the system's mathematical intelligence and may implement sophisticated algorithms. Chapters 2 through 15 discuss this way of using MuPAD. On the other hand, with the help of MuPAD's programming lan guage you can easily add functionality to the system by implementing your own algorithms as MuPAD procedures. This is useful for special purpose applications if no appropriate system functions exist. Chap ters 16 through 18 are an introduction to programming in MuPAD. You can now read this book in the standard way 'linearly' from the first to the last page. However, there are reasons to proceed otherwise. 376 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2000, 2000
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Celestial fundamental catalogues are a prerequisite for the determination of absolute positions and motions in space. Presently, positional astrometry is at the watershed between classical fundamental catalogues, based on moving reference sta…rs, and modern catalogues, based on extragalactic reference objects with non-measurable motion. This book addresses the concepts and methods of the respective construction techniques leading to the stellar frame of the FK5 (fifth fundamental catalogue) and to the newly adopted extragalactic radio reference frame, ICRF (international celestial reference frame), with its extension to optical wavelengths by the Hipparcos Catalogue. While principal outlines of meridian circle observations are given, emphasis is put in some detail on the VLBI technique as applied to astrometry, and to the observational techniques used in the Hipparcos mission, including the tie of the originally non-anchored rigid Hipparcos sphere into the ICRF.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
