wyszukanych pozycji: 9
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
ISBN: 9783540160779 / Angielski / Miękka / 1986 / 253 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re- ported at the workshop provoked this volume. The present collection of...
This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (German...
|
|
cena:
195,87 zł |
Dynamics in Logistics: Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
ISBN: 9783642359651 / Angielski / Twarda / 2013 / 580 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
The volume comprises the proceedings of the third International Conference on Dynamics in Logistics LDIC 2012. The scope of the conference targeted th...
|
|
cena:
783,57 zł |
Dynamics in Logistics: Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
ISBN: 9783642426940 / Angielski / Miękka / 2015 / 580 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
783,57 zł |
Dynamics in Logistics: Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
ISBN: 9783642423857 / Angielski / Miękka / 2014 / 547 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
The volume comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. The scope of the conference was concer...
|
|
cena:
783,57 zł |
Dynamics in Logistics: Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
ISBN: 9783642119958 / Angielski / Twarda / 2011 / 564 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. This 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, and more.
Comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. This volume consists of one invited paper and of ...
|
|
cena:
783,57 zł |
Informatik zwischen Wissenschaft und Gesellschaft: Zur Erinnerung an Reinhold Franck Proceedings
ISBN: 9783540553892 / Niemiecki / Miękka / 1992 / 344 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Papers from a colloquium held by the Studiengang Informatik of the Universit'at Bremen in June 1990.
Papers from a colloquium held by the Studiengang Informatik of the Universit'at Bremen in June 1990.
|
|
cena:
201,35 zł |
Algebraic Foundations of Systems Specification
ISBN: 9783642641510 / Angielski / Miękka / 2011 / 616 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness...
|
|
cena:
195,87 zł |
Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
ISBN: 9783540672036 / Angielski / Miękka / 2000 / 506 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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,...
Theareaofgraphtransformationoriginatedinthelate1960sunderthename "graph grammars" - the main motivation came from practical considerations concerning ...
|
|
cena:
195,87 zł |
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
ISBN: 9783540249368 / Angielski / Miękka / 2005 / 420 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates th... |
|
cena:
195,87 zł |