Springer springer mär 2008 (146 risultati)
- Altre immagini
- Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explain…ed from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study. 386 pp. Englisch.
- Altre immagini
- Rilegato
Da: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermaniaRheinberg-Buch Andreas Meier eK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explain…ed from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study. 386 pp. Englisch.
- Altre immagini
- Rilegato
Da: Wegmann1855, Zwiesel, GermaniaWegmann1855
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 25,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explain…ed from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.
- Altre immagini
- Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explain…ed from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.Springer Nature Customer Service Center GmbH, Europaplatz 3,69115 Heidelberg, Germany, Heidelberg 386 pp. Englisch.
- Altre immagini
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 64,67 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Neuware - Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explai…ned from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 83,58
EUR 62,14 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware - This third annual volume from the Organization of American Historians, containing the best American history articles published between the summers of 2006 and 2007, provides a quick and comprehensive overview of the top work and the current intellectual trends in the field of American hist…ory. With contributions from a diverse group of historians, this collection appeals both to scholars and to lovers of history alike.
- Altre immagini
- Brossura
Da: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermaniaRheinberg-Buch Andreas Meier eK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware -Eine Projektgruppe des Berufsverbands Kinderkrankenpflege Österreich (BKKÖ) beschäftigte sich sieben Jahre lang mit Pflegediagnosen der NANDA und bearbeitete die bestehenden Diagnosen hinsichtlich relevanter Fragestellungen in der Kinder- und Jugendlichenpflege. Das Ergebnis dieser Projekta…rbeit wird nun erstmals in Buchform veröffentlicht. Nach einer kurzen Einführung zu den Schwerpunkten in der Kinder- und Jugendlichenpflege werden 36 Pflegediagnosen übersichtlich und gut strukturiert mit Angaben von Definition, bestimmenden Merkmalen, Kennzeichen (Symptome) und möglichen ursächlichen/beeinflussenden Faktoren bzw. Risikofaktoren aufgelistet. Die Erstellung der korrekten Pflegediagnose erleichtert die Beschreibung von realistischen Pflegezielen und notwendigen Pflegemaßnahmen, wobei dieses Buch zahlreiche Vorschläge für die Praxis aufzeigt. Pflegediagnosen, adaptiert für Kinder- und Jugendlichenpflege unterstützen in dieser praktischen und übersichtlichen Form somit die Pflegeplanung und liefern einen wichtigen Beitrag zur Pflegeforschung. 252 pp. Deutsch.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,99
EUR 62,21 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Eine Projektgruppe des Berufsverbands Kinderkrankenpflege Österreich (BKKÖ) beschäftigte sich sieben Jahre lang mit Pflegediagnosen der NANDA und bearbeitete die bestehenden Diagnosen hinsichtlich relevanter Fragestellungen in der Kinder- und Juge…ndlichenpflege. Das Ergebnis dieser Projektarbeit wird nun erstmals in Buchform veröffentlicht. Nach einer kurzen Einführung zu den Schwerpunkten in der Kinder- und Jugendlichenpflege werden 36 Pflegediagnosen übersichtlich und gut strukturiert mit Angaben von Definition, bestimmenden Merkmalen, Kennzeichen (Symptome) und möglichen ursächlichen/beeinflussenden Faktoren bzw. Risikofaktoren aufgelistet. Die Erstellung der korrekten Pflegediagnose erleichtert die Beschreibung von realistischen Pflegezielen und notwendigen Pflegemaßnahmen, wobei dieses Buch zahlreiche Vorschläge für die Praxis aufzeigt. Pflegediagnosen, adaptiert für Kinder- und Jugendlichenpflege unterstützen in dieser praktischen und übersichtlichen Form somit die Pflegeplanung und liefern einen wichtigen Beitrag zur Pflegeforschung.
- Altre immagini
- 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 34,00
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 -Kelly's pragmatic approach to psychology arose from his clinical practice and has been a strong formative influence on clinical psychology and personality theory. Taking us through the development of Kelly's work and setting it in…its historical context, this is a fascinating account of one of the foremost personality theories of the 20th century. Englisch.
- Altre immagini
- 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 34,00
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 -Erik Erikson has been described as 'probably the most significant post-Freudian thinker' with a 'unique and profound vision'. Al Gore was his student, Bill Clinton a great admirer. Getting to grips with his complex ideas however is… no easy task. This book provides a comprehensive and in-depth road map to Erikson's work and is ideal for all students of Psychology. Stevens lucidly and authoritatively analyses his ideas about childhood development, adolescence, identity, the life cycle and his psychobiographical studies of Luther and Gandhi. This penetrating critique of Erikson's work reveals how relevant his ideas are today. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer, Humana Mär 2008, 2008
- 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à: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For over fifty years satellites have circled the Earth and spacecraft have been used to explore our solar system. Every day ordinary people around the world use satellites for satellite television, GPS navigation, weather forecasts… and other technologies. Many people are curious about how something gets into space - and stays there - and what the terms used in the media actually mean. Also, with the advent of space tourism, some people are starting to wonder if they too could go into space and what it would be like.Here, the author explains the basics of what is involved, from the initial idea to the completion of the mission.The beauty of this text, written by an engineer who is also an accomplished science writer, is that it covers the subject comprehensively, and yet is almost entirely descriptive and non-mathematical.It deals with all aspects of spaceflight, from how to leave the Earth (including the design of the rocket, mission planning, navigation and communication), to life in space and the effects of weightlessness.The book also includes sections describing how an amateur can track satellites and understand their trajectories, and on the future of spaceflight, touching on what is, and what is not, possible given present and expected future technologies. 368 pp. Englisch.
- Altre immagini
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,09
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Numbers have fascinated people for centuries. They are familiar to everyone, forming a central pillar of our understanding of the world, yet the number system was not presented to us ¿gift-wrapped¿ but, rather, was developed over millennia. P…eter Higgins distills centuries of work into one delightful narrative that celebrates the mystery of numbers and explains how different kinds of numbers arose and why they are useful. Full of historical snippets and interesting examples, the book ranges from simple number puzzles and magic tricks, to showing how ideas about numbers relate to real-world problems, such as: How are our bank account details kept secure when shopping over the internet What are the chances of winning at Russian roulette; or of being dealt a flush in a poker hand As our understanding of numbers continues to evolve, this book invites us to rediscover the mystery and beauty of numbers and reminds us that the story of numbers is a tale with a long way to run.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer, Springer Mär 2008, 2008
Serie: Libro 5 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,79
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Compression is an option naturally selected when faced with problems of high costs or restricted space. This book offers readers a succinct and reader-friendly foundation to the most important topics in the field of data compression. C…omplete and clear, it is the perfect reference for advanced undergraduates in computer science and requires a minimum of mathematics. An author-maintained website provides readers with errata and auxiliary material. Divided into two parts, Part I presents the basic approaches to data compression and describes a few popular techniques and methods that are commonly used to compress data. The reader will discover essential concepts. Part II concentrates on advanced techniques, such as arithmetic coding, orthogonal transforms, subband transforms and Burrows-Wheeler transform.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Praxis, Springer Mär 2008, 2008
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,14
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -David Harland opens with a review of the robotic probes, namely the Rangers which returned television before crashing into the Moon, the Surveyors which 'soft landed' in order to investigate the nature of the surface, and the Lunar Orb…iters which mapped prospective Apollo landing sites. He then outlines the historic landing by Apollo 11 in terms of what was discovered. He concludes with a review of the robotic spacecraft that made remote-sensing observations of the Moon. The book develops the scientific theme of lunar geology, and therefore will be of use as background reading for undergraduate students of planetary sciences. Highlighted as a 'Commemorative Edition' on the cover, this second edition has a new Foreword by one of the original astronauts and a short extra section at the end previewing the prospect of a renewal of human exploration of the Moon. It includes new extra high quality graphics which are only now available and 32 pages of color illustrations.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,24
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -OpenGL Graphics Through Applications is a practical introduction to Computer Graphics with an emphasis on understanding through practice. Throughout the book, theory is followed by implementation using C / C++ and complete programs are… provided on the Springer website.A procedural approach has been taken to algorithmic development while taking an object oriented approach when building artefacts from simple objects. The book covers a range of topics including: (1) image processing, (2) artefact construction, (3) introductory animation, (4) texturing, (5) curves surfaces and patterns.Robert Whitrow has taught computing courses from first year undergraduate to postgraduate MSc at a range of different institutions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol.- An On-Line Secure E-Passport Protocol.- Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly.- 1-out-of-n Ob…livious Signatures.- A Formal Study of the Privacy Concerns in Biometric-Based Remote Authentication Schemes.- Private Query on Encrypted Data in Multi-user Settings.- Towards Tamper Resistant Code Encryption: Practice and Experience.- A New Public Key Broadcast Encryption Using Boneh-Boyen-Goh's HIBE Scheme.- RSA Moduli with a Predetermined Portion: Techniques and Applications.- Variants of the Distinguished Point Method for Cryptanalytic Time Memory Trade-Offs.- Secure Cryptographic Precomputation with Insecure Memory.- Securing Peer-to-Peer Distributions for Mobile Devices.- Unified Rate Limiting in Broadband Access Networks for Defeating Internet Worms and DDoS Attacks.- Combating Spam and Denial-of-Service Attacks with Trusted Puzzle Solvers.- PROBE: A Process Behavior-Based Host Intrusion Prevention System.- Towards the World-Wide Quantum Network.- Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software.- Mediator-Free Secure Policy Interoperation of Exclusively-Trusted Multiple Domains.- Privacy of Recent RFID Authentication Protocols.- A New Hash-Based RFID Mutual Authentication Protocol Providing Enhanced User Privacy Protection.- An Efficient Countermeasure against Side Channel Attacks for Pairing Computation.- Efficient Arithmetic on Subfield Elliptic Curves over Small Finite Fields of Odd Characteristic.- Secure Computation of the Vector Dominance Problem.- Rational Secret Sharing with Repeated Games.- Distributed Private Matching and Set Operations.- Computational Soundness ofNon-Malleable Commitments.- Square Attack on Reduced-Round Zodiac Cipher.- Analysis of Zipper as a Hash Function.- On the Importance of the Key Separation Principle for Different Modes of Operation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Asynchronous JavaScript and XML (Ajax) is a web technique used to transfer data between a browser and server asynchronously without posting the web page to the server. 'Asynchronously' implies that the processing of the web page contin…ues while the Ajax request is sent to the server and a response is received from the server. The web page, or section(s) of the web page, is refreshed with the Ajax response without reposting the web page. Ajax has the following advantages over non-Ajax web applications. Reduced response time and reduced server load, as the complete web page is not reposted. Reduced bandwidth of web applications as only data is transferred and the HTML format is applied in the browser. Separation of data, format and style.The book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and PHP. It discusses using Ajax in Oracle JDeveloper and is IDE based. JDeveloper has the following advantages over Eclipse IDE. JDeveloper 11g provides an integrated JavaScript Editor for Ajax/Web development. It also provides a PHP extension. JDeveloper has a built-in support for JSF and for JDBC.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 240 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Modelling and Mining of Networked Information Spaces.- Workshop on Algorithms and Models for the Web Graph.- Expansion and Lack Thereof in Randomly Perturbed Graphs.- Web Structure in 2005.- Local/Global Phenomena in Geometrically Gene…rated Graphs.- Approximating PageRank from In-Degree.- Probabilistic Relation between In-Degree and PageRank.- Communities in Large Networks: Identification and Ranking.- Combating Spamdexing: Incorporating Heuristics in Link-Based Ranking.- Traps and Pitfalls of Topic-Biased PageRank.- A Scalable Multilevel Algorithm for Graph Clustering and Community Structure Detection.- A Phrase Recommendation Algorithm Based on Query Stream Mining in Web Search Engines.- Characterization of Graphs Using Degree Cores.- Web Structure Mining by Isolated Stars.- Representing and Quantifying Rank - Change for the Web Graph.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch.
- Altre immagini
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The authors of this book clearly explain the potential advantages of using Radio Frequency Identification (RFID) technology in a modern manufacturing and supply chain context. Areas of emphasis include integration of RFID data into legacy IT…architectures, RFID-MES-ERP integration, and cost-benefit considerations. The presentation is not restricted to intra-company production planning, but also emphasizes the benefits of inter-company collaboration. Six case studies based on SAP's ERP systems and MPDV's MES solution show how to successfully implement cross-company supply chain integration using RFID technology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Requirements and Architectures.- Deriving Non-zeno Behavior Models from Goal Models Using ILP.- What's in a Feature: A Requirements Engineering Perspective.- Formal Approach to Integrating Feature and Architecture Models.- Models, Mode…l Transformations I.- Correctness-Preserving Configuration of Business Process Models.- Consistent Integration of Models Based on Views of Visual Languages.- Translating Model Simulators to Analysis Models.- Conceptual Models, UML.- Orthographic Modeling Environment.- HOL-OCL: A Formal Proof Environment for uml/ocl.- Towards Faithful Model Extraction Based on Contexts.- Leveraging Patterns on Domain Models to Improve UML Profile Definition.- Service Engineering/Adaptable Services.- When Things Go Wrong: Interrupting Conversations.- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.- Engineering Service Oriented Applications: From StPowla Processes to SRML Models.- Verification and Testing I.- A Logic of Graph Constraints.- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.- Modelling and Verification of Timed Interaction and Migration.- A Model Checking Approach for Verifying COWS Specifications.- Verification and Testing II.- Contextual Integration Testing of Classes.- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms.- Automated Analysis of Permission-Based Security Using UMLsec.- Objects and Components.- Software Quality Improvement Via Pattern Matching.- Object Composition in Scenario-Based Programming.- Regular Inference for State Machines Using Domains with Equality Tests.- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.-Models, Model Transformations II.- Verification of Architectural Refactorings by Rule Extraction.- Formal Model-Driven Program Refactoring.- An Algebraic Semantics for MOF.- A Formal Framework for Developing Adaptable Service-Based Applications.- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications.- Clint: A Composition Language Interpreter (Tool Paper).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 448 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Referee…d Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories - Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck - Test Data for Free.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.
- Altre immagini
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the University of Naples Congress Centre with spectacular views over the Gulf of Naples. This volume contains the pape…rs for the 21 oral presentations and 10 posters that were presented during this time. A diverse array of topics were covered re ecting the current state of research in the eld of Genetic Programming, including the latest work on representations, theory, operators and analysis, evolvable hardware, agents and numerous applications. A rigorous, double-blind peer review process was employed, with each s- mission reviewed by at least three members of the international Program C- mittee. In total 61 papers were submitted this year, making an acceptance rate of 34% for full papers, and an overall acceptance rate of 51% including posters. S- mission of papers and the reviewing process were greatly assisted by the use of the MyReview management software originally developed by Philippe Rigaux, Bertrand Chardon and other colleagues from the Universit¿e Paris-Sud Orsay, France. We are especially grateful to Marc Schoenauer from INRIA, France for managing this system. Reviewers were asked to nominate keywords specifying their area of expertise, and these keywords were matched to those selected by the authors of the submitted papers with the assistance of the optimal assignment feature of the conference management software.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A Hybrid Random Subspace Classifier Fusion Approach for Protein Mass Spectra Classification.- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins.- Generating Linkage Disequilibrium P…atterns in Data Simulations Using genomeSIMLA.- DEEPER: A Full Parsing Based Approach to Protein Relation Extraction.- Improving the Performance of Hierarchical Classification with Swarm Intelligence.- Protein Interaction Inference Using Particle Swarm Optimization Algorithm.- Divide, Align and Full-Search for Discovering Conserved Protein Complexes.- Detection of Quantitative Trait Associated Genes Using Cluster Analysis.- Frequent Subsplit Representation of Leaf-Labelled Trees.- Inference on Missing Values in Genetic Networks Using High-Throughput Data.- Mining Gene Expression Patterns for the Discovery of Overlapping Clusters.- Development and Evaluation of an Open-Ended Computational Evolution System for the Genetic Analysis of Susceptibility to Common Human Diseases.- Gene Selection and Cancer Microarray Data Classification Via Mixed-Integer Optimization.- Detection of Protein Complexes in Protein Interaction Networks Using n-Clubs.- Learning Gaussian Graphical Models of Gene Networks with False Discovery Rate Control.- Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps.- A Wrapper-Based Feature Selection Method for ADMET Prediction Using Evolutionary Computing.- On the Convergence of Protein Structure and Dynamics. Statistical Learning Studies of Pseudo Folding Pathways.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Probabilistic Inductive Logic Programming.- Formalisms and Systems.- Relational Sequence Learning.- Learning with Kernels and Logical Representations.- Markov Logic.- New Advances in Logic-Based Probabilistic Modeling by PRISM.- CLP( )…: Constraint Logic Programming for Probabilistic Knowledge.- Basic Principles of Learning Bayesian Logic Programs.- The Independent Choice Logic and Beyond.- Applications.- Protein Fold Discovery Using Stochastic Logic Programs.- Probabilistic Logic Learning from Haplotype Data.- Model Revision from Temporal Logic Properties in Computational Systems Biology.- Theory.- A Behavioral Comparison of Some Probabilistic Logic Models.- Model-Theoretic Expressivity Analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Digital Geometry and Topology: Curves and Surfaces.- Connectivity Preserving Voxel Transformation.- Thinning on Quadratic, Triangular, and Hexagonal Cell Complexes.- Experimental Comparison of Continuous and Discrete Tangent Estimators… Along Digital Curves.- Polyhedral Surface Approximation of Non-convex Voxel Sets through the Modification of Convex Hulls.- Weighted Neighborhood Sequences in Non-standard Three-Dimensional Grids - Parameter Optimization.- Computing Homology Generators for Volumes Using Minimal Generalized Maps.- Digital Segments and Hausdorff Discretization.- Combinatorics in Digital Spaces: Lattice Polygons, Polytopes, Tilings, and Patterns.- Scaling of Plane Figures That Assures Faithful Digitization.- Computing Admissible Rotation Angles from Rotated Digital Images.- On the Number of hv-Convex Discrete Sets.- Finding the Orthogonal Hull of a Digital Object: A Combinatorial Approach.- A Discrete Approach for Supervised Pattern Recognition.- Image Representation, Segmentation, Grouping, and Reconstruction.- Robust Decomposition of Thick Digital Shapes.- Segmentation of Noisy Discrete Surfaces.- MRF Labeling with a Graph-Shifts Algorithm.- Label Space: A Multi-object Shape Representation.- A New Image Segmentation Technique Using Maximum Spanning Tree.- Applications of Computational Geometry, Integer and Linear Programming to Image Analysis.- Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint.- A Branch & Bound Algorithm for Medical Image Registration.- Global Optimization for First Order Markov Random Fields with Submodular Priors.- Transformation Polytopes for Line Correspondences in Digital Images.- Linear Boundary and Corner Detection Using Limited Number of Sensor Rows.- Fuzzy and Stochastic Image Analysis, ParallelArchitectures and Algorithms.- A Convergence Proof for the Horn-Schunck Optical-Flow Computation Scheme Using Neighborhood Decomposition.- Topologically Correct 3D Surface Reconstruction and Segmentation from Noisy Samples.- Detecting the Most Unusual Part of a Digital Image.- Labeling Irregular Graphs with Belief Propagation.- Grammars and Models for Image or Scene Analysis.- Image Registration Using Markov Random Coefficient Fields.- A Secret Sharing Scheme for Digital Images Based on Two-Dimensional Linear Cellular Automata.- Pure 2D Picture Grammars (P2DPG) and P2DPG with Regular Control.- A Deterministic Turing Machine for Context Sensitive Translation of Braille Codes to Urdu Text.- Rewriting P Systems Generating Iso-picture Languages.- Discrete Tomography, Medical Imaging, and Biometrics.- Reconstructing a Matrix with a Given List of Coefficients and Prescribed Row and Column Sums Is NP-Hard.- A Reasoning Framework for Solving Nonograms.- A Memetic Algorithm for Binary Image Reconstruction.- Personal Identification Based on Weighting Key Point Scheme for Hand Image.- A Min-Cost-Max-Flow Based Algorithm for Reconstructing Binary Image from Two Projections Using Similar Images.- Comparison of Local and Global Region Merging in the Topological Map.- Novel Edge Detector.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 464 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer, Humana Mär 2008, 2008
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Space tourism' is fast becoming a reality. Ordinary people around the world are starting to wonder if they could really go to space and what it would be like - among them, many amateur astronomers. Here, the author explains the basics… of what is involved in getting into space, from building the rocket and choosing where to go, to planning the mission and getting home again. The beauty of this text, written by an engineer who is also an accomplished science writer, is that it covers the subject comprehensively, and yet is almost entirely descriptive and non-mathematical. It deals with all aspects of space flight, from how to leave the Earth (including the design of the rocket, mission planning, navigation and communication), to life in space and the effects of weightlessness. The book also includes sections describing how an amateur can track satellites and understand their orbital parameters, and on the future of space flight, touching on what is and what is not possible given the present and predicted propulsion technologies.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 368 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 13th International Conference on Virtual Systems and Multimedia was held in Brisbane, Australia in September 2007. This was the first time that VSMM was sited in Australia. The Australian conference theme reflected the country¿s cu…ltural heritage, both recent and past ¿ Exchange and Experience in Space and Place. Of the many papers submitted under this theme we were able to identify three core sub-themes: Virtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered the diverse areas of heritage site and artifact reconstruction and analysis, Australian Aboriginal cultural heritage, training, notions of spirituality, human ¿ computer interaction in virtual environments, 3D modelling, remote collaboration and virtual agents. This made for rich, varied and lively conference session debates. Ninety-seven papers were submitted. Of these, 56 were accepted for inclusion in the general conference proceedings. Of these, 18 were further reviewed and selected for this Springer publication. The authors of these papers were invited to revise their papers following feedback from the conference before inclusion in this volume. Many people contributed to the conference. We first wish to thank the Virtual Systems and Multimedia Society, who provided strong support to the whole process of the preparation of the conference. In particular, we would like to express our thanks to Takeo Ojika, Mario Santana Quintero and Hal Thwaites for their generous support and guidance.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Trustworthy Global Computing.- Elimination of Ghost Variables in Program Logics.- Web Service Composition: From Analysis to Autonomy.- ServiceCombinatorsfor FarmingVirtualMachines.- Accepted Papers.- Combining a Verification Condition…Generator for a Bytecode Language with Static Analyses.- Extracting Control from Data: User Interfaces of MIDP Applications.- Extending Operational Semantics of the Java Bytecode.- Relational Analysis for Delivery of Services.- Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems.- Type-Safe Distributed Programming with ML5.- Transactional Service Level Agreement.- On the Complexity of Termination Inference for Processes.- A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing.- Access Control Based on Code Identity for Open Distributed Systems.- Service Oriented Architectural Design.- Replicating Web Services for Scalability.- Location-Aware Quality of Service Measurements for Service-Level Agreements.- Multipoint Session Types for a Distributed Calculus.- On Progress for Structured Communications.- A Protocol Compiler for Secure Sessions in ML.- Application of Dependency Graphs to Security Protocol Analysis.- Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.- Anonymity Protocol with Identity Escrow and Analysis in the Applied -Calculus.- Tutorial Papers.- Formal Approaches to Information-Hiding (Tutorial).- Computational Soundness of Equational Theories (Tutorial).- Adversaries and Information Leaks (Tutorial).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.
