Hans-Jorg Kreowski – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

17 produkter

Kategorier

17 produkter

Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
AvHans-Jorg Kreowski,Wolfgang Hofkirchner
E-bok
Engelska, 2020
2 201 kr
Läs direkt efter köp
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.
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
AvKlaus-Dieter Thoben,Hans-Jorg Kreowskim. fl.
E-bok
Engelska, 2020
732 kr
Läs direkt efter köp
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.
Grundrechte-Report 2019
AvBritta Rabe,Hans-Jorg Kreowskim. fl.
E-bok
Tyska, 2019
170 kr
Läs direkt efter köp
Polizeigewalt, Abschiebungen, Demonstrationsverbote, Diskriminierung, Vorratsdatenspeicherung. Der neue Grundrechte-Report deckt schonungslos Verletzungen der Menschen- und Grundrechte in Deutschland auf. In mehr als 40 Beiträgen dokumentieren und analysieren Expertinnen und Experten Verstöße in allen Bereichen des gesellschaftlichen Lebens. Dabei zeigen sie, dass in einer Zeit, in der die Sicherheit über allem steht, unsere Freiheit in Gefahr gerät.Der wahre Verfassungsschutzbericht!
Grundrechte-Report 2020
AvChristine Zedler,Michele Winklerm. fl.
E-bok
Tyska, 2020
170 kr
Läs direkt efter köp
Der echte Verfassungsschutzbericht! In dem seit 1997 erscheinenden Report ziehen neun Bürgerrechtsorganisationen eine Bilanz zum Umgang mit den Bürger- und Menschenrechten in Deutschland. Im aktuellen Grundrechte-Report werden wieder zahlreiche Verletzungen von Grundrechten im Jahr 2019 aufgelistet. Diesmal bilden die Grundrechtsverstöße im Bereich Wohnen – einem der zentralen sozialen Probleme unserer Zeit – einen Schwerpunkt. Daneben berichten bürgerrechtlich engagierte Autorinnen und Autoren über weitere Beispiele für die Einschränkung von Grundrechten, von Ungleichbehandlung sowie der Überschreitung institutioneller Kompetenzen in den verschiedensten gesellschaftlichen Bereichen der vergangenen zwölf Monate hin.Der Grundrechte-Report wird herausgegeben von renommierten Bürgerrechtsorganisationen, darunter die Humanistische Union, die Neue Richtervereinigung, PRO ASYL und der Republikanische Anwältinnen- und Anwälteverein.
Grundrechte-Report 2021
AvRosemarie Will,Lea Welschm. fl.
E-bok
Tyska, 2021
170 kr
Läs direkt efter köp
In dem seit 1997 jährlich erscheinenden Report ziehen zehn Bürgerrechtsorganisationen eine Bilanz zum Umgang mit den Bürger- und Menschenrechten in Deutschland. Einen Schwerpunkt des aktuellen Grundrechte-Reports bilden die zahlreichen Grundrechtsbeschränkungen im Rahmen der Corona-Pandemie. Weitere Beispiele für die Einschränkung von Grundrechten im Jahr 2020 betreffen unter anderem rassistische Polizeigewalt, die von Regenbogenfamilien, staatliche Überwachung, den ausbleibenden Klimaschutz, menschenunwürdige Arbeitsbedingungen und die Verschärfung von sozialer Ungleichheit.»Die Verteidigung und der Ausbau der Grund- und Bürgerrechte und die darauf aufbauende Gestaltung einer solidarischen Gemeinschaft müssen oberste Priorität von uns allen sein.«Igor Levit bei der Präsentation des Grundrechte-Reports 2020
Grundrechte-Report 2022
AvMichele Winkler,Rosemarie Willm. fl.
E-bok
Tyska, 2022
170 kr
Läs direkt efter köp
Auseinandersetzungen um den Klimaschutz und zunehmende Repression gegen die Klimagerechtigkeitsbewegung prägten das Jahr 2021 entscheidend mit. Im öffentlichen Fokus stand auch der beschämende Umgang mit ehemaligen Ortskräften der Bundeswehr in Afghanistan – ein Land, in das Deutschland bis kurz vor der Machtübernahme der Taliban abgeschoben hat. Zu den knapp 40 Themen im neuen Grundrechte-Report 2022 gehören daneben staatliche Pandemie-Maßnahmen, Verschärfungen im Strafprozessrecht oder der Umgang mit Rechten in Polizei und Justiz. Seit 1997 erscheint der Grundrechte-Report zur Lage der Bürger- und Menschenrechte in Deutschland. Als »alternativer Verfassungsschutzbericht« dokumentiert er, wie Staatsorgane zentrale Verfassungsrechte verletzen oder gefährden – damit wir etwas dagegen unternehmen können. »Einschränkungen von Grundrechten treffen meist die schwächsten und vulnerabelsten Gruppen in unserer Gesellschaft.« Naika Foroutan bei der Präsentation des Grundrechte-Reports 2021
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
AvGabriele Taentzer,Grzegorz Rozenbergm. fl.
E-bok
PDF, Engelska, 2005
710 kr
Läs direkt efter köp
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
AvGrzegorz Rozenberg,Hans-Jorg Kreowskim. fl.
E-bok
PDF, Engelska, 2003
712 kr
Läs direkt efter köp
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.
Theory and Application of Graph Transformations
6th International Workshop, TAGT''98 Paderborn, Germany, November 16-20, 1998 Selected Papers
AvGrzegorz Rozenberg,Hans-Jorg Kreowskim. fl.
E-bok
PDF, Engelska, 2004
710 kr
Läs direkt efter köp
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.
Dynamics in Logistics
First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
AvBernd Scholz-Reiter,Hans-Jorg Kreowskim. fl.
E-bok
PDF, Engelska, 2008
2 833 kr
Läs direkt efter köp
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
AvKlaus-Dieter Thoben,Bernd Scholz-Reiterm. fl.
E-bok
PDF, Engelska, 2011
2 833 kr
Läs direkt efter köp
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
AvHans-Jorg Kreowski,Till Mossakowski
E-bok
PDF, Engelska, 2012
710 kr
Läs direkt efter köp
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
AvGrzegorz Rozenberg,Hans-Jorg Kreowskim. fl.
E-bok
PDF, Engelska, 2012
710 kr
Läs direkt efter köp
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.
Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
AvKlaus-Dieter Thoben,Bernd Scholz-Reiterm. fl.
E-bok
PDF, Engelska, 2013
2 833 kr
Läs direkt efter köp
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.
Algebraic Foundations of Systems Specification
AvBernd Krieg-Bruckner,Hans-Jorg Kreowskim. fl.
E-bok
PDF, Engelska, 2012
734 kr
Läs direkt efter köp
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.
Informatik zwischen Wissenschaft und Gesellschaft
Zur Erinnerung an Reinhold Franck Proceedings
AvHans-Jorg Kreowski
E-bok
PDF, Tyska, 2013
602 kr
Läs direkt efter köp
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.
Recent Trends in Data Type Specification
3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
AvHans-Jorg Kreowski
E-bok
PDF, Engelska, 2013
732 kr
Läs direkt efter köp

Företag, bibliotek eller offentlig verksamhet?

Hans-Jorg Kreowski – författare

Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?

Subject-Oriented Business Process Management. The Digital Workplace - Nucleus of Transformation

Grundrechte-Report 2019

Grundrechte-Report 2020

Grundrechte-Report 2021

Grundrechte-Report 2022

Formal Methods in Software and Systems Modeling

Graph Transformation

Theory and Application of Graph Transformations

Dynamics in Logistics

Dynamics in Logistics

Recent Trends in Algebraic Development Techniques

Graph Transformation

Dynamics in Logistics

Algebraic Foundations of Systems Specification

Informatik zwischen Wissenschaft und Gesellschaft

Recent Trends in Data Type Specification

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration