1964 - das Jahr, mit dem »68« begann / Robert Lorenz, Franz Walter |
Autore | Lorenz Robert |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Bielefeld, : transcript Verlag, 2014 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 303.4094 |
Collana | Studien des Göttinger Instituts für Demokratieforschung zur Geschichte politischer und gesellschaftlicher Kontroversen |
Soggetto topico | Protest; Gesellschaft; Kulturwandel; Modernisierung; Bürgerrechte; 1968; 1964; Politik; Zivilgesellschaft; Deutsche Geschichte; Soziale Bewegungen; Zeitgeschichte; Geschichte des 20. Jahrhunderts; Politikwissenschaft; Society; Politics; Civil Society; German History; Social Movements; Contemporary History; History of the 20th Century; Political Science |
Soggetto non controllato |
Civil Society
Contemporary History German History History of the 20th Century Political Science Politics Social Movements |
ISBN | 3-8394-2580-8 |
Classificazione | MG 15086 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | 1 Inhalt 5 1964 9 Rassist und Aktivist 33 Von Atombomben und Kommunisten 55 Hase, Hut und Happenings 67 Pop Art in Deutschland 81 Mythos Minirock 97 Die Symbiose des Steinkäfers 111 "Oberkommando Warentest" 133 Weigerung und Eschatologie 149 "Ein Preis wird vergeben, und ich lehne ihn ab." 169 Nelson Mandela - im Kampf um Ideale 187 "Let my people go!" 199 Willy Brandt und die 1960er Jahre 219 Das Ende der Eiszeit 231 Katastrophe und Reform 247 Die Kampagne vor dem Dogma 259 Vom Herz der deutschen Industrialisierung zum Kulturartefakt 275 Der verschwundene Mensch 287 Von der Fremdbestimmung in den reaktionären Kampf 307 Vor dem Kahlschlag 327 1968 343 Autorinnen und Autoren 373 376 |
Record Nr. | UNISA-996308785103316 |
Lorenz Robert | ||
Bielefeld, : transcript Verlag, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
1964 - das Jahr, mit dem »68« begann / Robert Lorenz, Franz Walter |
Autore | Lorenz Robert |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Bielefeld, : transcript Verlag, 2014 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 303.4094 |
Collana | Studien des Göttinger Instituts für Demokratieforschung zur Geschichte politischer und gesellschaftlicher Kontroversen |
Soggetto topico | Protest; Gesellschaft; Kulturwandel; Modernisierung; Bürgerrechte; 1968; 1964; Politik; Zivilgesellschaft; Deutsche Geschichte; Soziale Bewegungen; Zeitgeschichte; Geschichte des 20. Jahrhunderts; Politikwissenschaft; Society; Politics; Civil Society; German History; Social Movements; Contemporary History; History of the 20th Century; Political Science |
Soggetto non controllato |
Civil Society
Contemporary History German History History of the 20th Century Political Science Politics Social Movements |
ISBN | 3-8394-2580-8 |
Classificazione | MG 15086 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | 1 Inhalt 5 1964 9 Rassist und Aktivist 33 Von Atombomben und Kommunisten 55 Hase, Hut und Happenings 67 Pop Art in Deutschland 81 Mythos Minirock 97 Die Symbiose des Steinkäfers 111 "Oberkommando Warentest" 133 Weigerung und Eschatologie 149 "Ein Preis wird vergeben, und ich lehne ihn ab." 169 Nelson Mandela - im Kampf um Ideale 187 "Let my people go!" 199 Willy Brandt und die 1960er Jahre 219 Das Ende der Eiszeit 231 Katastrophe und Reform 247 Die Kampagne vor dem Dogma 259 Vom Herz der deutschen Industrialisierung zum Kulturartefakt 275 Der verschwundene Mensch 287 Von der Fremdbestimmung in den reaktionären Kampf 307 Vor dem Kahlschlag 327 1968 343 Autorinnen und Autoren 373 376 |
Record Nr. | UNINA-9910265143103321 |
Lorenz Robert | ||
Bielefeld, : transcript Verlag, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (470 pages) |
Disciplina | 410.5 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Embedded computer systems
Computer science—Mathematics Computer networks Software engineering Embedded Systems Mathematics of Computing Computer Communication Networks Software Engineering |
Soggetto non controllato | Mathematics |
ISBN | 3-031-33620-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction -- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems -- Process Mining -- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets -- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming -- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking -- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies -- Semantics -- Taking Complete Finite Prefixes To High Level, Symbolically -- Interval Traces with Mutex Relation -- A Myhill-Nerode Theorem for Higher-Dimensional Automata -- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems -- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and New Features -- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets -- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets -- On the Reversibility of Circular Conservative Petri Nets -- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets -- Timed Models -- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets -- Model Transformation -- Transforming Dynamic Condition Response Graphs to safe Petri Nets -- Enriching Heraklit Modules by Agent Interaction Diagrams. |
Record Nr. | UNISA-996534464403316 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (470 pages) |
Disciplina |
410.5
511.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Embedded computer systems
Computer science—Mathematics Computer networks Software engineering Embedded Systems Mathematics of Computing Computer Communication Networks Software Engineering |
Soggetto non controllato | Mathematics |
ISBN | 3-031-33620-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction -- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems -- Process Mining -- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets -- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming -- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking -- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies -- Semantics -- Taking Complete Finite Prefixes To High Level, Symbolically -- Interval Traces with Mutex Relation -- A Myhill-Nerode Theorem for Higher-Dimensional Automata -- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems -- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and New Features -- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets -- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets -- On the Reversibility of Circular Conservative Petri Nets -- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets -- Timed Models -- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets -- Model Transformation -- Transforming Dynamic Condition Response Graphs to safe Petri Nets -- Enriching Heraklit Modules by Agent Interaction Diagrams. |
Record Nr. | UNINA-9910728401303321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Manifeste : Geschichte und Gegenwart des politischen Appells / Johanna Klatt, Robert Lorenz |
Autore | Klatt Johanna |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Bielefeld, : transcript Verlag, 2014 |
Descrizione fisica | 1 online resource (447 p.) |
Disciplina |
341.242
341.2422 |
Collana | Studien des Göttinger Instituts für Demokratieforschung zur Geschichte politischer und gesellschaftlicher Kontroversen |
Soggetto topico | Manifest; Politik; Zivilgesellschaft; Protest; Partizipation; Geschichtswissenschaft; Politikwissenschaft; Politics; Civil Society; History; Political Science |
Soggetto non controllato |
Civil Society
History Political Science |
ISBN | 3-8394-1679-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | 1 Inhalt 5 Politische Manifeste 7 "das Volk aber liegt vor ihnen wie Dünger auf dem Acker." 47 Eine Welt zu gewinnen 73 Die Kunst des Manifestierens 99 Das "Manifest der 93" 113 Zivilgesellschaft zwischen Freude und Frustration 135 Deutsche Volksfront ohne Volk 169 Die "Göttinger Erklärung" von 1957 199 Manifeste als Tabubruch und Diskussionsanstoß 229 Manifest der Friedensbewegung im Herbst der Kanzlerschaft Schmidt 255 Das "Heidelberger Manifest" von 1981 285 "Aufbruch 89 - NEUES FORUM" 315 Letzter Kampf der alten Linken 347 Vom Manifest zum Dialog 377 Voraussetzungsreiches, aber schlagkräftiges Instrument der Zivilgesellschaft 411 Autorinnen und Autoren 443 |
Record Nr. | UNISA-996308779603316 |
Klatt Johanna | ||
Bielefeld, : transcript Verlag, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Manifeste : Geschichte und Gegenwart des politischen Appells / Johanna Klatt, Robert Lorenz |
Autore | Klatt Johanna |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Bielefeld, : transcript Verlag, 2014 |
Descrizione fisica | 1 online resource (447 p.) |
Disciplina |
341.242
341.2422 |
Collana | Studien des Göttinger Instituts für Demokratieforschung zur Geschichte politischer und gesellschaftlicher Kontroversen |
Soggetto topico | Manifest; Politik; Zivilgesellschaft; Protest; Partizipation; Geschichtswissenschaft; Politikwissenschaft; Politics; Civil Society; History; Political Science |
Soggetto non controllato |
Civil Society
History Political Science |
ISBN | 3-8394-1679-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | 1 Inhalt 5 Politische Manifeste 7 "das Volk aber liegt vor ihnen wie Dünger auf dem Acker." 47 Eine Welt zu gewinnen 73 Die Kunst des Manifestierens 99 Das "Manifest der 93" 113 Zivilgesellschaft zwischen Freude und Frustration 135 Deutsche Volksfront ohne Volk 169 Die "Göttinger Erklärung" von 1957 199 Manifeste als Tabubruch und Diskussionsanstoß 229 Manifest der Friedensbewegung im Herbst der Kanzlerschaft Schmidt 255 Das "Heidelberger Manifest" von 1981 285 "Aufbruch 89 - NEUES FORUM" 315 Letzter Kampf der alten Linken 347 Vom Manifest zum Dialog 377 Voraussetzungsreiches, aber schlagkräftiges Instrument der Zivilgesellschaft 411 Autorinnen und Autoren 443 |
Record Nr. | UNINA-9910265140403321 |
Klatt Johanna | ||
Bielefeld, : transcript Verlag, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Ninth International Conference on Application of Concurrency to System Design : proceedings : 1-3 July 2009, Augsburg, Germany |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2009 |
Disciplina | 004/.35 |
Soggetto topico |
System design
Parallel processing (Electronic computers) Engineering & Applied Sciences Computer Science |
ISBN | 1-5090-7495-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996216417303316 |
[Place of publication not identified], : IEEE Computer Society, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ninth International Conference on Application of Concurrency to System Design : proceedings : 1-3 July 2009, Augsburg, Germany |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2009 |
Disciplina | 004/.35 |
Soggetto topico |
System design
Parallel processing (Electronic computers) Engineering & Applied Sciences Computer Science |
ISBN | 1-5090-7495-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910140050003321 |
[Place of publication not identified], : IEEE Computer Society, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|