Hans-Jörg Kreowski - Böcker
Visar alla böcker från författaren Hans-Jörg Kreowski. Handla med fri frakt och snabb leverans.
20 produkter
20 produkter
Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
Inbunden, Engelska, 2020
1 682 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.
1 682 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
552 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. The papers are thematically organized according to the following sections: subject-oriented business processing – syntax and semantics;
Recent Trends in Data Type Specification
3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Häftad, Engelska, 1986
552 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.
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Häftad, Engelska, 2005
552 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.
Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Häftad, Engelska, 2002
536 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Conference on Graph Transformations, ICGT 2002, held in Barcelona, Spain in October 2002. The 26 revised full papers presented were carefully reviewed and selected by the program committe. Also included are abstracts of 3 invited papers, a tutorial, the extended abstract of a tutorial, and 5 reports of workshops held in conjunction with ICGT. The papers deal with various graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Graph transformations are stongly related to graph theory, graph algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, and logic and semantics.
552 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.
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Häftad, Engelska, 1991
536 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.
Graph Grammars and Their Application to Computer Science
4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
Häftad, Engelska, 1991
1 064 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
Informatik zwischen Wissenschaft und Gesellschaft
Zur Erinnerung an Reinhold Franck Proceedings
Häftad, Tyska, 1992
567 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.
Theory and Application of Graph Transformations
6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
Häftad, Engelska, 2000
536 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Theory and Applications of Graph Transformations held in Paderborn, Germany, in November 1998. The 33 revised full papers presented in the book were carefully reviewed and selected from a total of 55 papers presented at the meeting. The book addresses all current aspects in the area. The papers are organized in sections on graph languages, graph theory, categorical approaches, concurrency and distribution, artificial intelligence, visual languages, specification concepts, modularity and refinement, and software engineering.
Dynamics in Logistics
First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
Inbunden, Engelska, 2008
2 164 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.
Dynamics in Logistics
First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
Häftad, Engelska, 2010
2 101 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.
Dynamics in Logistics
Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
Inbunden, Engelska, 2011
2 101 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.
Recent Trends in Algebraic Development Techniques
20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Häftad, Engelska, 2012
536 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.
Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Häftad, Engelska, 2012
536 kr
Skickas inom 10-15 vardagar
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.
Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Inbunden, Engelska, 2013
2 101 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.
Dynamics in Logistics
Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
Häftad, Engelska, 2014
2 101 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.
Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Häftad, Engelska, 2015
2 101 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.
552 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.