| ISBNS.co.in | |
  | |
| खोजा जा रहा है ... |
| 0 % | ||
| Only Books by Hans-Jörg Kreowski | X |
| Only Unknown Binding Books | X |
  | | Lecture Notes in Computer Science Ser. Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday 3393 द्वारा Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer 420 पन्ने, प्रकाशित 2005 द्वारा Springer ISBN-13: 978-3-540-31847-7, ISBN: 3-540-31847-X "Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Hans- Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. M. Grosse- Rhode, F. Parisi-Presicce, and M. Simeoni. Refinements and modules for typed graph transformation systems. ... J.H. Hausmann, R. Heckel, and M. Lohmann. Model-based discovery of web services. In Proc. In ..." |
 | | Künstliche Intelligenz - Die große Verheißung (Hardback) द्वारा Anna Strasser, John Michael, Catrin Misselhorn, Holger Schultheis, Nadine Schumann, Gergana Vladova, Christian Wahdephul, Elektra Wagenrad, Thomas Weiß, Daniel Wenz, Hans Zillmann, Yaoli Du, Uwe Engel, Christian Freksa, Sascha Friesike, Jan Tobias Fuhrmann, Matthias Gutmann, Marie-Claire Haag, Rico Hauswald, Reinhard Kahle, Hendrik Kempt, Sybille Krämer, Hans-Jörg Kreowski, Wolfgang Krieger, Christoph Merdes, Daniel Dennett, Ophelia Deroy, Walther Ch. Zimmerli, Dieter Mersch, Michael Meyer-Albert 510 पन्ने, प्रकाशित 2021 द्वारा Xenomoi Verlag E.K. ISBN-13: 978-3-942106-79-5, ISBN: 3-942106-79-5 |
 | | 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 द्वारा Michael Freitag, Aseem Kinra, Herbert Kotzab, Hans-Jörg Kreowski, Klaus-Dieter Thoben 251 पन्ने, प्रकाशित 2020 द्वारा Springer Nature ISBN-13: 978-3-030-64351-5, ISBN: 3-030-64351-4 "Petzoldt, C., Keiser, D., Beinke, T., Freitag, M.: Requirements for an incentive- based assistance system for manual assembly. In: Freitag, M., Haasis, H.-D., Kotzab, H., Pannek, J. (eds.) LDIC 2020. LNL, pp. 541–553. Springer, Cham ( 2020)." |
 | | Grundrechte-Report 2019 द्वारा Martin Heiming, Dr. Rolf Gössner, Julia Heesen, Rosemarie Will, Marie Diekmann, Bellinda Bartolucci, Iris Burdinski, Hans-Jörg Kreowski, Britta Rabe 208 पन्ने, प्रकाशित 2019 द्वारा S. Fischer Verlag ISBN-13: 978-3-10-491044-4, ISBN: 3-10-491044-8 "Polizeigewalt, Abschiebungen, Demonstrationsverbote, Diskriminierung, Vorratsdatenspeicherung. Der neue Grundrechte-Report deckt schonungslos Verletzungen der Menschen- und Grundrechte in Deutschland auf." |
 | | Lecture Notes in Logistics Ser. Dynamics in Logistics : Third International Conference, Ldic 2012 Bremen, Germany, February/March 2012 Proceedings द्वारा Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben 580 पन्ने, प्रकाशित 2013 द्वारा Springer Science & Business Media ISBN-13: 978-3-642-35966-8, ISBN: 3-642-35966-3 "Krohne, Sabine Kuske, Walter Lang, Melanie Luderer, Michael Liitjen, Jeanette Mansfeld, Afshin Mehrsai, Susanne Schukraft, Michael Teucke, Hendrik Thamer, Dirk Werthmann, and Jiani Wu for their help in the selection process. We are also grateful to Aleksandra Himstedt, Jakub Piotrowski, Ingrid Riigge, Dieter Uckelmann, and several other colleagues for their support in the local organization and for the technical assistance in runni ..." |
 | | Informatik-Fachberichte Recent Trends in Data Type Specification : 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers 116 द्वारा Hans-Jörg Kreowski 253 पन्ने, प्रकाशित 2013 द्वारा Springer Science & Business Media ISBN-13: 978-3-662-09691-8, ISBN: 3-662-09691-9 "without mode INTERPRET((m, c) * cs • c', s) = INTERPRET((m, c) ° cs * (m, c'), s) Although according to (2.1 (4)) we only would have to show that these terms are observable equivalent we essentially will show a stronger property, i.e. that they are congruent w.r.t. the specification INTERPRETATION, which implies observable equivalence. Before ... 1) is correctly linked to the system specification SCREEN-EDITOR (2.2), if the transla ..." |
 | | IFIP State-Of-the-Art Reports Algebraic Foundations of Systems Specification द्वारा Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner 616 पन्ने, प्रकाशित 2012 द्वारा Springer Science & Business Media ISBN-13: 978-3-642-59851-7, ISBN: 3-642-59851-X "Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner. 12.3.2 Event groves In this subsection, we concentrate on sequential event structures because they are appropriate models for classes: they provide an interpretation domain for class specifications using temporal logic. Since conflict is a derived concept in sequential event structures, we introduce a simpler model that presents precisely the sequential event structures. D ..." |
 | | Lecture Notes in Computer Science Graph Transformation : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings 7562 द्वारा Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg 427 पन्ने, प्रकाशित 2012 द्वारा Springer ISBN-13: 978-3-642-33654-6, ISBN: 3-642-33654-X "6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg. 10. 11. 12. 13. 14. 15. 16. 17. ... S., Giese, H., Niere, J., Tichy, M., Wadsack, J.P., Wagner, R., Wendehals, L., Zündorf, A.: Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. Software Tools for ... BEATCS 102, 111–121 (2010) Lack,S., Sobocinski, P. ..." |
 | | Dynamics In Logistics Second International Conference, Ldic 2009, Bremen, Germany, August 2009. Proceedings द्वारा Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben 547 पन्ने, प्रकाशित 2011 द्वारा Springer Science & Business Media ISBN-13: 978-3-642-11996-5, ISBN: 3-642-11996-4 "logistics as well as logistics associations and logistics-relevant institutes for standardization could be named as potential cluster participants. Depending upon the development of a logistics cluster, vertical interdependences by suppliercustomer relations on the one hand and horizontal interdependences by companies on the same stage in the value chain on the other hand can occur.14 Logistics clusters at large, likewise every oth ..." |
 | | Dynamics in Logistics First International Conference, LDIC 2007, Bremen, Germany, August 2007 : Proceedings द्वारा Hans-Dietrich Haasis, Hans-Jörg Kreowski, Bernd Scholz-Reiter, B. Scholz-Reiter 466 पन्ने, प्रकाशित 2008 द्वारा Springer Science & Business Media ISBN-13: 978-3-540-76862-3, ISBN: 3-540-76862-9 "... Jedermann, Jean-Pierre Emond, Walter Lang . . . . . . . . . . . . . . . . . . . . . . 231 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 2 Intelligent RFID as enabling technology . . . . . . . . . . . . . . . . . . . . . . . 232 3 Modelling approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233 4 Software simulation for the ta ..." |
 | | Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers द्वारा Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg 506 पन्ने, प्रकाशित 2004 द्वारा Springer ISBN-13: 978-3-540-46464-8, ISBN: 3-540-46464-6 "V. Claus, H. Ehrig, and G. Rozenberg, editors. Proc. of Graph Grammars and their Application to Computer Science, volume 73 of Lect. Notes in Comput. Sci. Springer-Verlag, New York/Berlin, 1979. 45 4. B. Courcelle, J. Engelfriet, and G. Rozenberg. Handle-rewriting hypergraph grammars. J. Comput. System Sci., 46: 218–270, 1993. 48 5. J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors. Proc. of Graph Grammars and their Applicatio ..." |
 | | Categorical Methods in Computer Science With Aspects from Topology द्वारा Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß 354 पन्ने, प्रकाशित 2014 द्वारा Springer ISBN-13: 978-3-662-21369-8, ISBN: 3-662-21369-9 "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." |
 | | Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings द्वारा Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg 466 पन्ने, प्रकाशित 2014 द्वारा Springer ISBN-13: 978-3-662-19759-2, ISBN: 3-662-19759-6 "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 ..." |
 | | Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings द्वारा Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg 466 पन्ने, प्रकाशित 2003 द्वारा Springer ISBN-13: 978-3-540-45832-6, ISBN: 3-540-45832-8 "... Hans-Jörg Kreowski, Grzegorz Rozenberg. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, and Sabine Kuske. Structured modeling with grace. In M ..." |