Springer berlin heidelberg sep 2000 (94 risultati)
Lingua: Tedesco
Editore: Springer, Springer Berlin Heidelberg Sep 2000, 2000
- Brossura
Da: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermaniaRheinberg-Buch Andreas Meier eK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware -Der schnelle und präzise Zugriff auf Daten und Fakten der Mathematik für Ingenieure, Informatiker, Naturwissenschaftler und Wirtschaftswissenschaftler. Vor allem gedacht für Studenten und Anwender.Das neue Standard-Nachschlagewerk, das jetzt in der dritten, durchgesehenen Auflage vorliegt,…bietet dem Leser in moderner, übersichtlicher und handlicher Aufmachung alle wichtigen mathematischen Formeln, Tabellen, Definitionen und Sätze zum schnellen und sicheren Nachschlagen. Neben den klassischen Disziplinen wie Algebra, Geometrie und Analysis werden auch Gebiete von aktuellem Interesse wie Wahrscheinlichkeitsrechnung, Statistik und Numerik behandelt. Der Anwender findet u.a. Kapitel der neuesten Mathematik über nichtlineare und dynamische Optimierung, Kodierung, schnelle Fouriertransformation, Graphen und Digraphen.Die ideale Ergänzung zur 'Höheren Mathematik' von Meyberg-Vachenauer. 560 pp. Deutsch.
Lingua: Tedesco
Editore: Springer, Springer Berlin Heidelberg Sep 2000, 2000
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,99
EUR 64,19 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Der schnelle und präzise Zugriff auf Daten und Fakten der Mathematik für Ingenieure, Informatiker, Naturwissenschaftler und Wirtschaftswissenschaftler. Vor allem gedacht für Studenten und Anwender.Das neue Standard-Nachschlagewerk, das jetzt in de…r dritten, durchgesehenen Auflage vorliegt, bietet dem Leser in moderner, übersichtlicher und handlicher Aufmachung alle wichtigen mathematischen Formeln, Tabellen, Definitionen und Sätze zum schnellen und sicheren Nachschlagen. Neben den klassischen Disziplinen wie Algebra, Geometrie und Analysis werden auch Gebiete von aktuellem Interesse wie Wahrscheinlichkeitsrechnung, Statistik und Numerik behandelt. Der Anwender findet u.a. Kapitel der neuesten Mathematik über nichtlineare und dynamische Optimierung, Kodierung, schnelle Fouriertransformation, Graphen und Digraphen.Die ideale Ergänzung zur 'Höheren Mathematik' von Meyberg-Vachenauer.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,40
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph deals with recent questions of conformal geometry. It provides in detail an approach to studying moduli spaces of conformal structures, using a new canonical metric for conformal structures. This book is accessible t…o readers with basic knowledge in differential geometry and global analysis. It addresses graduates and researchers. 136 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 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 -The papers in this book present various viewpoints on the design and - plementation of techniques for QoS engineering for Internet services.They were selected from more than 70 submissions to the 1st International workshop on 'Qual…ity of future Internet services' (QofIS) organized by COST Action 263. The main focus of the papers is on the creation, con guration and deployment of end-to-end services over a QoS assured Internet using the IntServ (Integrated Services) and Di Serv (Di erentiated Services) models. The main technical p- gramme was completed by two keynote talks: IETF Chair Fred Baker opened the workshop with a discussion on major Internet development directions and Andrew M. Odlyzko of AT&T Labs Research gave the closing talk on Internet charging issues. The presentation of papers was organised in 9 sessions. The emphasis of Session 1 is on an assessment of the essential building blocks for a QoS assured Internet, i.e., queueing and scheduling, which basically de nes the space for end-to-end services. The papers of this session discuss the bounds we may expect from these building blocks, the issues of queueing and scheduling management, and the parameters we need to tune in a dynamic implementation. Flow control and congestion control cannot be considered without regard to the dominating impact of TCP. The keyword of Session 2 is, therefore, Intern- friendly adaptation. Four papers in this session are complementary and together present an emerging understanding of a basic optimal area for such adaptation. 384 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 -Increasing customer requirements, product variety, and market competition demand for service and cost improvements by model based inventory control in supply chains. The book presents approaches for safety stock determination in ma…nufacturing and logistics networks. Most of the existing literature provides methods for very specific types of supply networks. The approach presented in this book follows a material flow philosophy that allows for several extensions of the basic models and therefore offers a wide applicability within decision support systems. Models for several types of problems and network structures are presented and analyzed to develop efficient optimization algorithms and heuristics. 232 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 -Since 1998, RAID has established its reputation as the main event in research on intrusion detection, both in Europe and the United States. Every year, RAID gathers researchers, security vendors and security practitioners to listen… to the most recent research results in the area as well as experiments and deployment issues. This year, RAID has grown one step further to establish itself as a well-known event in the security community, with the publication of hardcopy proceedings. RAID 2000 received 26 paper submissions from 10 countries and 3 continents. The program committee selected 14 papers for publication and examined 6 of them for presentation. In addition RAID 2000 received 30 extended abstracts proposals; 15 of these extended abstracts were accepted for presentation. - tended abstracts are available on the website of the RAID symposium series, We would like to thank the technical p- gram committee for the help we received in reviewing the papers, as well as all the authors for their participation and submissions, even for those rejected. As in previous RAID symposiums, the program alternates between fun- mental research issues, such as newtechnologies for intrusion detection, and more practical issues linked to the deployment and operation of intrusion det- tion systems in a real environment. Five sessions have been devoted to intrusion detection technology, including modeling, data mining and advanced techniques. 244 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 -A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there seems to be…little consensus on the basics of agent communication and there is no clear understanding of the semantics of individual speech acts or even of the basic concepts that should be used to define the semantics.This book documents two workshops on communication in MAS held in 1999, one on Specifying and Implementing Conversation Policies (SICP) and the other in Agent Communication Languages and presents the current state of the art of research in the field. A detailed introductory overview by the volume editors highlights a number of issues that play an important role in agent communication. 332 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of the workshops associated with the ER2000 19th International Conference on Conceptual Modeling was to give participants the opportunity to present and discuss emerging, hot topics, thus adding new perspectives to co…nceptual modeling. This attracts communities which have begun to or which have already recognized the importance of conceptual modeling for solving their problems. To meet this objective, we selected the following two topics: { Conceptual Modeling Approaches for E-Business (eCOMO2000) aimed at studying the application of conceptual modeling techniques speci cally to e-business. { The World Wide Web and Conceptual Modeling (WCM2000) which analyzes how conceptual modeling can help address the challenges of Web devel- ment, management, and use. eCOMO2000 is the rst international workshop on Conceptual Modeling - proaches for E-Business. It was intended to work out and to discuss the actual state of research on conceptual modeling aspects and methods within the realm of the network economy, which is driven by both traditionally organized ent- prises and dynamic networks. Following the philosophy of the ER workshops, the selection of eCOMO contributions was done very carefully and restrictively (six accepted papers out of thirteen submissions) in order to guarantee an excellent workshop program. We are deeply indebted to the authors and to the members of the program committee, whose work resulted in this outstanding program. 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 -Since 1984, the Arti cial Intelligence: Methodology, Systems, and Appli- tions (AIMSA) conference series has provided a biennial forum for the pres- tation of arti cial intelligence research and development. The conference covers t…he full range of topics in AI and related disciplines and provides an ideal - rumforinternationalscienti cexchangebetweencentral/easternEuropeandthe rest of the world. The AIMSA conferences were previously chaired by Wolfgang Bibel, Tim O Shea, Philippe Jorrand,Ben du Boulay, Allan Ramsay and Fausto Giunchiglia. AIMSA 2000 is sponsored by ECCAI, the European Coordinating Committee for Arti cial Intelligence. The AIMSA 2000 call for papers suggested that authors focus on Web p- cessing: knowledge construction from the Web, agents and communication l- guages, Web-based documents and interfaces, distance learning and electronic commerce. The importance of the conference for AI, and computer science - search in general, was re ected by the presence of 60 quali ed papers, out of which 34 were selected for publication by the Program Committee. Each paper was submitted to at least two independent referees and, in order to be accepted, had to be accepted by at least two of them. The high percentage of the accepted papers re ects the autonomy of the Program Committee members, who judged that more than 50% of the contributions were worth publishing in the Proce- ings. Most rejected paperswerenot consideredofa lowscienti c quality,but the Program Committee members judged that the required revisions on the texts could not be completed in the time required to allow editing of the paper before the nal presentation. 384 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2000, 2000
Serie: Libro 35 di 173 - Advances in Anatomy, Embryology and Cell Biology
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sex differences are observed in various physiological, behavioral, and psychic functions, including reproductive behavior, aggres sion, emotions, and cognition. Such differences are expressed even in early childhood with preference…s to definite activities. It has been generally accepted that differences between genders are formed under the influence of biological as well as environmental factors. The existence of sex differences in functions of the central nervous system has suggested that there are also morphological sex differences. In recent years several reports on sexual dimorphism in the brain of vertebrates have been published. However, the mecha nisms of sexual differentiation of the central nervous system remain unclear in most cases. It is often difficult to correlate morphological sex differences to differences in definite function or behavior. We set out to explore the sexual dimorphism of the limbic system and especially the bed nucleus of the stria terminalis and the amygdala, which are considered generally to be occupied with the control of reproductive behavior and autonomic and compli cated psychic functions. Several reports on sexual dimorphism of these structures have been published. Some of them have been directed to the total neuronal number and the volume of the nuclei, while others have concentrated on definite subpopula tions of neurons. In many cases the mechanisms of sexual differ entiation were tested, but sometimes they could not be estab lished. 92 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 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 previous work [6], we presented a novel information theoretic approach for calculating fMRI activation maps. The information-theoretic approach is - pealing in that it is a principled methodology requiring few assumptions about…the structure of the fMRI signal. In that approach, activation was quanti ed by measuring the mutual information (MI) between the protocol signal and the fMRI time-series at a givenvoxel.This measureis capable of detecting unknown nonlinear and higher-order statistical dependencies. Furthermore, it is relatively straightforward to implement. In practice,activation decisions at eachvoxelareindependent of neighboring voxels. Spurious responses are then removed by ad hoc techniques (e.g. morp- logicaloperators).Inthispaper,wedescribeanautomaticmaximumaposteriori (MAP) detection method where the well-known Ising model is used as a spatial prior.The Isingspatialpriordoes not assumethat the time-seriesofneighboring voxelsareindependentofeachother.Furthermore,removalofspuriousresponses is an implicit component of the detection formulation. In order to formulate the calculation of the activation map using this technique we rst demonstrate that the information-theoretic approach has a natural interpretation in the hypo- esis testing framework and that, speci cally, our estimate of MI approximates the log-likelihood ratio of that hypothesis test. Consequently, the MAP det- tion problem using the Ising model can be formulated and solved exactly in polynomial time using the Ford and Fulkerson method [4]. We compare the results of our approach with and without spatial priors to an approachbased on the general linear model (GLM) popularized by Fristonet al [3]. We present results from three fMRI data sets. The data sets test motor, auditory, and visual cortex activation, respectively. 1312 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 -USM 2000 is the third event in a series of international IFIP/GI conferences on Trends in Distributed Systems. Following the venues in Aachen, Germany (1996) and Hamburg, Germany (1998), this event in Munich considers the trend tow…ards a Universal Service Market - USM 2000. The trend towards a universal service market has many origins, e.g., the integration of telecom and data communications, the deregulation e orts with respect to telco markets, the globalization of information, the virtualization of companies, the requirement of a short time-to-market, the advances in network technologies, the increasing acceptance of e-commerce, and the increase in - bility. This leads to new business-to-business (B2B) and business-to-customer (B2C) environments that o er both challenges and opportunities to enterprises and end-users. There is the need for ubiquitous services, trading, brokering and information management, for service market and business models, and for e- ble infrastructures for dynamic collaboration. Researchers, service vendors, and users must cooperate to set up the app- priate requirements for a universal service market and to nd solutions with respect to supporting platforms, middleware, distributed applications, and m- agement. The basis for these solution is a common understanding of means for de ning, creating, implementing, and deploying the service market. Then, s- vice market makers, service aggregators, service auctioneers, ISP, ASP, BPO, and customers can freely interact in a dynamic, open, and universal market place. 356 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-workshop proceedings of the International Workshop on Vision Algorithms held in Corfu, Greece in September 1999 in conjunction with ICCV'99.The 15 revised full papers presented wer…e carefully reviewed and selected from 65 submissions; each paper is complemented by a brief transcription of the discussion that followed its presentation. Also included are two invited contributions and two expert reviews as well as a panel discussion. The volume spans the whole range of algorithms for geometric vision. The authors and volume editors succeeded in providing added value beyond a mere collection of papers and made the volume a state-of-the-art survey of their field. 400 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 -Envisioning Machine Translation in the Information Future When the organizing committee of AMTA-2000 began planning, it was in that brief moment in history when we were absorbed in contemplation of the passing of the century and th…e millennium. Nearly everyone was comparing lists of the most important accomplishments and people of the last 10, 100, or 1000 years, imagining the radical changes likely over just the next few years, and at least mildly anxious about the potential Y2K apocalypse. The millennial theme for the conference, 'Envisioning MT in the Information Future,' arose from this period. The year 2000 has now come, and nothing terrible has happened (yet) to our electronic infrastructure. Our musings about great people and events probably did not ennoble us much, and whatever sense of jubilee we held has since dissipated. So it may seem a bit obsolete or anachronistic to cast this AMTA conference into visionary themes. 276 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 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 -The ideas for this book were conceived during the last years when I was with GIs groups at the Technical University of Darmstadt (group of Hans Jorg Schek) and at Bonn University (group of din B. Cremers). The results in the book a…re closely connected with two research projects that have been supported by the German Research Foundation (DFG): the collaborative re search centre (SFB 350) 'Interactions between and Modelling of Continental Geosystems' which was set up at Bonn University and the joint project 'Interoperable Geoinformation Sys tems (IOGIS)'. First and foremost, I am very grateful to Armin B. Cremers for the supervision of my habil itation thesis and the support of the GIs group. In the same way I am indebted to Agemar Siehl for his support during many years of collaborative work and for reading the manuscript from a geological view point at short notice. Without him I would not have arrived at Bonn at all. I thank Rainer Manthey for his valuable hints and Horst Neugebauer for his engagement within the SFB 350. He motivated me to write the English manuscript. 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 -This book constitutes the refereed proceedings of the Second International Working Conference on Active Networks, IWAN 200, held in Tokyo, Japan in October 2000. The 30 revised full papers presented were carefully reviewed and sele…cted from numerous submissions. The book offers topical sections on architecture, multicast, quality of service (QoS), applications, management, service architecture, and mobile IP. 444 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 -ThisvolumecontainscontributedpapersfromparticipantsintheGenericP- gramming Seminar held 27 April 1May1998atthDagstuhl e Conference CenterinWadern,Germany. Genericprogrammingisasub-disciplineofcomputersciencethatdealswith nding abst…ract representations of e cient algorithms, data structures, and other software concepts, and with their systematic organization. The goal of genericprogrammingistoexpressalgorithmsanddatastructuresinabroadly adaptable,interoperableformthatallowstheirdirectuseinsoftwareconstr- tion. Amongthemostobviousachievementsofthisrelativelynewprogramming paradigmarenewlibrariesofsoftwarecomponents,bothinareasoffundam- talandbroadlyusedalgorithmsanddatastructures theStandardTemplate Library andinmorespecializedareassuchascomputeralgebra,graphtheory, and computational geometry. As useful as such components may be, however, theyareprobablylessimportantthantheoverallgenericprogrammingmeth- ologybeingdeveloped. Thepaperscollectedherearereportsfromthe eldonthe majorproblemsandemergingsolutionsofgenericprogrammingmethodology. June2000 MehdiJazayeri Rudige rLoos DavidMusser VI Organization Organization The Generic Programming Seminar was held 27 April 1May 1998 at the ConferenceCenteroftheSchloßDagstuhl,locatedinWadern,Germany(near Saarbruc ken). Therewerefortynineattendeesfromtencountries. Theformal programofthemeetingincludedthirtysevenlectures,apanelsessiononsoftware librarystandardization,andadiscussionofopenproblemsandprojects. Many informaldiscussionsalsotookplace,oneofthemanybene tsoftheDagstuhl setting. The traditional Dagstuhl social event was at this meeting a Baroque concertheldinthechapeloftheSchloß. Organizers MehdiJazayeri TechnicalUniversityofVienna R udigerLoos Tubingen University DavidMusser RensselaerPolytechnicInstitute AlexanderStepanov SGI Attendees DavidAbrahams MarkoftheUnicorn,Inc. GiuseppeAttardi UniversityofPisa MattAustern SGI UlrichBreymann HochschuleBremen StephenCerniglia RensselaerPolytechnicInstitute GeorgeCollins UniversityofDelaware JamesCrotinger LosAlamosNationalLab KrzysztofCzarnecki Daimler-Benz JamesDehnert SGI AngelDiaz IBMWatsonResearchCenter AxelDold UlmUniversity MatthewDwyer KansasStateUniversity UlrichEisenecker FachhochschuleHeidelberg HolgerGast Tubingen University RobertGluc k CopenhagenUniversity FriedrichvonHenke UniversityofUlm HoonHong NorthCarolinaStateUniversity MehdiJazayeri TechnicalUniversityofVienna JohannJeuring UtrechtUniversity NicolaiJosuttis Bredex ErichKaltofen NorthCarolinaState UllrichKothe RostockUniversity Organization VII UweKreppel Tubingen University WolfgangKuc hlin Tubingen University DietmarKuhl KonstanzUniversity GaryLeavens IowaStateUniversity KarlLieberherr NortheasternUniversity R udigerLoos Tubingen University KurtMehlhorn MPI,Saarbruc kenUniversity DavidMusser RensselaerPolytechnicInstitute StefanN aher HalleUniversity OscarNierstrasz BernUniversity MartinOdersky UniversityofSouthAustralia WilliamOgden OhioStateUniversity ArturoSanchez-Ruiz UniversityofCentralVenezuela StefanSchirra Saarbruc kenUniversity WolfgangSchreiner RISC-Linz SibylleSchupp RensselaerPolytechnicInstitute ChristophSchwarzweller Tubingen University MuraliSitaraman W. VirginiaUniversity GeorgTrausmuth TechnicalUniversityofVienna DavidVandevoorde Hewlett-Packard ToddVeldhuizen UniversityofWaterloo BruceWeide OhioStateUniversity KarstenWeihe KonstanzUniversity RolandWeiss Tubingen University ReinhardWilhelm Saarbruc kenUniversity AlexandreZamulin RussianAcademyofSciences,Novosibirsk WolfZimmermann KarlsruheUniversity TableofContents FoundationsandMethodologyComparisons FundamentalsofGenericProgramming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 JamesC. Dehnert,AlexanderStepanov(SiliconGraphics,Inc. ) RequirementOrientedProgramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 DavidMusser,SibylleSchupp(RensselaerPolytechnicInstitute), R udigerLoos(UniversityofTubin.
- 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 first International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS) was organized by Prof. K. Rothermel and Prof. W. Effelsberg, and took place in Stuttgart in 1992. It had the form…of a national forum for discussion on multimedia issues related to communications. The succeeding event was 'attached' as a workshop to the German Computer Science Conference (GI Jahrestagung) in 1994 in Hamburg, organized by Prof. W. Lamersdorf. The chairs of the third IDMS, E. Moeller and B. Butscher, enhanced the event to become a very successful international meeting in Berlin in March 1996. This short overview on the first three IDMS events is taken from the preface of the IDMS'97 proceedings (published by Springer as Lecture Notes in Computer Science, Volume 1309), written by Ralf Steinmetz and Lars Wolf. Both, Ralf Steinmetz as general chair and Lars Wolf as program chair of IDMS'97, organized an excellent international IDMS in Darmstadt. Since 1998, IDMS has moved from Germany to other European cities to emphasize the international character it had gained in the previous years. IDMS'98 was organized in Oslo by Vera Goebel and Thomas Plagemann at UniK - Center for Technology at Kjeller, University of Oslo. Michel Diaz, Phillipe Owezarski, and Patrick Sénac successfully organized the sixth IDMS event, again outside Germany. IDMS'99 took place in Toulouse at ENSICA. IDMS 2000 continued the tradition and was hosted in Enschede, the Netherlands. 324 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 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 book provides a self-contained introduction to the mathematical theory of non-smooth dynamical problems, as they frequently arise from mechanical systems with friction and/or impacts. It is aimed at applied mathematicians, engi…neers, and applied scientists in general who wish to learn the subject. 244 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 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 -The algebraic approach to system speci cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci cation fra- works a…nd programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT 99) took place at the Chat eau de Bonas, near Toulouse, September 15 18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: algebraic speci cation other approaches to formal speci cation speci cation languages and methods term rewriting and proof systems speci cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci cations and other speci cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re nement, institutions and categories, ASM speci cations. There were also sessions re ecting - going research achieved in the Common Framework Initiative (CoFI, see within its di erent task groups: CASL (Common Algebraic Speci cation Language), CASL semantics, CASL tools, methodology, and reactive systems. 500 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 -his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000.The 19 revised full papers presented were carefully reviewed and sele…cted from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents. 340 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is a pleasure for us to present the contributions of the First International Symposium on Medical Data Analysis. Traditionally, the eld of medical data analysis can be devided into classical topics such as medical statistics, su…r- val analysis, biometrics and medical informatics. Recently, however, time series analysis by physicists, machine learning and data mining with methods such as neural networks, Bayes networks or fuzzy computing by computer scientists have contributed important ideas to the led of medical data analysis. Although all these groups have similar intentions, there was nearly no exchange or discussion between them. With the growing possibilities for storing and ana- zing patient data, even in smaller health care institutions, the need for a rational treatment of all these data emerged as well. Therefore, the need for data exchange and presentation systems grew also. The goal of the symposium is to collect all these relevant aspects together. It provides an international forum for the sharing and exchange of original re- arch results, ideas and practical experiences among researchers and application developers from di erent areas related to medical applications dealing with the analysis of medical data. After a thorough reviewing process, 33 high quality papers were selected from the 45 international submissions. These contributions provided the di erent - pects of the eld in order to represent us with an exciting program. 332 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers…and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis. 244 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Sep 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 this monograph, Joachim Baumann provides in-depth coverage of essential research issues; namely, mechanisms for locating and terminating mobile agents and for orphan detection in a mobile agent system. The reader will gain insig…hts into the design and implementation of three control mechanisms for use in mobile agent systems: the energy concept, the path concept, and the shadow concept. The author examines these mechanisms and offers a solid argument as to why they would be better choices over existing mechanisms with respect to message complexity, migration delay, and availability. All in all, this book is an outstanding contribution to advancing the science of mobile agents and it will help the community better understand how to tame mobile agents. 188 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 2nd International Workshop on - gebraic Frames for the Perception and Action Cycle. AFPAC 2000. held in Kiel, Germany, 10-11 September 2000. The presented topics cover new results in the…conceptualization, design, and implementation of visual sensor-based robotics and autonomous systems. Special emphasis is placed on the role of algebraic modelling in the relevant disciplines, such as robotics, computer vision, theory of multidimensional signals, and neural computation. The aims of the workshop are twofold: rst, discussion of the impact of algebraic embedding of the task at hand on the emergence of new qualities of modelling and second, facing the strong relations between dominant geometric problems and algebraic modelling. The rst workshop in this series, AFPAC'97. inspired several groups to i- tiate new research programs, or to intensify ongoing research work in this eld, and the range of relevant topics was consequently broadened, The approach adopted by this workshop does not necessarily t the mainstream of worldwide research-granting policy. However, its search for fundamental problems in our eld may very well lead to new results in the relevant disciplines and contribute to their integration in studies of the perception-action cycle. 364 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 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 -The papers collected here are those selected for presentation at the Second International Symposium on Handheld and Ubiquitous Computing 2000 (HUC 2000) held in Bristol, UK in September 2000. The symposium was the second in a serie…s of symposia which explores new research in the area of emerging mobile, personal, and handheld technologies. The first event, HUC'99, was held in Karlsruhe (Germany), organised by the Telecooperation Office (TecO) of the University of Karlsruhe in close collaboration with the Center for Arts and Media Technology (ZKM). This previous event, the first of its kind in the world, attracted a large number of paper submissions, was attended by over 200 international delegates, and demonstrated the growing international interest in the area with contributions from the United States, Japan and Europe. The 18 papers collected here were chosen from 70 submissions to HUC 2000, and represent a valuable resource for those wishing to understand the themes being pursued in this vibrant and exciting area of technology. The papers range from work on intelligent environment and devices, user experience, and interface design, to research in context aware systems, wearable computing, and location-based services. Together, the papers represent a snapshot of the state of the art in research in handheld and ubiquitous computing. The symposium also attracted a large number of short paper submissions, and these are available in the Springer journal Personal Technologies volume 4, number 4, which was published in tandem with these proceedings. 260 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 six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few… interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG). There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries. 324 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Sep 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 the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group Generative and Component-Based Software Engineer…ing' of the Gesellschaft fur Informatik' FG 2.1.9 Object-Oriented Software Engineering.' This track covered a wide range of related topics from domain analysis, software system family engineering, and software product - nes, to extendible compilers and active libraries. The talks and keynotes directed towards this new software engineering paradigm received much attention and - terest from the STJA audience. Hence the STJA organizers suggested enlarging this track, making it more visible and open to wider, international participation. This is how the GCSE symposium was born. The rst GCSE symposium attracted 39 submissions from all over the world. This impressive number demonstrates the international interest in generative programming and related elds. After a careful review by the program comm- tee, fteen papers were selected for presentation. We are very grateful to the members of the program committee, all of them renowned experts, for their dedication in preparing thorough reviews of the submissions. Special thanks go to Elke Pulvermuller and Andreas Speck, who proposed and organized a special conference event, the Young Researches Workshop (YRW). This workshop provided a unique opportunity for young scientists and Ph.D. 240 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 -Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set…of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) rst emerged in the mid-eighties as a programming technique with the potential of signi cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o , resulting in a number of popular commercial solutions as well as the creation of several successful European startups. 392 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 6th International Workshop on Open Hypermedia Systems, OHS-6, and the 2nd International Workshop on Structural Computing, SC-2, held at the 11th ACM Conference o…n Hypertext and Hypermedia in San Antonio, Texas, USA in May/June 2000.The 19 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues on open hypertext systems and structural computing are addressed. 200 pp. Englisch.
