| ISBNS.co.in | |
  | |
| खोजा जा रहा है ... |
| 0 % | ||
| Only Books by Hans-Jörg Kreowski | X |
| Only Books Published in 2008 - 2012 | X |
  | | Graph Transformation(2002nd Edition) First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science) द्वारा Andrea Corradini, Hartmut Ehrig, Grzegorz Rozenberg, Hans-Jörg Kreowski, Jorge Albores-Saavedra, Hans-Jürg Kreowski Paperback, 466 पन्ने, प्रकाशित 2009 द्वारा Springer ISBN-13: 978-3-540-44310-0, ISBN: 3-540-44310-X "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 ..." |
 | | Algebraic Foundations of Systems Specification(Reprint) (IFIP State-of-the-Art Reports) द्वारा Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner Paperback, 616 पन्ने, प्रकाशित 2011 द्वारा Springer ISBN-13: 978-3-642-64151-0, ISBN: 3-642-64151-2 "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 ..." |
 | | Dynamics in Logistics(Reprint) First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings द्वारा Hans-Dietrich Haasis, Bernd Scholz-Reiter, Hans-Jörg Kreowski Paperback, 466 पन्ने, प्रकाशित 2010 द्वारा Springer ISBN-13: 978-3-642-09555-9, ISBN: 3-642-09555-0 "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 enterpris ..." |
 | | Dynamics in Logistics Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings द्वारा Bernd Scholz-Reiter, Klaus-Dieter Thoben, Hans-Jörg Kreowski Hardcover, 547 पन्ने, प्रकाशित 2011 द्वारा Springer ISBN-13: 978-3-642-11995-8, ISBN: 3-642-11995-6 "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 techn ..." |
 | | Dynamics in Logistics First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings द्वारा Hans-Dietrich Haasis, Bernd Scholz-Reiter, Hans-Jörg Kreowski Hardcover, 466 पन्ने, प्रकाशित 2008 द्वारा Springer ISBN-13: 978-3-540-76861-6, ISBN: 3-540-76861-0 "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 enterpris ..." |
 | | 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. ..." |
 | | Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) द्वारा Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg, Hans-Jörg Kreowski Paperback, 440 पन्ने, प्रकाशित 2012 द्वारा Springer ISBN-13: 978-3-642-33653-9, ISBN: 3-642-33653-1 "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 ..." |
 | | 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 ..." |
 | | 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 ..." |
 | | Informatik und Gesellschaft(1st Edition) द्वारा Hans-Jörg Kreowski, Kreowski Hans J. Paperback, 288 पन्ने, प्रकाशित 2008 द्वारा Lit Verlag ISBN-13: 978-3-8258-8768-1, ISBN: 3-8258-8768-5 "Verflechtungen und Perspektiven Hans-Jörg Kreowski. dass es auch datenschutzrechtlich bedenklich ist, sie im Kampf gegen den Terror oder andere Formen der Kriminalität einzusetzen. 4. Der Terror ... Siehe hierzu u.a. Matsumoto et al., Impact of Artificial Gummy Fingers on Fingerprint Systems, in Proceedings of SPIE Vol. #4677, Optical Security and Counterfeit Deterrence Techniques IV, 2002, 275ff.; Thalheim/Krissler/Ziegler, Körper ..." |
 | | 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 ..." |
 | | Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers द्वारा Till Mossakowski, Hans-Jörg Kreowski Paperback, 316 पन्ने, प्रकाशित 2012 द्वारा Springer ISBN-13: 978-3-642-28413-7, ISBN: 3-642-28413-2 |
 | | Dynamics in Logistics Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings द्वारा Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben Paperback, 564 पन्ने, प्रकाशित 2011 द्वारा Springer ISBN-13: 978-3-642-11997-2, ISBN: 3-642-11997-2 |
 | | Algebraic System Specification and Development A Survey and Annotated Bibliography (Lecture Notes in Computer Science) द्वारा Michel Bidoit, Pierre Lescanne, Fernando Orejas, Donald Sannella, Hans-Jörg Kreowski, D. Sannella Paperback, 184 पन्ने, प्रकाशित 2008 द्वारा Springer ISBN-13: 978-3-540-54060-1, ISBN: 3-540-54060-1 "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 desc ..." |
 | | Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ... Computer Science and General Issues) द्वारा Till Mossakowski, Hans-Jrg Kreowski Paperback, 303 पन्ने, प्रकाशित 2012 द्वारा Springer ISBN-13: 978-3-642-28411-3, ISBN: 3-642-28411-6 |