लॉगिन | साइन अप | सेटिंग्स | मेरी इच्छा सूची

 



खोजा जा रहा है ...
0 %





Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings (Lecture Notes in Logistics)
द्वारा Bernd Scholz-Reiter, Klaus-Dieter Thoben, Hans-Jörg Kreowski
Paperback, 580 पन्ने, प्रकाशित 2015 द्वारा Springer
ISBN-13: 978-3-642-42694-0, ISBN: 3-642-42694-8

"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 identi ..."






Dynamics in Logistics
Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings (Lecture Notes in Logistics)
द्वारा Bernd Scholz-Reiter, Klaus-Dieter Thoben, Hans-Jörg Kreowski
Hardcover, 580 पन्ने, प्रकाशित 2013 द्वारा Springer
ISBN-13: 978-3-642-35965-1, ISBN: 3-642-35965-5

"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 provid ..."






Dynamics in Logistics
Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
द्वारा Bernd Scholz-Reiter, Klaus-Dieter Thoben, Hans-Jörg Kreowski
Paperback, 547 पन्ने, प्रकाशित 2014 द्वारा Springer
ISBN-13: 978-3-642-42385-7, ISBN: 3-642-42385-X

"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 fr ..."






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. ..."






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 ..."






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 ..."






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 ..."






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






Gesellschaftliche Verantwortung in der digital vernetzten Welt. .
द्वारा Peter Bittner, Stefan Hügel, Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht, Britta Schinzel
Paperback, 307 पन्ने, प्रकाशित 2014 द्वारा Lit Verlag
ISBN-13: 978-3-643-12876-8, ISBN: 3-643-12876-2

"Peter Bittner, Stefan Hügel, Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht, Britta Schinzel. Peter Bittner ist Grenzgänger zwischen den Disziplinen, er arbeitet in und zwischen Informatik, Wirtschaftswissenschaften, ... an der Universität Düsseldorf in Philosophie promoviert und 1989 an der Universität Stuttgart in Praktischer Philosophie habilitiert. Er ist Präsident des InternationalCenter for Information Ethics und Editor-in-Chief ..."






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 ..."






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."






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

सभी लेखक

Hans-Jörg Kreowski

Bernd Scholz-Reiter

Klaus-Dieter Thoben

Hartmut Ehrig

Grzegorz Rozenberg

Gregor Engels

Till Mossakowski

Bernd Krieg-Brückner

Egidio Astesiano

Peter Bittner


सभी बाइंडिंग

Paperback

Unknown

Hardcover


सभी वर्ष

2015

2014

2013

2012