146 resultater (0,28958 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Comprehensive Asymmetric Catalysis I - III - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Comprehensive Asymmetric Catalysis I - III - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Now including Supplement 1. Comprehensive Asymmetric Catalysis critically reviews methods for the catalytic preparation of chiral organic compounds. This major reference set presents the state-of- the-art in this area. The internationally acclaimed editors and the contributors, who are recognized experts in the field, guarantee the authoritative and timely coverage. This set is not only the principal reference source for synthetic organic chemists, but also for all scientific researchers who require chiral compounds in their work (for example in biochemical investigations and molecular medicine) as well as for pharmaceutical chemists, agricultural chemists and other industrial researchers who prepare chiral compounds. The CD-ROM includes the full text search and a state-of-the-art graphic substructure search routine for compounds and reactions. Thus, enhancing the value of the book set. Since the publication of the 1st edition in 1999 research rapidly went on. These results are summarized in the first supplement which is now included.

DKK 663.00
1

Practical Aspects of Declarative Languages - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Practical Aspects of Declarative Languages - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Invited Papers.- Answer Set Programming in 2010: A Personal Perspective.- An Introduction to Maude and Some of Its Applications.- Non-Monotonic Reasoning - Answer Set Programming.- Efficient Application of Answer Set Programming for Advanced Data Integration.- Implementing Query Answering for Hybrid MKNF Knowledge Bases.- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.- Types.- Explicitly Typed Exceptions for Haskell.- Conversion by Evaluation.- Parallelism and Distribution.- Skeleton Composition Using Remote Data.- Netlog, a Rule-Based Language for Distributed Programming.- Code Quality Assurance.- Similar Code Detection and Elimination for Erlang Programs.- Static Detection of Race Conditions in Erlang.- Automating Mathematical Program Transformations.- ActionScript In-Lined Reference Monitoring in Prolog.- Domain Specific Languages.- An Ode to Arrows.- Lazy Combinators for Executable Specifications of General Attribute Grammars.- A Domain-Specific Language Approach to Protocol Stack Implementation.- Programming Aids.- First-Order Interactive Programming.- An ER-Based Framework for Declarative Web Programming.- Constraints.- Lazy Explanations for Constraint Propagators.- On the Implementation of the CLP( ) Language.- Tabling - Agents.- Compact Lists for Tabled Evaluation.- A Simple and Efficient Implementation of Concurrent Local Tabling.- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.- Prospective Storytelling Agents.

DKK 426.00
1

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

This book constitutes the refereed proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, held in Toronto, Canada in May 2007 in conjunction with the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, both as part of the Joint Rough Set Symposium, JRS 2007.

DKK 426.00
1

Applied Mathematics for Database Professionals - Lex Dehaan - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Applied Mathematics for Database Professionals - Lex Dehaan - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Now available in paperback- Relational databases hold data, right? They do indeed, but to think of a database as nothing more than a container for data is to miss out on the profound power that underlies relational technology. A far more powerful way of thinking lies in relational technology''s foundation in the mathematical disciplines of logic and set theory. Databases contain truths or propositions describing some area of interest such as a business. Those truths are organized into sets. Operations from logic and set theory can be applied to existing sets of truths to derive new sets of truths. Applied Mathematics for Database Professionals introduces you to this way of thinking, to the logic and set theory that underlies relational database technology. All this may sound abstract now, but there are profound benefits from the deeper understanding you''ll gain from this book. The math that you''ll learn in this book will put you above the level of understanding of most database professionals today. You''ll better understand the technology and be able to apply it more effectively. You''ll avoid data anomalies like redundancy and inconsistency. Understanding what''s in this book will take your mastery of relational technology to heights you may not have thought possible. This book is reviewed and endorsed by C. J. Date and features a foreword by the same.

DKK 509.00
1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The two-volume set LNCS 4190 and LNCS 4191 constitute the refereed proceedings of the 9th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2006. The program committee carefully selected 39 revised full papers and 193 revised poster papers for presentation in two volumes. This first volume includes 114 contributions related to bone shape analysis, robotics and tracking, segmentation, analysis of diffusion tensor MRI, and much more.

DKK 800.00
1

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.

DKK 426.00
1

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -

This two-volume set (LNAI 8019 and LNAI 8020) constitutes the refereed proceedings of the 10th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 81 contributions included in the EPCE proceedings were carefully reviewed and selected for inclusion in this two-volume set. The papers included in this volume are organized in the following topical sections: cognitive issues in HCI; measuring and monitoring cognition; cognitive issues in complex environments; productivity, creativity, learning and collaboration.

DKK 426.00
1

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body Modeling and Ergonomics - - Bog - Springer-

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body Modeling and Ergonomics - - Bog - Springer-

This two volume set (LNCS 8025-8026) constitutes the refereed proceedings of the Fourth International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, formerly International Conference on Digital Human Modeling, DHM 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 91 papers. The papers inthis volume focus on the following topics: digital human modeling and ergonomics in working environments; ergonomics of work with computers; anthropometry, posture and motion modeling.

DKK 426.00
1

Engineering Psychology and Cognitive Ergonomics. Applications and Services - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Engineering Psychology and Cognitive Ergonomics. Applications and Services - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

This two-volume set (LNAI 8019 and LNAI 8020) constitutes the refereed proceedings of the 10th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 81 contributions included in the EPCE proceedings were carefully reviewed and selected for inclusion in this two-volume set. The papers included in this volume are organized in the following topical sections: driving and transportation safety, cognitive issues in aviation, military applications, cognitive issues in health and well-being.

DKK 426.00
1

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.

DKK 416.00
1

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.

DKK 426.00
1

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Automata, Languages, and Programming - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.

DKK 800.00
1

Principles of Deformity Correction - Dror Paley - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Principles of Deformity Correction - Dror Paley - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

This exercise workbook accompanies "Principles of Deformity Correction", a comprehensive text on the analysis, planning, and treatment of lower limb deformities in an accessible and instructive format. In addition to the book, which is extensively illustrated to avoid confusion and to leave little to the imagination, the planning is further facilitated via the exercise workbook available separately. The methods taught are simple and intuitive and require little memorization. The set of books are of equal interest to pediatric and adult orthopaedic surgeons.

DKK 967.00
1

Six Sigma+Lean Toolset - Olin Roenpage - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Six Sigma+Lean Toolset - Olin Roenpage - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The Six Sigma concept has enjoyed triumphant success throughout the business world for two decades, contributing to significant net income improvement for many companies. This successful concept has been supplemented with the tools of Lean Management, a set of strategies for improving product quality and delivery performance and reducing cost. Six Sigma+Lean links the tried-and-tested tools of both programs in the proven DMAIC process model. The chronology matches that of the approach taken in a Six Sigma+Lean improvement project.

DKK 434.00
1

Mastering GitHub Enterprise Management and Administration - Ajay Kumar P Baljoshi - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -

Mastering GitHub Enterprise Management and Administration - Ajay Kumar P Baljoshi - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -

This book is a comprehensive guide to GitHub Enterprise Cloud and provides a detailed overview of how to set up, manage, administer, and configure GitHub for organizations. In addition to this, you will also learn identity management and the CI/CD pipeline. The book starts with a thorough introduction to GitHub administration and its benefits. You will then learn how to set up and manage a GitHub Enterprise account and organization, guiding administrators through each step. Next, you will go through GitHub Repository Secure Management and Best Practices along with an understanding of how to manage access to GitHub using SAML SSO. GitHub enterprise support strategies and their usage and adoption are discussed next in detail. Moving ahead, you will learn about GitHub Action and Packages followed by GitHub Copilot management. How to automate repetitive tasks and workflows using GitHub Actions and enhancing productivity is discussed in detail with the help of case studies. Towards the end, you will demonstrate securing the software development lifecycle through advanced security and use GitHub Actions for automating business processes. After reading this book, you will be able to leverage the full potential of GitHub Enterprise Cloud for your software development needs. What Will You LearnHow to set up and configure GitHub Enterprise for optimal collaboration, security, and scalability in an enterprise environment. Best practices for managing organizations, repositories, and user access permissions effectively to foster efficient teamwork and code collaboration. Strategies to implement robust CI/CD pipelines using GitHub Actions, automating build, testing, and deployment processes for faster and more reliable software delivery. Proven techniques for ensuring top-notch security and compliance, including authentication methods, access controls, and vulnerability scanning, to protect code repositories and sensitive data. Who Is This Book ForSoftware Development teams, DevOps engineers, and IT professionals who are looking to use GitHub Enterprise Cloud for code collaboration, management, and deployment.

DKK 519.00
1

Life-Cycle Maintenance Management Framework for Concrete Bridge Elements - Hongming Xie - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -

Life-Cycle Maintenance Management Framework for Concrete Bridge Elements - Hongming Xie - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -

''Life-cycle Maintenance Management Framework for Medium and Short-Span Concrete Bridge Elements'' describes a set of performance prediction and maintenance optimization models and approaches for life-cycle bridge maintenance management. These are proposed by summarizing and incorporating valuable aspects of previous practices and developing some new models and approaches for different and comprehensive scenarios. The subject of this book is cross-disciplinary, covering bridge engineering and management science. This includes a set of performance prediction models that are proposed to extend the current knowledge by incorporating non-periodical inspections, as well, whereas most of the previously reported research has focused on periodical inspections. Researchers will also find the models presented in this book useful for optimizing the targeted balance between technical and economical considerations. This work is intended for those researchers and engineers in the field of bridge maintenance management who expect more effort devoted to transferring new procedures, methods, and tools into practice by addressing relevant problems, to better utilizing more pertinent data, and to explicitly addressing barriers to practical implementation. They will find the potential modeling and prediction enhancements useful in improving bridge maintenance decision making. Yingnan Yang, lecturer, works at Zhejiang University.

DKK 778.00
1

Design, User Experience, and Usability: Web, Mobile, and Product Design - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Design, User Experience, and Usability: Web, Mobile, and Product Design - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The four-volume set LNCS 8012, 8013, 8014 and 8015 constitutes the proceedings of the Second International Conference on Design, User Experience, and Usability, DUXU 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 282 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this four-volume set. The 83 papers included in this volume are organized in the following topical sections: DUXU in business and the enterprise, designing for the Web experience; product design; information and knowledge design and visualisation; and mobile applications and services.

DKK 426.00
1

Universal Access in Human-Computer Interaction: User and Context Diversity - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Universal Access in Human-Computer Interaction: User and Context Diversity - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The three-volume set LNCS 8009-8011 constitutes the refereed proceedings of the 7th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 230 contributions included in the UAHCI proceedings were carefully reviewed and selected for inclusion in this three-volume set. The 78 papers included in this volume are organized in the following topical sections: age-related issues, human vision in universal access, emotions and persuasion in universal access, design for autistic spectrum disorders, cognitive issues for universal access, universal access to the Web and social communities.

DKK 426.00
1

Theory of Cryptography - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Theory of Cryptography - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015.The 52 revised full papers presented were carefully reviewed andselected from 137 submissions. The papers are organized in topicalsections on foundations, symmetric key, multiparty computation,concurrent and resettable security, non-malleable codes and tampering, privacy amplification, encryption an key exchange, pseudorandom functions and applications, proofs and verifiable computation, differential privacy, functional encryption, obfuscation.

DKK 416.00
1

Theory of Cryptography - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

Theory of Cryptography - - Bog - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Plusbog.dk

The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015.The 52 revised full papers presented were carefully reviewed andselected from 137 submissions. The papers are organized in topicalsections on foundations, symmetric key, multiparty computation,concurrent and resettable security, non-malleable codes and tampering, privacy amplification, encryption an key exchange, pseudorandom functions and applications, proofs and verifiable computation, differential privacy, functional encryption, obfuscation.

DKK 416.00
1