找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

新窗
投票 Titlebook: Complete Symbolic Simulation of SystemC Models; Efficient Formal Ver Vladimir Herdt Book 2016 Springer Fachmedien Wiesbaden 2016 Symbolic E  ...234
Overview: Study in Computer Sciences.Includes supplementary material: .In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the
投票 Titlebook: Cosmopolitanism as Nonrelationism; Who is Cosmopolitan Barbara Elisabeth Müller Book 2022 The Editor(s) (if applicable) and The Author(s),  ...2345
Overview: Presents a novel framework that understands cosmopolitanism as nonrelationism.Re-evaluates classic understandings of cosmopolitanism in light of this new framework.Offers normative criteria and guidel.This book suggests that more can be said about cosmopolitanism than either the bold endorsement of a world state or the humble recognition of the equal moral worth of individuals, which makes everybody cosmopolitan. Identifying problems with the traditional concept and disentangling a variety of positions within the cosmopolitan paradigm, it introduces the more refined concept of cosmop
投票 Titlebook: Coalgebraic Methods in Computer Science; 11th International W Dirk Pattinson,Lutz Schröder Conference proceedings 2012 IFIP International F  ...23456
Overview: State-of-the-art research.Fast-track conference proceedings.Unique visibilityThis book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.978-3-642-32783-4978-3-642-32784-1Series ISSN 0302-9743 Series E-ISSN
投票 Titlebook: Chemiker-Kalender; Claudia Synowietz,H. U. Vogel Book 19742nd edition Springer-Verlag Berlin Heidelberg 1974 Chemie.Dampfdruck.Löslichkeit  ...234
Overview: 978-3-662-06237-1
投票 Titlebook: Child Abuse; Diagnostic and Foren Caroline Rey-Salmon,Catherine Adamsbaum Book 2018 Springer International Publishing AG 2018 Child abuse.S  ...23456..7
Overview: Provides a multidisciplinary approach of child abuse.Presents anonymized documented judicial cases.Examines the causal mechanisms of inflicted injuries.Facilitates diagnosis of abuse.Includes suppleme.This book offers an interdisciplinary approach to child abuse providing a comprehensive overview of the topic. From fetal life to adolescence, various patterns of child abuse are described in 23 chapters with highlight on early diagnostic features and differential diagnoses. Data on psychological and domestic violence is also presented. Readers will improve their knowledge in the field
投票 Titlebook: Complexity and Structure; Uwe Schöning Book 1986 Springer-Verlag Berlin Heidelberg 1986 Oracle.algorithms.complexity.sets.algorithm analys  ...234
Overview: 978-3-540-16079-3978-3-540-39759-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
投票 Titlebook: Chemie für Laboranten und Chemotechniker; Allgemeine und Anorg Hans Peter Latscha,Helmut Alfons Klein,Klaus Gulbi Textbook 19861st edition  ...23456
Overview: 978-3-642-96945-4
投票 Titlebook: Cropping Systems Modeling Under Changing Climate; Mukhtar Ahmed,Shakeel Ahmad,Gerrit Hoogenboom Book 2024 The Editor(s) (if applicable) an  ...23456
Overview: Covers the latest evidence-based approaches related to cropping systems modeling.Provides detail information related to climate change impact on global cropping systems.Includes section about adaptati.This book aims at bringing out comprehensive information on cropping systems modelling in the world. The major focus of this book is to address the integration of soil, plant and environmental interactions for climate smart agriculture. This book covers aspects of application of Decision Support System for Agrotechnology Transfer (DSSAT) for climate smart agriculture. Step-by-step detai
投票 Titlebook: Common Issues in Breast Cancer Survivors; A Practical Guide to Gretchen G. Kimmick,Rebecca A. Shelby,Linda M. Sut Book 2021 Springer Nature  ...23456..7
Overview: Edited by experts in the fields of oncology and psychology as a resource for providers in other fields.One of few texts to focus solely on management of symptoms and medical issues in survivors and noThis book provides a clinically useful resource for evaluation and management of the symptoms and issues that burden survivors of breast cancer. Improvements to breast cancer screening and treatment have resulted in more patients than ever before having been cured after local definitive and systemic therapies. Primary care providers and specialists must be increasingly familiar with the
投票 Titlebook: Communication Skills for Foreign and Mobile Medical Professionals; Kris Poel,Eddy Vanagt,Jessica Gasiorek Book 2013 Springer-Verlag Berlin  ...234
Overview: Ideal resource for all medical professionals who work in foreign countries, cultures, and languages.Wealth of insights into doctor-patient communication, structured around the different phases of the Around the world, the number of internationally mobile medical professionals is steadily increasing, posing potential difficulties for the good communication with patients and colleagues that is vital to satisfactory outcomes and personal professional success.   .Communication Skills for Foreign and Mobile Medical Professionals.  is an evidence-based communication resource book designed
投票 Titlebook: Copper Zinc Tin Sulfide Thin Films for Photovoltaics; Synthesis and Charac Jonathan J. Scragg Book 2011 The Editor(s) (if applicable) and T  ...234
Overview: Nominated by the University of Bath for a Springer Theses Prize.Pioneering and optimized low-cost route to CZTS.Detailed study of the relationship between structure, phase composition and optoelectronJonathan Scragg documents his work on a very promising material suitable for use in solar cells. Copper Zinc Tin Sulfide (CZTS) is a low cost, earth-abundant material suitable for large scale deployment in photovoltaics. Jonathan pioneered and optimized a low cost route to this material involving electroplating of the three metals concerned, followed by rapid thermal processing (RTP) in
投票 Titlebook: Cancer Research: An Interdisciplinary Approach; Nima Rezaei Book 2023 The Editor(s) (if applicable) and The Author(s), under exclusive lic  ...23456..7
Overview: Describes interdisciplinary approaches on cancer research and therapy development.Includes a comprehensive coverage of cancer pathophysiology.Contains updated reviews on cancer treatment.Cancer is a major public health concern and one of the leading causes of death. There is no simple solution for this complex disease, therefore interdisciplinary approaches might help to find solutions to many unanswered questions and challenges about cancer. The rapid flow of interdisciplinary research in cancer during recent years has increased our understanding of the nature of cancers. Such inter
投票 Titlebook: Conflict Resolution and its Context; From the Analysis of Davide Carneiro,Paulo Novais,José Neves Book 2014 Springer International Publishi  ...2345
Overview: Highlights the opportunities Artificial Intelligence presents for improving conflict resolution.Covers a cutting-edge topic and describes innovative solutions to conflict resolution.Provides a systema.This book studies how technological solutions can be used to alleviate the current state of legal systems, with their clogged up courtrooms and inefficient conflict resolution methods. It reviews the shortcomings and disadvantages of traditional and alternative conflict resolution methods and turns to Artificial Intelligence for problem-solving techniques and solutions. The book is divi
投票 Titlebook: Consumers, Society and Marketing; A Sustainability Per Dilip S. Mutum,Ezlika M. Ghazali Book 2023 The Editor(s) (if applicable) and The Aut  ...234
Overview: Offers valuable insights into the evolving world of sustainable marketing.Provides insights into the various factors that shape consumer behavior and the impact of marketing on society.Discusses the e.Environment and social responsibility are paramount for any modern business strategy, and the field of marketing is adapting itself to the new focus on sustainability. The study of the interface between consumers, society, and marketing is crucial for understanding the complex interactions between individuals and the products and services they consume and the resulting implications. In
投票 Titlebook: Condensed Matter Theories; Volume 5 V. C. Aguilera-Navarro Book 1990 Plenum Press, New York 1990 composite.composite material.composite mat  ...23456..7
Overview: This volume gathers the invited talks of the XIII International Work­ shop on Condensed Matter Theories which took place in Campos do Jordao near Sao Paulo, Brazil, August 6-12, 1989. It contains contributions in a wide variety of fields including neutral quantum and classical fluids, electronic systems, composite materials, plasmas, atoms, molecules and nuclei, and as this year‘s workshop reflected the natural preoccupation in materials science with its spectacular prospect for mankind, room tempera­ ture super-conductivity. All topics are treated from a common viewpoint: that of ma
投票 Titlebook: Current Practices in Workplace and Organizational Learning; Revisiting the Class Bente Elkjaer,Maja Marie Lotz,Niels Christian Moss Book 20  ...23456
Overview: Provides a state-of-the-art overview in the field of workplace- and organizational learning.Investigates new fields of practice and what has led up to these shifts.Explores how emerging fields link to.The central assumption that guides this book is that research and practice about learning at the workplace has recently lost its critical edge. This book explores what has happened to workplace learning and organizational learning and studies what has replaced it. In addition, the book discusses to what extend there are reasons to revitalize it. .Today, themes such as ‘innovation’, ‘co-
投票 Titlebook: Contributions from Science Education Research; Roser Pintó,Digna Couso Conference proceedings 2007 Springer Science+Business Media B.V. 20  ...23456
Overview: Conference proceedings of the Fifth European Science Education Research Association conference.Includes edited versions of 37 outstanding papers presented during the conference.In August 2005, over 500 international researchers from the field of science education met at the 5th European Science Education Research Association conference in Barcelona, Spain. ..Two of the main topics at this conference were: the decrease in the number of students interested in school science and concern about the worldwide outcomes of studies on students’ scientific literacy. At the conference, over 400
投票 Titlebook: Chaos and Stability in Planetary Systems; Rudolf Dvorak,Florian Freistetter,Jürgen Kurths Book 2005 Springer-Verlag Berlin Heidelberg 2005  ...234
Overview: .This book is intended as an introduction to the field of planetary systems at the postgraduate level. It consists of four extensive lectures on Hamiltonian dynamics, celestial mechanics, the structure of extrasolar planetary systems and the formation of planets. As such, this volume is particularly suitable for those who need to understand the substantial connections between these different topics..978-3-642-42179-2978-3-540-34556-5Series ISSN 0075-8450 Series E-ISSN 1616-6361
投票 Titlebook: Current Distributions and Electrode Shape Changes in Electrochemical Systems; Johan Deconinck Book 1992 Springer-Verlag Berlin Heidelberg  ...234
Overview: 978-3-540-55104-1978-3-642-84716-5Series ISSN 0176-5035
投票 Titlebook: Curriculum, Schooling and Applied Research; Challenges and Tensi Jennifer Donovan,Karen Trimmer,Nicholas Flegg Book 2020 The Editor(s) (if  ...23456
Overview: Illuminates the challenges teachers face in the process of managing change.Analyses the tensions that encroach on research-based change.Spans across disciplinary and conceptual boundariesThis book explores how teachers can navigate the complex process of managing change within the classroom. The chapters highlight the new challenges that have arisen with the emergence and introduction of educational technology as teachers find themselves having to be responsive to the needs and demands of multiple stakeholders. Traversing a range of conceptual, disciplinary and methodological boundar
下一页 »
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-25 14:26
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
返回顶部 返回版块