Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 32,64
Anzahl: 1 verfügbar
In den WarenkorbZustand: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Sprache: Englisch
Verlag: LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330006242 ISBN 13: 9783330006249
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 59,22
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Paperback. Zustand: Fair. No Jacket. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319444204 ISBN 13: 9783319444208
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,18
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 332 pages. 9.25x6.10x1.22 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540771123 ISBN 13: 9783540771128
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,11
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 347 pages. 9.25x6.00x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319450735 ISBN 13: 9783319450735
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642116582 ISBN 13: 9783642116582
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319450735 ISBN 13: 9783319450735
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,14
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 204 pages. 9.25x6.10x0.46 inches. In Stock.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 7,42
Anzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This volume contains the papers presented at the 6th International Conference on Distributed Computing and Internet Technology(ICDCIT 2010) held during February 15¿17, 2010 in Bhubaneswar, India. The conference was organized by Kalinga Institute of Industrial Technology (KIIT) University, Bhubaneshwar, India,[LINK ENTFERNT] the Center for ElectronicGovernance at United Nations University - International Institute for Software Technology (UNU-IIST-EGOV), Macao,[LINK ENTFERNT] InthetraditionoftheICDCITconferenceseries,ICDCIT2010welcomedp- sentations of research ideas and results in theory, methodology and applications of distributed computing and Internet technology. In addition, the conference emphasized that research in this area can play an important role in building a foundation for the development of e-Society Applications (e-Applications) and at the same time, that e-Applications can provide the relevance and context for such research. Establishing a connection between foundational and applied - searchin distributed systems and Internet technologywith softwareand services that enable e-Applications was a key feature of ICDCIT 2010. A total of 91 papers were submitted for ICDCIT 2010. Each paper was - viewedbyatleasttwomembersoftheProgramCommitteeoradditionalreferees.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Aug 2016, 2016
ISBN 10: 3319444204 ISBN 13: 9783319444208
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2016, held in Guimaraes, Portugal, in September 2016, in conjunction with the 8th International Conference on eParticipation, ePart 2016.The 24 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers are clustered under the following topical sections: foundations; benchmarking and evaluation; information integration and governance; services; evaluation and public values; EGOV success and failure; governance; social media; engagement; processes; policy-making; trust, transparency and accountability; open government and big/open data; smart government/governance/cities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Aug 2016, 2016
ISBN 10: 3319450735 ISBN 13: 9783319450735
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimarães, Portugal, in September 5-8, 2016.The 14 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers reflect completed multi-disciplinary research ranging from policy analysis and conceptual modeling to programming and visualization of simulation models. They are organized in four topical threads: theoretical foundations; critical reflections; implementations; policy formulation and modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.
Sprache: Englisch
Verlag: Springer, Springer Spektrum, 2010
ISBN 10: 3642116582 ISBN 13: 9783642116582
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the 6th International Conference on Distributed Computing and Internet Technology(ICDCIT 2010) held during February 15 17, 2010 in Bhubaneswar, India. The conference was organized by Kalinga Institute of Industrial Technology (KIIT) University, Bhubaneshwar, India,kiit.org,andco-organizedby the Center for ElectronicGovernance at United Nations University - International Institute for Software Technology (UNU-IIST-EGOV), Macao,egov.iist.unu.edu. InthetraditionoftheICDCITconferenceseries,ICDCIT2010welcomedp- sentations of research ideas and results in theory, methodology and applications of distributed computing and Internet technology. In addition, the conference emphasized that research in this area can play an important role in building a foundation for the development of e-Society Applications (e-Applications) and at the same time, that e-Applications can provide the relevance and context for such research. Establishing a connection between foundational and applied - searchin distributed systems and Internet technologywith softwareand services that enable e-Applications was a key feature of ICDCIT 2010. A total of 91 papers were submitted for ICDCIT 2010. Each paper was - viewedbyatleasttwomembersoftheProgramCommitteeoradditionalreferees.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319450735 ISBN 13: 9783319450735
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimarães, Portugal, in September 5-8, 2016.The 14 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers reflect completed multi-disciplinary research ranging from policy analysis and conceptual modeling to programming and visualization of simulation models. They are organized in four topical threads: theoretical foundations; critical reflections; implementations; policy formulation and modeling.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2016, held in Guimaraes, Portugal, in September 2016, in conjunction with the 8th International Conference on eParticipation, ePart 2016. The 24 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers are clustered under the following topical sections: foundations; benchmarking and evaluation; information integration and governance; services; evaluation and public values; EGOV success and failure; governance; social media; engagement; processes; policy-making; trust, transparency and accountability; open government and big/open data; smart government/governance/cities.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Electronic Participation | 8th IFIP WG 8.5 International Conference, ePart 2016, Guimarães, Portugal, September 5-8, 2016, Proceedings | Efthimios Tambouris (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2016 | Springer | EAN 9783319450735 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Electronic Government | 15th IFIP WG 8.5 International Conference, EGOV 2016, Guimarães, Portugal, September 5-8, 2016, Proceedings | Hans Jochen Scholl (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2016 | Springer | EAN 9783319444208 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Distributed Computing and Internet Technology | 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings | Tomasz Janowski (u. a.) | Taschenbuch | xv | Englisch | 2010 | Springer | EAN 9783642116582 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XV, 405 pp. About this book: This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses. Written for software engineers.
Taschenbuch. Zustand: Neu. Specification Case Studies in RAISE | Hung Dang Van (u. a.) | Taschenbuch | xv | Englisch | 2002 | Springer | EAN 9781852333591 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer London, Springer, 2002
ISBN 10: 1852333596 ISBN 13: 9781852333591
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. The complete specifications for all of the case studies and the RAISE tools (both source code and executables) used to process them are available at: iist.unu.edu/RAISE_Case_Studies/ This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of inte rest to academics and students on advanced formal methods courses.