Hans-Jörg Kreowski – författare
Visar alla böcker från författaren Hans-Jörg Kreowski. Handla med fri frakt och snabb leverans.
20 produkter
20 produkter
Inbunden, Engelska, 2020
1 729 kr
Skickas inom 10-15 vardagar
This book examines the contributions of the transhumanism approach to technology, in particular the contributed chapters are wary of the implications of this popular idea.The volume is organized into four parts concerning philosophical, military, technological and sociological aspects of transhumanism, but the reader is free to choose various reading patterns. Topics discussed include gene editing, the singularity, ethical machines, metaphors in AI, mind uploading, and the philosophy of art, and some perspectives taken or discussed examine transhumanism within the context of the philosophy of technology, transhumanism as a derailed anthropology, and critical sociological aspects that consider transhumanism in the context of topical concerns such as whiteness, maleness, and masculinity.The book will be of value to researchers engaged with artificial intelligence, and the ethical, societal, and philosophical impacts of science and technology.
Häftad, Engelska, 2021
1 729 kr
Skickas inom 10-15 vardagar
This book examines the contributions of the transhumanism approach to technology, in particular the contributed chapters are wary of the implications of this popular idea.The volume is organized into four parts concerning philosophical, military, technological and sociological aspects of transhumanism, but the reader is free to choose various reading patterns. Topics discussed include gene editing, the singularity, ethical machines, metaphors in AI, mind uploading, and the philosophy of art, and some perspectives taken or discussed examine transhumanism within the context of the philosophy of technology, transhumanism as a derailed anthropology, and critical sociological aspects that consider transhumanism in the context of topical concerns such as whiteness, maleness, and masculinity.The book will be of value to researchers engaged with artificial intelligence, and the ethical, societal, and philosophical impacts of science and technology.
Del 1278 - Communications in Computer and Information Science
Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation
12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings
Häftad, Engelska, 2020
562 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 12th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2020, held in Bremen, Germany, in December 2020. Due to the COVID-19 pandemic the conference was held online. The 10 full papers and 5 short papers were thoroughy reviewed and selected from 25 submissions. The volume also presents 1 keynote paper. The papers are thematically organized according to the following sections: subject-oriented business processing – syntax and semantics; cyber-physical and assistance systems; process mining and the Internet of actors and behaviors; Industry 4.0; various views on business process management.
Häftad, Engelska, 1986
562 kr
Skickas inom 10-15 vardagar
This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re- ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice.The theoretical con- tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec- ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify.
Häftad, Engelska, 2005
562 kr
Skickas inom 10-15 vardagar
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
Häftad, Engelska, 2002
545 kr
Skickas inom 10-15 vardagar
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7–12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.
Häftad, Engelska, 1989
562 kr
Skickas inom 10-15 vardagar
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
Häftad, Engelska, 1991
545 kr
Skickas inom 10-15 vardagar
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.
Häftad, Engelska, 1991
1 084 kr
Skickas inom 10-15 vardagar
This volume contains papers selected from the contributionsto the 4th International Workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on the stateof the artand newest trends to researchers active in the area and forscientists who would like to know more about graph grammars. The topics of the papers range from foundations throughalgorithmic and implemental aspects to various issues thatarise in application areas like concurrent computing,functional and logic programming, software engineering,computer graphics, artificial intelligence and biology. Thecontributing authors are F. -J. Brandenburg, H. Bunke, T. C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G
Häftad, Tyska, 1992
576 kr
Skickas inom 10-15 vardagar
Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, derim M{rz 1990 bei einer Bergtour verungl}ckt ist. In seinerfachlichen Arbeit an der Universit{t Bremen hat er dieGebiete Rechnernetze und Softwaretechnik vertreten. Danebenhat er sich stark im Bereich der Informatik und Gesellschaftengagiert. Deshalb sind in diesem Band Arbeiten aus Gebietenversammelt, die sonst nicht oft aufeinandertreffen. Da zudemdie Autorinnen und Autoren sowohl aus Hochschulen undForschungseinrichtungen als auch aus der Industrie kommen,besteht der Reiz des Bandes in der Gegen}berstellung vonBeitr{gen mit Softwaretechnik sowie Informatik undGesellschaft als thematischen Schwerpunkt: eine Fundgrube imSpannungsfeld zwischen aktuellen softwaretechnischenEntwicklungen und ihren gesellschaftlichen Auswirkungen.
Häftad, Engelska, 2000
545 kr
Skickas inom 10-15 vardagar
Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshopre?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.
Inbunden, Engelska, 2008
2 225 kr
Skickas inom 10-15 vardagar
Logistic problems can rarely be solved satisfyingly within one single scientific discipline. This cross-sectional character is taken into account by the Research Cluster for Dynamics in Logistics with a combination of economical, information and production technical and enterprise-oriented research approaches. In doing so, the interdisciplinary cooperation between university, research institutes and enterprises for the solution of logistic problems is encouraged. This book comprises the edited proceedings of the first International Conference on Dynamics in Logistics LDIC 2007. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and modelling of processes over innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking.Two invited papers and of 42 contributed papers on various subjects give an state-of-art overview on dynamics in logistics. They include routing in dynamic logistic networks, RFID in logistics and manufacturing networks, supply chain control policies, sustainable collaboration, knowledge management and service models in logistics, container logistics, autonomous control in logistics, and logistic process modelling.
Häftad, Engelska, 2010
2 160 kr
Skickas inom 10-15 vardagar
Logistic problems can rarely be solved satisfyingly within one single scientific discipline. This cross-sectional character is taken into account by the Research Cluster for Dynamics in Logistics with a combination of economical, information and production technical and enterprise-oriented research approaches. In doing so, the interdisciplinary cooperation between university, research institutes and enterprises for the solution of logistic problems is encouraged. This book comprises the edited proceedings of the first International Conference on Dynamics in Logistics LDIC 2007. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and modelling of processes over innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking.Two invited papers and of 42 contributed papers on various subjects give an state-of-art overview on dynamics in logistics. They include routing in dynamic logistic networks, RFID in logistics and manufacturing networks, supply chain control policies, sustainable collaboration, knowledge management and service models in logistics, container logistics, autonomous control in logistics, and logistic process modelling.
Inbunden, Engelska, 2011
2 160 kr
Skickas inom 10-15 vardagar
The volume comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and modelling of processes over innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamics confronts the area of logistics with completely new challenges: It must become possible to rapidly and flexibly adapt logistic processes and networks to continuously changing conditions. LDIC 2009 provided a forum for the discussion of advances in that matter. The volume consists of one invited paper and of 47 contributed papers divided into various subjects including mathematical modelling in transport and production logistics, routing in dynamic logistic networks, sustainable collaboration and supply chain control policies, information, communication, autonomy, adaption and cognition in logistics, radio frequency identification in logistics and manufacturing networks, applications in production logistics, and logistic solutions for ports, container terminals, regions and services.
Häftad, Engelska, 2012
545 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.
Häftad, Engelska, 2012
545 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Inbunden, Engelska, 2013
2 160 kr
Skickas inom 10-15 vardagar
The volume comprises the proceedings of the third International Conference on Dynamics in Logistics LDIC 2012. The scope of the conference targeted the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum ranged from the modeling and planning of processes and innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamics in the area of logistics poses completely new challenges: Logistic processes and networks must rapidly and flexibly adapt to continuously changing conditions. LDIC 2012 provided a venue for researchers from academia and industry interested in the technical advances in dynamics in logistics. The conference addressed research in logistics from a wide range of fields, e.g. engineering, computer science and operations research. The volume consists of two invited papers and of49 contributed papers divided into various subjects including transport logistics, routing in dynamic logistic networks, modeling, simulation, optimization and collaboration in logistics, identification technologies, mathematical modeling in transport and production logistics, information, communication, risk and failure in logistic systems, autonomous control in logistic processes, global supply chains and industrial applications, and the Internet of Things in the context of logistics.
Häftad, Engelska, 2014
2 160 kr
Skickas inom 10-15 vardagar
The volume comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and modelling of processes over innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamics confronts the area of logistics with completely new challenges: It must become possible to rapidly and flexibly adapt logistic processes and networks to continuously changing conditions. LDIC 2009 provided a forum for the discussion of advances in that matter. The volume consists of one invited paper and of 47 contributed papers divided into various subjects including mathematical modelling in transport and production logistics, routing in dynamic logistic networks, sustainable collaboration and supply chain control policies, information, communication, autonomy, adaption and cognition in logistics, radio frequency identification in logistics and manufacturing networks, applications in production logistics, and logistic solutions for ports, container terminals, regions and services.
Häftad, Engelska, 2015
2 160 kr
Skickas inom 10-15 vardagar
The volume comprises the proceedings of the third International Conference on Dynamics in Logistics LDIC 2012. The scope of the conference targeted the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum ranged from the modeling and planning of processes and innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamics in the area of logistics poses completely new challenges: Logistic processes and networks must rapidly and flexibly adapt to continuously changing conditions. LDIC 2012 provided a venue for researchers from academia and industry interested in the technical advances in dynamics in logistics. The conference addressed research in logistics from a wide range of fields, e.g. engineering, computer science and operations research. The volume consists of two invited papers and of49 contributed papers divided into various subjects including transport logistics, routing in dynamic logistic networks, modeling, simulation, optimization and collaboration in logistics, identification technologies, mathematical modeling in transport and production logistics, information, communication, risk and failure in logistic systems, autonomous control in logistic processes, global supply chains and industrial applications, and the Internet of Things in the context of logistics.
Häftad, Engelska, 2011
562 kr
Skickas inom 10-15 vardagar
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic.