Springer springer mär 1999 (169 risultati)
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,05
EUR 64,05 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - This book is a comprehensive treatment of the population biology of fungi. Intended for mycologists as well as biologists without mycological background, it includes detailed coverage of all major taxonomic groups for which information is available and key topics in depth, including species conce…pts, somatic incompatibility, gene flow, role of sexual vs. asexual reproduction, mycoviruses, demography and fitness. Kinds and patterns of intraspecific variation are considered, including quantitative and especially molecular characteristics. Throughout, an attempt is made to relate aspects of fungal population biology to biology as a whole.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 151,80
EUR 63,88 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - The protection of the environment is one of the most important problems facing us today. Reliable and robust strategies for keeping pollution caused by harmful chemicals under safe levels have to be developed and used routinely. Large mathematical models, incorporating all important physical and…chemical processes, can solve this task, but the computational burden is huge. The papers presented here describe some of the difficult problems that have to be solved during the development of large scale air pollution models, and different ways to solve them. The work involves combined research by specialists in the fields of environmental modelling, numerical analysis and scientific computing. Further, if models are to run in real time (which may be vital in the case of accidental hazardous releases), then new and efficient methods that harness the potential power of parallel supercomputers must be developed, so that actual computing speed starts to approach the maximum available performance. The articles are understandable by specialists in the field of air pollution modelling, as well as specialists in the many other related areas.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 161,00
EUR 62,91 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - The aim of this volume is to discuss the kinds of multilateralism that would be required to pursue some of the alternative projects of society, namely those which agree with some of the key normative commitments of the MUNS programme: non-violent means for dealing with conflict; social equity; pr…otection of the biosphere; diffusion of power among social groups and societies. The strategies identified here are both 'top-down', ie: relying on conventional international institutions and 'bottom-up', ie: involving a new multilateralism grounded in civil society.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,20
EUR 66,47 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware - IAU Transactions XXIIIB summarizes the work of the XXIIIrd General Assembly. The addresses given during the Inaugural and Closing Ceremonies are reproduced in Chapters I and III, respectively. The Proceedings of the two sessions of the General Assembly, including the Report of the Finance…Committee, will be found in Chapter II. The Report of the Resolutions Committee and the Resolutions approved by the General Assembly are found in Chapter IV. The Accounts for 1994-1996 and other aspects of the administration of the Union are recorded in Chapter V, which constitutes the Report of the Executive Committee and thus provides the permanent record of the activities of the Union in the period 1994-1997. Chapter VI of this volume contains the reports of the Commission meetings in Kyoto, provided by the Commission Presidents. The Statutes, Bye-Laws and Working Rules of the Union as revised at the General Assembly are published in Chapter VII, while an updated version of the Rules for Scientific Meetings is given in Chapter VIII. Finally, Chapter IX contains lists of the countries adhering to the Union and of its approximately 8300 individual members, ordered by geographical location and commission membership as well as alphabetically (with full addresses). The IAU remains one of the few Scientific Unions in which a vigorous body of individual members contributes in a crucial way to the spirit and aims of the Union.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 177,10
EUR 62,86 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Newspapers: A Lost Cause describes the recent history of newspaper firms in the United States and The Netherlands, and attempts to assess the chances of survival of the printed newspaper. The changing competitive media landscape and the challenges of today's newspaper organisations, including the… impact of the Internet on the news industry, are described and analysed. The author argues that although the printed newspaper will not be replaced overnight by (new) competing media, the traditional business model of newspapers is being eroded slowly but steadily. A healthy newspaper industry and prospering newspaper firms can only exist, if management - including journalists and marketeers - focus their attention on changing the newspaper organisation and capitalise more intensively on its core assets and skills.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,94
EUR 63,44 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - In the mathematical treatment of many problems which arise in physics, economics, engineering, management, etc., the researcher frequently faces two major difficulties: infinite dimensionality and randomness of the evolution process. Infinite dimensionality occurs when the evolution in time of a…process is accompanied by a space-like dependence; for example, spatial distribution of the temperature for a heat-conductor, spatial dependence of the time-varying displacement of a membrane subject to external forces, etc. Randomness is intrinsic to the mathematical formulation of many phenomena, such as fluctuation in the stock market, or noise in communication networks. Control theory of distributed parameter systems and stochastic systems focuses on physical phenomena which are governed by partial differential equations, delay-differential equations, integral differential equations, etc., and stochastic differential equations of various types. This has been a fertile field of research with over 40 years of history, which continues to be very active under the thrust of new emerging applications. Among the subjects covered are: Control of distributed parameter systems; Stochastic control; Applications in finance/insurance/manufacturing; Adapted control; Numerical approximation . It is essential reading for applied mathematicians, control theorists, economic/financial analysts and engineers.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,94
EUR 65,06 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Over the past decade high performance computing has demonstrated the ability to model and predict accurately a wide range of physical properties and phenomena. Many of these have had an important impact in contributing to wealth creation and improving the quality of life through the development o…f new products and processes with greater efficacy, efficiency or reduced harmful side effects, and in contributing to our ability to understand and describe the world around us. Following a survey ofthe U.K.'s urgent need for a supercomputingfacility for aca demic research (see next chapter), a 256-processor T3D system from Cray Research Inc. went into operation at the University of Edinburgh in the summer of 1994. The High Performance Computing Initiative, HPCI, was established in November 1994 to support and ensure the efficient and effective exploitation of the T3D (and future gen erations of HPC systems) by a number of consortia working in the 'frontier' areas of computational research. The Cray T3D, now comprising 512 processors and total of 32 CB memory, represented a very significant increase in computing power, allowing simulations to move forward on a number offronts. The three-fold aims of the HPCI may be summarised as follows; (1) to seek and maintain a world class position incomputational scienceand engineering, (2) to support and promote exploitation of HPC in industry, commerce and business, and (3) to support education and training in HPC and its application.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 306,42
EUR 66,01 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - Relying on the latest analytical techniques, this all-embracing new reference offers comprehensive coverage of the development, evolution, and morphology of both fossil and living cephalopods. In 34 in-depth chapters a group of 51 international neontologists and peleontologists offer and opvervie…w of current methods, data, analyses, and interpretations, and posit suggestions for future research. With its unparalleled combination of first-rate contributions on living and fossil cephalopods, this book provides researchers and advanced students in paleontology, invertebrate zoology, evolutionary biology, and allied disciplines with a trove of recent data and authoritative interpretations that will immeasurably benefit their own studies.
- 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 42,79
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Improve your golf game by learning the underlying fundamentals of the golf swing in this acclaimed, unique contribution to the sport. Finally, you'll understand: why shortening your backswing doesn't substantially decrease clubhead… velocity what components contribute to the optimal swing and what variations are acceptable how and why properly shifting your weight adds to distance why a golf ball behaves and spins as it doesand much more. Written by a physicist after some twenty years of research, Physics of Golf is the only book devoted exclusively to explaining the science behind a successful golf game. Technical appendices offer details for the so inclined. The revised and expanded second now offers you:-new material on high-tech club designs -a complete new chapter on short putts -additional applications of physics to the problems every player faces. 'Jorgensen tells golfers what they ought to be doing and why, the correct technique according to the principles of physics.' -Golf Weekly'.gives new insights and precise views into the forces and torques developed in the downswing.Thank you, Dr. Jorgensen.We will all treasure your book.' -American Golf Pro'The heart of golfer Ted Jorgensen's delightful book lies in his analysis of the swing of the golf club and how, armed with insights from that analysis, you, he and I might all swing the club better and play better golf.[The book] is designed to be accessible to the casual reader while satisfying the critical student. But first word or last, for anyone who has swung a golf club, the book is fun to read.' -Physics Today'This very enjoyable book covers most aspects of golf from the swing, to club selection, golf balls, and human motion.' -Applied MechanicsReview 204 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1999, 1999
- 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 7th International Conference on High-Performance Computing and Networking, HPCN Europe 1999, held in Amsterdam, The Netherlands in April 1999.The 115 revised full papers present…ed were carefully selected from a total of close to 200 conference submissions as well as from submissions for various topical workshops. Also included are 40 selected poster presentations. The conference papers are organized in three tracks: end-user applications of HPCN, computational science, and computer science; additionally there are six sections corresponding to topical workshops. 1372 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 -1. Contents of these proceedings. These proceedings contain most of the papers which were presented at the NATO ARW (Advanced Research Workshop) on 'Large Scale Computations in Air Pollution Modelling'. The workshop was held, from…June 6 to June to, 1998, in Residence Bistritza, a beautiful site near Sofia, the capital of Bulgaria, and at the foot of the mountain Vitosha. 2. Participants in the NATO ARW. Scientists from 23 countries in Europe, North America and Asia attended the meeting and participated actively in the discussions. The total number of participants was 57. The main topic of the discussions was the role of the large mathematical models in resolving difficult problems connected with the protection of our environment. 3. Major topics discussed at the workshop. The protection of our environment is one of the most important problems facing modern society. The importance of this problem has steadily increased during the last two-three decades, and environment protection will become even more important in the next century. Reliable and robust control strategies for keeping the pollution caused by harmful chemical compounds under certain safe levels have to be developed and used in a routine way. Large mathematical models, in which all important physical and chemical processes are adequately described, can successfully be used to solve this task. 408 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1999, 1999
- 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 -ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This…year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 468 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 Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997.The 10 revised full papers pre…sented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages. 272 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 -Multimedia Communications is at the core of the advanced interactive services that make up today's Information Society. Videoconferencing, teleworking, teleshopping and video-on-demand will benefit from developments in broadband an…d mobile telecommunication systems, intelligent multimedia terminals and digital signal processing. The latest research findings from these fields are presented here in the proceedings of the 10th Tyrrhenian Workshop on Digital Communications, held in Ischia, Italy, September 19 98. Focus is placed on the following four areas: Signal Processing for Multimedia Communications. Modeling, Analysis and Simulation of Multimedia Traffic Sources. Access Techniques. Multimode Multimedia Terminals. In particular, multimedia services and applications are presented. This comprehensive collection of papers will enable the reader to keep pace with the rapid changes that are taking place in this field. Experts have co-operated with top research centers worldwide, on an academic and industrial level, to make this an up-to-date reference volume for all those who are concerned with technological advances in Multimedia Distributed Systems. 596 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1999, 1999
- 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 International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contrib…utions to FOSSACS 99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on papers which o er progress in foundational research with a clear signi cance for software science. A central issue is theories and methods which support the speci cation, tra- formation, veri cation, and analysis of programs and software systems. The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The rst, byM. Abadi, accompanies his unifying invited lecture addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS 99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS 99. 340 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Mär 1999, 1999
- 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 -The4thAustralasianConferenceonInformationSecurityandPrivacywasheld attheUniversityofWollongong,Australia. Theconferencewassponsoredby theCentreforComputerSecurityResearch,UniversityofWollongong,andthe AustralianComputerSociety. The…aimoftheconferencewastobringtogether peopleworkingindi erentareasofcomputer,communication,andinformation securityfromuniversities,industry,andgovernmentinstitutions. Theconference gavetheparticipantsanopportunitytodiscussthelatestdevelopmentsinthe quicklygrowingareaofinformationsecurityandprivacy. Theprogramcommitteeaccepted26papersfrom53submitted. Fromthose accepted, thirteen papers were from Australia, two each from Belgium and China,andoneeachfromAustria,Belarus,France,India,Japan,Korea,Sin- pore,theUSA,andYugoslavia. Conferencesessionscoveredthefollowingtopics: accesscontrolandsecuritymodels,networksecurity,Booleanfunctions,group communication,cryptanalysis,keymanagementsystems,electroniccommerce, signatureschemes,RSAcryptosystems,andoddsandends. We would like to thank the members of the program committee who - nerouslyspenttheirtimereadingandevaluatingthepapers. Wewouldalsolike tothankmembersoftheorganisingcommitteeand,inparticular,ChrisCh- nes,HosseinGhodosi,MarcGysin,Tiang-BingXia,Cheng-XinQu,SanYeow Lee,YejingWang,Hua-XiongWang,Chih-HungLi,WillySusilo,ChintanShah, Je reyHorton,andGhulamRasoolChaudhryfortheircontinuousandtireless e ortinorganisingtheconference. Finally,wewouldliketothanktheauthorsof allthesubmittedpapers,especiallytheacceptedones,andalltheparticipants whomadetheconferenceasuccessfulevent. February1999 JosefPieprzyk ReiSafavi-Naini JenniferSeberry FOURTHAUSTRALASIANCONFERENCE ONINFORMATIONSECURITY ANDPRIVACY ACISP 99 Sponsoredby CenterforComputerSecurityResearch UniversityofWollongong,Australia and AustralianComputerSociety GeneralChair: JenniferSeberry UniversityofWollongong ProgramCo-Chairs: JosefPieprzyk UniversityofWollongong ReiSafavi-Naini UniversityofWollongong ProgramCommittee: ColinBoyd QueenslandUniversityofTechnology,Australia LawrieBrown AustralianDefenceForceAcademy,Australia BillCaelli QueenslandUniversityofTechnology,Australia EdDawson QueenslandUniversityofTechnology,Australia CunshengDing NationalUniversityofSingapore,Singapore DieterGollmann MicrosoftResearch,UK YongfeiHan Gemplus,Singapore ThomasHardjono BayNetworks,US ErlandJonsson ChalmersUniversity,Sweden SveinKnapskog UniversityofTrondheim,Norway KeithMartin KatholiekeUniversiteitLeuven,Belgium CathyMeadows NavalResearchLaboratory,US KaisaNyberg NokiaResearchCenter,Finland Choon-SikPark ElectronicsandTelecommunicationResearchInstitute,Korea DingyiPei AcademiaSinica,China SteveRoberts WithamPtyLtd,Australia ConferenceOrganization VII GregRose Qualcomm,Australia RaviSandhu GeorgeMasonUniversity,US Sta ordTavares Queen sUniversity,Canada VijayVaradharajan WesternSydneyUniversity,Australia YuliangZheng MonashUniversity,Australia Referees N. Asokan ZhangJiang DingyiPei YunBai ErlandJonsson JosefPieprzyk SimonBlackburn SveinKnapskog VincentRijmen ColinBoyd HuLei SteveRoberts LawrieBrown LeszekMaciaszek GregRose BillCaelli KeithMartin ReiSafavi-Naini EdDawson CathyMeadows RaviSandhu CunshengDing BillMillan RajanShankaran GaryGaskell QiMing Sta ordTavares JanuszGetta Sang-JaeMoon VijayVaradharajan DieterGollmann YiMu Kapaleeswaran MarcGysin KennyNguyen Viswanathan YongfeiHan KaisaNyberg ChuanWu ThomasHardjono Choon-SikPark YuliangZheng. TableofContents BooleanFunctions BooleanFunctionDesignUsingHillClimbingMethods WilliamMillan,AndrewClark,andEdDawson. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 EnumerationofCorrelationImmuneBooleanFunctions SubhamoyMaitraandPalashSarkar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 OntheSymmetricPropertyofHomogeneousBooleanFunctions ChengxinQu,JenniferSeberry,andJosefPieprzyk. . . . . . . . . . . . . . . . . . . . . . . . 26 KeyManagement PubliclyVeri ableKeyEscrowwit.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1999, 1999
- 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 -Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA 99,heldinL Aquila,on7-9 April1999. It contains25contributions. Fiftywere submitted, their overallqualitywas high, a…nd selection was di cult. The Programme Committee is very grateful toeveryonewhosubmittedapaper. Italsocontainstwopapersintroducingthe demos of tlcasoftware ,i. e. industrialproductsmakinguseoftypedlamb- calculi. Thetutorialson DenotationalsemanticsbyThomasEhrhardandJohnLongley,and IntersectiontypesbyMarioCoppoandMariangiolaDezaniarenotincluded inthisvolume. Theeditor wishestothankthemembersoftheProgrammeCommitteeand theOrganizingCommitteelisted, fortheir hard work andsupport, witha s- cial mention for Benedetto Intrigila. He also thanks Corrado Boh m for kindly acceptingthe taskofdeliveringabanquetspeech. Theeditor alsoexpresses hisgratitude to allthereferees listed on the next page,as wellas tothose whowishnotto belisted fortheiressential assistance andtimegenerouslygiven. Marseille,January1999 Jean-YvesGirard ProgrammeCommittee S. Abramsky(Edinburgh) T. Coquand(Got eborg) J. -Y. Girard(Marseille)(Chair) R. Hindley(Swansea) J. -L. Krivine(Paris) J. Reynolds(Pittsburgh) S. Ronchi(Torino) A. Scedrov(Philadelphia) T. Streicher(Darmstadt) M. Takahashi(T oky o) P. Urzyczyn(Warszawa) OrganizingCommittee F. Corradini,A. Formisano,B. Intrigila,(Chair),M. -C. Meo, M. Nesi,A. Pierantonio,I. Salvo,S. Sorgi (Dip. Matematica, L AquilaandDip. Informatica,LaSapienza, Roma) Referees Y. Akama T. Altenkirch F. Barbanera H. Barendregt O. Bastonero S. Berardi A. Berarducci C. Berline V. Bono M. Bugliesi F. Cardone G. Castagna I. Cervesato G. Chen R. Cockett A. Compagnoni M. Coppo T. Crolard P. -L. Curien V. Danos R. Davies P. DeGroote U. DeLiguoro M. Dezani R. Dickho H. Geuvers N. Ghani P. Giannini S. Guerrini B. Harper R. Hasegawa H. Herbelin M. Hofmann K. Honda R. Jagadeesan T. Jim Y. Kameyama M. Kanovich R. Kashima Y. Kinoshita T. Kurata Y. Lafont J. Laird F. Lamarche P. B. Levy C. McBride M. Marz R. Matthes P. -A. Mellies G. Mitschke H. Nickau S. Nishizaki M. Parigot C. Paulin F. Pfenning B. 412 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Mär 1999, 1999
- 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 -ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This…year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 264 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands, Springer Netherlands Mär 1999, 1999
Serie: Libro 26 di 46 - Studies in Linguistics and Philosophy
- 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 collection of papers reports our attempt to sketch how Japanese grammar can be represented in a constraint-based formalism. Our first attempt of this nature appeared a decade ago as Japanese Phrase Structure Grammar (Gunji 198…7) and in several papers following the publication of the book. This book has evolved from a technical memo that was a progress report on the Japanese phrase structure grammar (JPSG) project, which was conducted as an activity of the JPSG Working Group at ICOT (Institute for New-Generation Computing Technology) from 1984 to 1992. JPSG implements ideas from recent developments in phrase structure grammar formalism, such as head-driven phrase structure grammar (HPSG), (see Pollard & Sag 1987, 1994) as applied to the Japanese language. The main goal of this project was to state various grammatical regularities exhibited in natural language in general (and in Japanese in particular) as a set of local constraints. The book is organized in two parts. Part I gives an overview of developments in our framework after the publication of Gunji (1987), introducing our fundamental assumptions as well as discussing various aspects of Japanese in the constraint based formalism and summarizing discussions of the JPSG Working Group during the above-mentioned period. Naturally, in the period after the publication of the above book, our discussion was centered on topics not covered in the book. 280 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands, Springer Netherlands Mär 1999, 1999
- 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 58,84
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 -Locality in WH Quantification argues that Logical Form, the level that mediates between syntax and semantics, is derived from S-structure by strictly local movement. The primary data for the claim of locality at LF is drawn from Hi…ndi but English data is used in discussing the semantics of questions and relative clauses. The book takes a cross-linguistic perspective showing how the Hindi and English facts can be brought to bear on the theory of universal grammar. There are several phenomena generally thought to involve long-distance dependencies at LF, such as scope marking, long-distance list answers and correlatives. In this book they are handled by explicating novel types of local relationships that interrogative and relative clauses can enter. Amore articulated semantics is shown leading to a simpler syntax. Among other issues addressed is the switch from uniqueness/maximality effects in single WH constructions to list readings in multiple WH constructions. These effects are captured by adapting the treatment of WH expressions as quantifying over functions to the cases of multiple WH questions and correlatives. List readings due to functional dependencies are systematically distinguished from those that are based on plurality. 268 pp. Englisch.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,79
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 -An update and revision of the best selling book on the physics of golf, with new material added on putting, the latest technology in modern golf clubs, more applications of physics to the usual problems every player faces, and revised…references, Written by a physicist (who is also a life-long golfer) for the educated and curious golfer, this book is the only one on the market devoted exclusively to explaining the science behind a successful golf game.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Englisch.
Lingua: Inglese
Editore: Springer, Copernicus Mär 1999, 1999
Serie: Libro 5 di 40 - Statistics for Social and Behavioral Sciences
- 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 -Ordinal Data Modeling is a comprehensive treatment of ordinal data models from both likelihood and Bayesian perspectives. Written for graduate students and researchers in the statistical and social sciences, this book describes a coherent fra…mework for understanding binary and ordinal regression models, item response models, graded response models, and ROC analyses, and for exposing the close connection between these models. A unique feature of this text is its emphasis on applications. All models developed in the book are motivated by real datasets, and considerable attention is devoted to the description of diagnostic plots and residual analyses. Software and datasets used for all analyses described in the text are available on websites listed in the preface.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.
- 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 -International Monetary Cooperation among the United States, Japan, and Germany offers a first - and overdue - book- length study of counterproductive cooperation. It takes to task the critical importance of conducting systematic theory-guided… empirical research to examine the validity of arguments that international monetary cooperation could be highly counterproductive. This book combines various methods - formal, quantitative, and qualitative - to study the theories of counterproductive monetary cooperation by focusing on the cooperative episodes among the major industrial countries - the United States, Japan, and Germany.For the first time, this book presents all theories of counterproductive cooperation in one place, subjects them to systematic, empirical scrutiny in the light of the experience of G-3 (U.S., Germany, and Japanese) cooperation since the 1970s, and suggests policy recommendations in the light of the findings.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 132 pp. Englisch.
- Brossura
- 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
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Yearbook compiles the most recent, widespread developments of experimental and clinical research and practice in one comprehensive reference book. The chapters are written by well recognized experts in their field of intensive care… and emergency medicine. It is addressed to everyone involved in internal medicine, anesthesia, surgery, pediattrics, intensive care and emergency medicine. (With approximately 90 contributions.)Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 740 pp. Englisch.
- Brossura
- 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
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is the Proceedings of the First International Conference on Advanced Multimedia Content Processing (AMCP ¿98). With the remarkable advances made in computer and communication hardware/software system technologies, we can no…w easily obtain large volumes of multimedia data through advanced computer networks and store and handle them in our own personal hardware. Sophisticated and integrated multimedia content processing technologies, which are essential to building a highly advanced information based society, are attracting ever increasing attention in various service areas, including broadcasting, publishing, medical treatment, entertainment, and communications. The prime concerns of these technologies are how to acquire multimedia content data from the real world, how to automatically organize and store these obtained data in databases for sharing and reuse, and how to generate and create new, attractive multimedia content using the stored data. This conference brings together researchers and practitioners from academia, in dustry, and public agencies to present and discuss recent advances in the acquisition, management, retrieval, creation, and utilization of large amounts of multimedia con tent. Artistic and innovative applications through the active use of multimedia con tent are also subjects of interest. The conference aims at covering the following par ticular areas: (1) Dynamic multimedia data modeling and intelligent structuring of content based on active, bottom up, and self organized strategies. (2) Access archi tecture, querying facilities, and distribution mechanisms for multimedia content.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch.
- Brossura
- 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
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Demonstration.- The Coordination Language Facility and Applications.- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.- Contributions.- Modules in Non-commutative Logic.- Elementary Complexity and Geo…metry of Interaction.- Quantitative Semantics Revisited.- Total Functionals and Well-Founded Strategies.- Counting a Type's Principal Inhabitants.- Useless-Code Detection and Elimination for PCF with Algebraic Data Types.- Every Unsolvable Term has a Decoration.- Game Semantics for Untyped -Calculus.- A Finite Axiomatization of Inductive-Recursive Definitions.- Lambda Definability with Sums via Grothendieck Logical Relations.- Explicitly Typed -Calculus for Polymorphism and Call-by-Value.- Soundness of the Logical Framework for Its Typed Operational Semantic.- Logical Predicates for Intuitionistic Linear Type Theories.- Polarized Proof-Nets: Proof-Nets for LC.- Call-by-Push-Value: A Subsuming Paradigm.- A Study of Abramsky's Linear Chemical Abstract Machine.- Resource Interpretations, Bunched Implications and the -Calculus (Preliminary Version).- A Curry-Howard Isomorphism for Compilation and Program Execution.- Natural Deduction for Intuitionistic Non-commutative Linear Logic.- A Logic for Abstract Data Types as Existential Types.- Characterising Explicit Substitutions which Preserve Termination.- Explicit Environments.- Consequences of Jacopini's Theorem: Consistent Equalities and Equations.- Strong Normalisation of Cut-Elimination in Classical Logic.- Pure Type Systems with Subtyping.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch.
- Brossura
- 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
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers prese…nted were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch.
- Brossura
- 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
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate fo…rmalization in precise mathematical definitions. Prototyping can can be used as a means for checking the functional behaviour at this early stage of development. The ade quate specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. A prerequisite for applying this approach is to have a suitable mechanical support. This volume contains the proceedings of the International Workshop Tool Support for System Specification, Development and Verification organized June 1 - 4, 1998, in Malente, Germany. This workshop is the third in a series of events devoted to this topic. The first two workshops were held in 1994 in Kiel and 1996 in Bremen, Germany. The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems. The workshop covers the spectrum from verification tools to graphical editors and compilers. The program of the workshop included an invited lecture and 26 talks. The invited lecture was given by F.W. von Henke (University ofUlm) on Mechanized formal methods and system design.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.
- Brossura
- 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
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Business Intelligence is an umbrella term, broadly covering the processes involved in extracting valuable business information from the mass of data that exists within a typical enterprise. This book concentrates on two aspects of Busi…ness Intelligence, together with the associated IBM products: Data Warehousing - IBM's Visual Warehouse OLAP (On-Line Analytical Processing) - IBM' DB2 OLAP Server If you are a Manager needing an overview of data warehousing and OLAP or a Practitioner needing to understand and use these tools then this book will provide you with all the information you need to make the most of Business Intelligence.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Mär 1999, 1999
Serie: Libro 29 di 43 - Theoretical and Mathematical Physics
- 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 -Most of the interesting and difficult problems in statistical mechanics arise when the constituent particles of the system interact with each other with pair or multipartiele energies. The types of behaviour which occur in systems because of…these interactions are referred to as cooperative phenomena giving rise in many cases to phase transitions. This book and its companion volume (Lavis and Bell 1999, referred to in the text simply as Volume 1) are princi pally concerned with phase transitions in lattice systems. Due mainly to the insights gained from scaling theory and renormalization group methods, this subject has developed very rapidly over the last thirty years. ' In our choice of topics we have tried to present a good range of fundamental theory and of applications, some of which reflect our own interests. A broad division of material can be made between exact results and ap proximation methods. We have found it appropriate to inelude some of our discussion of exact results in this volume and some in Volume 1. Apart from this much of the discussion in Volume 1 is concerned with mean-field theory. Although this is known not to give reliable results elose to a critical region, it often provides a good qualitative picture for phase diagrams as a whole. For complicated systems some kind of mean-field method is often the only tractable method available. In this volume our main concern is with scaling theory, algebraic methods and the renormalization group.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.
