Search preferences
Vai alla pagina principale dei risultati di ricerca

Filtri di ricerca

Tipo di articolo

  • Tutti i tipi di prodotto 
  • Libri (172)
  • Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
  • Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
  • Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
  • Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
  • Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
  • Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
  • Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)

Condizioni Maggiori informazioni

  • Nuovo (172)
  • Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
  • Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
  • Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
  • Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)

Ulteriori caratteristiche

  • Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
  • Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
  • Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
  • Con foto (172)
  • Non Print on Demand (2)

Lingua (2)

Prezzo

Fascia di prezzo personalizzata (EUR)

Spedizione gratuita

  • Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)

Paese del venditore

  • Georgios Miaoulis

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642034519 ISBN 13: 9783642034510

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 106,99

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. Neuware -The purpose of this volume is to present current work of the Intelligent Computer Graphics community, a community growing up year after year. This volume is a kind of continuation of the previously published Springer volume 'Artificial Int- ligence Techniques for Computer Graphics'. Nowadays, intelligent techniques are more and more used in Computer Graphics in order, not only to optimise the pr- essing time, but also to find more accurate solutions for a lot of Computer Gra- ics problems, than with traditional methods. What are intelligent techniques for Computer Graphics Mainly, they are te- niques based on Artificial Intelligence. So, problem resolution (especially constraint satisfaction) techniques, as well as evolutionary techniques, are used in Declarative scene Modelling; heuristic search techniques, as well as strategy games techniques, are currently used in scene understanding and in virtual world exploration; multi-agent techniques and evolutionary algorithms are used in behavioural animation; and so on. However, even if in most cases the used intelligent techniques are due to Artificial - telligence, sometimes, simple human intelligence can find interesting solutions in cases where traditional Computer Graphics techniques, even combined with Artificial Intelligence ones, cannot propose any satisfactory solution. A good example of such a case is the one of scene understanding, in the case where several parts of the scene are impossible to access. 232 pp. Englisch.

  • Libro 5 di 15: Abel Symposia

    Nils Baas

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642011993 ISBN 13: 9783642011993

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 213,99

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. Neuware -The 2007 Abel Symposium took place at the University of Oslo in August 2007. The goal of the symposium was to bring together mathematicians whose research efforts have led to recent advances in algebraic geometry, algebraic K-theory, algebraic topology, and mathematical physics. A common theme of this symposium was the development of new perspectives and new constructions with a categorical flavor. As the lectures at the symposium and the papers of this volume demonstrate, these perspectives and constructions have enabled a broadening of vistas, a synergy between once-differentiated subjects, and solutions to mathematical problems both old and new. 424 pp. Englisch.

  • Jan Camenisch

    Lingua: Inglese

    Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer Okt 2009, 2009

    ISBN 10: 3642054366 ISBN 13: 9783642054365

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The working group WG 11.4 of IFIP ran an iNetSec conference a few times in the past, sometimes together with IFIP security conference, sometimes as a stand-alone workshop with a program selected from peer-reviewed submissions. When we were elected to chair WG 11.4 we asked ourselveswhether the security and also the computer science community at large bene ts from this workshop. In particular,as there aremany (too many ) securityconferences, it has become di cult to keep up with the eld. After having talked to many colleagues, far too many to list all of them here, we decided to try a di erent kind of workshop: one where people would attend to discuss open research topics in our eld, as typically only happens during the co ee breaks of ordinary conferences. Toenablethiswecalledforabstractsof2pageswheretheauthorsoutlineth e open problems that they would like to discuss at the workshop, the intent being that the author would be given 15 minutes to present the topic and another 15 minutes for discussion. These abstracts were then read by all members of the Program Committee and ranked by them according to whether they thought thiswouldleadtoaninterestingtalk and discussion. We then simply selected the abstracts that got the best rankings. We were happy to see this result in many really interesting talks and disc- sions in the courseof the workshop.Ofcourse,these lively anddirect discussions are almost impossible to achieve in a printed text. Still, we asked the authors to distill the essence of these discussions into full papers. The results are in your hands. 169 pp. Englisch.

  • Libro 34 di 126: Lecture Notes in Economics and Mathematical Systems

    Björn Lutz

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642029086 ISBN 13: 9783642029080

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The topic of this book is the development of pricing formulae for European style derivatives on assets with mean-reverting behavior, especially commodity derivatives. For this class of assets, convenience yield effects lead to mean-reversion under the risk-neutral measure. Mean-reversion in the log-price process is combined with other stochastic factors such as stochastic volatility, jumps in the underlying and the price process and a stochastic target level as well as with deterministic seasonality effects. Another focus is on numerical algorithms to calculate the Fourier integral as well as to integrate systems of ordinary differential equations. 137 pp. Englisch.

  • Adrian Paschke

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642049842 ISBN 13: 9783642049842

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 372 pp. Englisch.

  • Alexandre Schmid

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642048498 ISBN 13: 9783642048494

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 4th International Conference on Nano-Networks, Nano-Net 2009, held in Lucerne, Switherland, in October 2009. The 36 invited and regular papers address the whole spectrum of Nano-Networks and spans topis like modeling, simulation, statdards, architectural aspects, novel information and graph theory aspects, device physics and interconnects, nanorobotics as well as nano-biological systems. The volume also contains the workshop on Nano-Bio-Sensing Paradigms as well as the workshop on Brain Inspired Interconnects and Circuits. 304 pp. Englisch.

  • Terrance Swift

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642050816 ISBN 13: 9783642050817

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThepromiseoftheSemanticWeb,atits most expansive, is to allow knowledge to be freely accessed and exchanged by software. It is now recognized that if the SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to nd the righttrade-o betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on the Web. The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown into a major international forum in this area. The third RR conference was held during October 25-26, 2009 in Chantilly, Virginia, co-located with the International Semantic Web Conference (ISWC 2009). This year 41 papers were submitted from authors in 21 countries. The P- gram Committee performed outstandingly to ensure that each paper submitted to RR 2009 was thoroughly reviewed by at least three referees in a short - riod of time. The resulting conference presented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Robert Kowalski, in his talk '- tegrating Logic Programming and Production Systems with Abductive Logic Programming Agents' addressed some of the fundamental considerations - hind reasoning about evolving systems. Benjamin Grossof's talk 'SILK: Higher Level Rules with Defaults and Semantic Scalability' described the design of a major next-generation rule system. The invited tutorial 'Uncertainty Reas- ing for the Semantic Web' by Thomas Lukasiewicz provided perspectives on a central issue in this area. 280 pp. Englisch.

  • Uwe Schwiegelshohn

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642046320 ISBN 13: 9783642046322

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised papers presented were carefully reviewed and selected from 25 submissions. The papers cover all current issues of job scheduling strategies for parallel processing; this year the conference had an increasing trend towards heterogeneous and multi-core architectures. 312 pp. Englisch.

  • Günther Pernul

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 364204946X ISBN 13: 9783642049460

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. Topics addressed by the workshops are active conceptual modeling of learning (ACM-L), conceptual modeling in the large (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint international workshop on metamodels, ontologies, semantic technologies, and information systems for the semantic web (MOST-ONISW), quality of information systems (QoIS), requirements, Intentions and goals in conceptual modeling ( RIGiM) and semantic and conceptual issues in geographic information systems (SeCoGIS). 380 pp. Englisch.

  • Fangguo Zhang

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 364204641X ISBN 13: 9783642046414

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy. 288 pp. Englisch.

  • João Gama

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642047467 ISBN 13: 9783642047466

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present the proceedings of the 12th International Conference on Discovery Science (DS 2009), held in Porto, Portugal, October 3 5, 2009. DS 2009 was collocated with ALT 2009, the 20th International Conference on AlgorithmicLearningTheory,continuingthesuccessfulDSconference series. DS 2009 provided an open forum for intensive discussions and the exchange of new ideas among researchers working in the area of discovery science. The scope of the conference included the development and analysis of methods for automatic scienti c knowledge discovery, machine learning, intelligent data analysis, and theory of learning, as well as their applications. We were honored to have a very strong program. Acceptance for the conference proceedings was very compe- tive. There were 92 papers submitted, with the authors coming from roughly 20 di erent countries. All paperswere reviewedby three senior researchersfollowed by an extensive discussion. The program committee decided to accept 23 long papers (an acceptance rate of 25%) and 12 regular papers. The overall acc- tance rate was 38%. The contributed papers cover a wide range of topics, from discovery in general to data mining in particular. In addition to the technicalpapers, we weredelighted to have ve prestigious invited speakers and two tutorials. Fernando Pereira, University of Penns- vania, USA, presented new fundamental questions that should be investigated in natural language processing in web mining. Hector Ge ner, from Pompeu Fabra University, Spain, discussed learning methods for solving complete pl- ning domains. 492 pp. Englisch.

  • Ashish Goel

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642030750 ISBN 13: 9783642030758

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2 9, 2008. During the last 14 years the DNA C- puting meetings have been the key forum at the boundary between computer science, biochemistry and nanotechnology where the most recent results have been presented and their authors have met. Their scienti c program includes mathematical foundations and theoretical study of DNA computing or b- computing in general and recent experimental results in DNA nanotechnology, nanoscience and nanocomputing. It continues to be one of the most exciting interdisciplinary meetings, as exempli ed by the diverse nature of contributions in this volume. The meeting began with tutorial talks by Friedrich Simmel ( Molecular - ology for Computer Scientists ), Nadrian Seeman ( Structural DNA Nanote- nology ), and Yasubumi Sakakibara ( Formal Grammars for DNA Compu- tion and Bioinformatics ). During the meeting, a number of excellent keynote speakers gave an up-to-date overview of di erent aspects of DNA computing and biochemical information processing. Luca Cardelli talked about Molecules as Automata, while Niles Pierce gave an exciting talk entitled Molecular Choreography ProgrammingNucleicAcidSelf-AssemblyandDisassemblyPa- ways. Inamorebiologicaltalk,LauraLandweberdiscussed RNA-Guided,E- geneticProgrammingandRe-programmingofGenomicInformationinCiliates, and Ming Li gave an overview of Modern Homology Search. The meeting was concluded by a Nanoday with beautiful presentations by Christof Niemeyer, Kurt Gothelf, Andrew Ellington and David Pine. 204 pp. Englisch.

  • Paolo Bellavista

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642049931 ISBN 13: 9783642049934

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, held in Venice, Italy, in October 2009, as part of the 5th International Week on Management of Networks and Services, Manweek 2009. The 13 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on multimedia networks and systems management, multimedia quality, VoIP and vocal applications, and peer-to-peer multimedia networks. 216 pp. Englisch.

  • Manuel Nunez

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642050301 ISBN 13: 9783642050305

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. 260 pp. Englisch.

  • Cecilia S. Gal

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642102328 ISBN 13: 9783642102325

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Second Annual Workshop on Privacy and Security, organized by the Center for Interdisciplinary Studies in Information Privacy and Security of the School of C- munication and Information at Rutgers University, was held on May 12, 2008 at the Hyatt Regency, New Brunswick, New Jersey, USA. A few of the papers in this volume were produced through a multi-step process. First, we recorded the talk given by each author at the workshop in May 2008. Next, we transcribed the recording. The authors then produced a draft of their paper from these transcriptions, refining each draft until the final version. Although the papers are not verbatim transcriptions of the talks given, some do retain the informal and conv- sational quality of the presentations. In one instance we have included some material from the question-and-answer period after the talk, since the material covered proved to be relevant and interesting. The majority of authors, however, preferred to include a more formal paper based on the material presented at the workshop. 152 pp. Englisch.

  • Jose Nuno Oliveira

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642049117 ISBN 13: 9783642049118

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems-a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e ectively with simple, mathematical abstractions, and with practical notions of inference and proof. 192 pp. Englisch.

  • Shlomi Dolev

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642054331 ISBN 13: 9783642054334

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. The 21 full papers and two brief announcements were carefully selected from 41 submissions. This workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours. 276 pp. Englisch.

  • Jan M. Broersen

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642053009 ISBN 13: 9783642053009

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    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 First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems. 172 pp. Englisch.

  • Takashi Washio

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642052231 ISBN 13: 9783642052231

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First Asian Conference on Machine Learning (ACML 2009) was held at Nanjing, China during November 2-4, 2009.This was the rst edition of a series of annual conferences which aim to provide a leading international forum for researchers in machine learning and related elds to share their new ideas and research ndings. This year we received 113 submissions from 18 countries and regions in Asia, Australasia, Europe and North America. The submissions went through a r- orous double-blind reviewing process. Most submissions received four reviews, a few submissions received ve reviews, while only several submissions received three reviews. Each submission was handled by an Area Chair who coordinated discussions among reviewers and made recommendation on the submission. The Program Committee Chairs examined the reviews and meta-reviews to further guarantee the reliability and integrity of the reviewing process. Twenty-nine - pers were selected after this process. To ensure that important revisions required by reviewers were incorporated into the nal accepted papers, and to allow submissions which would have - tential after a careful revision, this year we launched a 'revision double-check' process. In short, the above-mentioned 29 papers were conditionally accepted, and the authors were requested to incorporate the 'important-and-must're- sionssummarizedbyareachairsbasedonreviewers'comments.Therevised nal version and the revision list of each conditionally accepted paper was examined by the Area Chair and Program Committee Chairs. Papers that failed to pass the examination were nally rejected. 432 pp. Englisch.

  • Colin Ashford

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642013953 ISBN 13: 9783642013959

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The management of telecommunications networks and services is one of the most challenging of software endeavors-partly because of the size and the distributed nature of networks; partly because of the convergence of communications techno- gies; but mainly because of sheer complexity and diversity of networks and services. The TM Forum s Solutions Frameworks (NGOSS) help address these challenges by providing a framework for the development of management applications-those software applications that provide the building blocks for management solutions. The members of the TM Forum have elaborated many parts of NGOSS to make it practical-including in the area of information modeling, process analysis, and c- tract de nition. This book further elaborates NGOSS by examining the challenging area of interface design. One of the costs of deploying a new service is the cost of integrating all the necessary applications into an effective software solution to manage the service. This cost has been dubbed the 'integration tax' and can turn out to be ve times the capital cost of procuring the management software in the rst place. From their long experience of the design and standardization of management applications, the authors have extracted a core set of design patterns for the dev- opment of effective and consistent interfaces to management applications. Adopting these patterns across the industry could reduce the learning curve for software - velopers and allow service providers and systems integrators to rapidly and reliably deploy management solutions and thereby markedly reduce the integration tax. 151 pp. Englisch.

  • Freddy Delbaen

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642026079 ISBN 13: 9783642026072

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Problems of stochastic optimization and various mathematical aspects of risk are the main themes of this contributed volume. The readers learn about the recent results and techniques of optimal investment, risk measures and derivative pricing. There are also papers touching upon credit risk, martingale theory and limit theorems. Forefront researchers in probability and financial mathematics have contributed to this volume paying tribute to Yuri Kabanov, an eminent researcher in probability and mathematical finance, on the occasion of his 60th birthday. The volume gives a fair overview of these topics and the current approaches. 266 pp. Englisch.

  • Michaela Isabel Höhn

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642027903 ISBN 13: 9783642027901

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Supply relations are often governed by so-called relational contracts. These are informal agreements sustained by the value of future cooperation. Although relational contracts persist in practice, research on these types of contract is only emerging in Operations and Supply Chain Management. This book studies a two-firm supply chain, where repeated transactions via well-established supply contracts and continued quality-improvement efforts are governed by a relational contract. We are able to characterize an optimal relational contract, i.e., to develop policies for supplier and buyer that structure investments in quality and flexibility in a way that no other self-enforcing contract generates higher expected joint surplus. A second goal is to compare the performance of different returns mechanisms in the context of relational contracting (quantity flexibility and buy-back contracts). Industry studies motivate the presented model. 124 pp. Englisch.

  • Libro 33 di 126: Lecture Notes in Economics and Mathematical Systems

    Martin Albrecht

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642028322 ISBN 13: 9783642028328

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Integrated supply chain planning is well understood by theory and widely applied in practice - however, only with respect to intra-organisational supply chains. In inter-organisational supply chains, an additional, yet unresolved problem arises: due to confidentiality reasons, decentralized parties keep their local data private, which prevents an integrated planning. Local planning procedures such as upstream planning, which are usually applied then, result in suboptimal solutions for the supply chain as a whole. In this work, new mechanisms for inter-organizational, collaborative supply chain planning are presented. These mechanisms are able to identify the systemwide optimum for several classes of supply chain planning problems. They can be applied by two or more self-interested parties and do not require a trusted third party. Extensive computational tests for randomly generated and real-word data suggest a favorable performance of these mechanisms. 211 pp. Englisch.

  • Ning Zhong

    Lingua: Inglese

    Editore: Berlin Springer Okt 2009, 2009

    ISBN 10: 3642049532 ISBN 13: 9783642049538

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at The 2009 Inter- tional Conference on Brain Informatics (BI 2009) held at Beijing University of Technology, China, on October 22-24, 2009. It was organized by the Web Int- ligence Consortium (WIC) and IEEE Computational Intelligence Society Task Force on Brain Informatics (IEEE TF-BI). The conference was held jointly with The 2009 International Conference on Active Media Technology (AMT 2009). Brain informatics (BI) has emergedas an interdisciplinaryresearch eld that focuses on studying the mechanisms underlying the human information proce- ing system (HIPS). It investigates the essential functions of the brain, ranging from perception to thinking, and encompassing such areas as multi-perception, attention,memory,language,computation,heuristicsearch,reasoning,p lanning, decision-making, problem-solving, learning, discovery, and creativity. The goal of BI is to develop and demonstrate a systematic approach to achieving an integrated understanding of both macroscopic and microscopic level working principles of the brain, by means of experimental, computational, and cognitive neuroscience studies, as well as utilizing advanced Web Intelligence (WI) centric information technologies. BI represents a potentially revolutionary shift in the way that research is undertaken. It attempts to capture new forms of c- laborative and interdisciplinary work. Following this vision, new kinds of BI methods and global research communities will emerge, through infrastructure on the wisdom Web and knowledge grids that enables high speed and d- tributed, large-scale analysis and computations, and radically new ways of sh- ing data/knowledge. 237 pp. Englisch.

  • Tsvi Kuflik

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642050387 ISBN 13: 9783642050381

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ubiquitous user modeling differs from generic user modeling by three additional concepts: ongoing modeling, ongoing sharing, and ongoing exploitation. Systems that share their user models will improve the coverage, the level of detail, and the reliability of the integrated user models and thus allow better functions of adaptation. Ubiquitous user modeling implies new challenges of interchangeability, scalability, scrutability, and privacy. This volume presents results of a series of workshops on the topic of Ubiquitous User Modeling since 2003 and additional workshops at various other conferences e.g. on User Modeling and Adaptive Hypermedia in the last four years. The 8 revised full papers presented were carefully reviewed and selected from the best lectures given at the workshops and were significantly extended to be included in the book. 159 pp. Englisch.

  • Ravindra K. Ahuja

    Lingua: Inglese

    Editore: Berlin Springer Berlin Heidelberg Springer Okt 2009, 2009

    ISBN 10: 3642054641 ISBN 13: 9783642054648

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management. 423 pp. Englisch.

  • María Alpuente

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642045693 ISBN 13: 9783642045691

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 224 pp. Englisch.

  • Luciano Paschoal Gaspary

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642049885 ISBN 13: 9783642049880

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2009), which was held in Venice, Italy, during October 27-28, 2009. DSOM 2009 was the 20th event in a series of annual workshops. It followed in the footsteps of previous successful meetings, the most recent of which were held on Samos, Greece (DSOM 2008), San Jos e, California, USA (DSOM 2007), Dublin, Ireland (DSOM 2006), Barcelona, Spain (DSOM 2005), and Davis, C- ifornia, USA (DSOM 2004). The goal of the DSOM workshops is to bring - gether researchersfromindustry andacademia workingin the areasofnetworks, systems, and service management, to discuss recent advances and foster future growth. In contrast to the larger management conferences, such as IM (Inter- tional Symposium on Integrated Network Management) and NOMS (Network OperationsandManagementSymposium),DSOMworkshopshaveasingle-track program in order to stimulate more intense interaction among participants. 204 pp. Englisch.

  • Djamshid Tavangarian

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 364210262X ISBN 13: 9783642102622

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheIMC2009programconsistedofthreeinvitedtalksfrominternational- perts, four tutorials on fundamental techniques related to the conference topics, nine regular paper sessions, and a short paper / poster session. We received close to 50 submissions from 15 countries world-wide. Based on the ano- mous reviews provided by members of the international Program Committee, the Steering Committee recommended accepting 50% of the contributions as regular papers and another 15% as short papers with poster presentation. To our regret there were a few interesting papers that we had to reject. However, the reviewing results showed a high quality as well as an interesting variety of submissions. We would like to thank all authors for carefully preparing the results of their worksubmitted to IMC 2009,thus enabling an interesting and high-quality c- ferenceprogram.Moreover,wearedeeplygratefultoallmembersoftheProgram and Steering Committees for their e orts in quickly and thoroughly evaluating the papers. Finally, our special thanks go to the organizers Ulrike Lucke and Daniel Versick for their great work.They handled all the organizationaltasks as well as the communications, the electronic submission, reviewing, and publi- tion procedure in an e cient and timely manner. 356 pp. Englisch.

  • Yacine M. Ghamri-Doudane

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg Okt 2009, 2009

    ISBN 10: 3642050050 ISBN 13: 9783642050053

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    Print on Demand

    EUR 53,49

    Spedizione EUR 23,00
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Research and development of autonomics have come a long way, and we are - lighted to present the proceedings of the 4th IEEE International Workshop on Modeling Autonomic Communications Environments (MACE 2009). As in the last three years, this workshop was held as part of Manweek, the International Week on Management of Networks and Services, which took place in the cult- ally rich city of Venice in Italy. Manweek is now an umbrella of ve workshops and conferences focusing on di erent aspects of network and service mana- ment, including MACE, distributed operations and management (DSOM), - basedmanagement(IPOM),towardsmultimediaandmobilenetworks(MMNS), and virtualization and middleware for next generation networks (NGNM). F- ther information of Manweek and the individual workshops and conferences can be found atMACE started as an experiment, in 2006, and created a small community that now nds itself attracted back each year by a feeling of excitement and anticipation to share new advances and development. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshop itself. New ideas, a little rough around theedges(andsometimesmorethanalittle),oftenquiteun nished,popoutand provoke extensive discussion. Science needs this kind of exploratory adventure, and we have been strongly motivated to continue preserving this atmosphere of exploration and discussion in this year's technical program. 132 pp. Englisch.