Gesamtpreis (1 Artikel Artikel):
Versandziel:
alagar (61 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (61)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (25)
Sprache (8)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Specification of Software Systems
Buch 20 von 83: Texts in Computer ScienceAnbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Specification of Software Systems
Buch 20 von 83: Texts in Computer ScienceAnbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 - Proceedings (Lecture Notes in Computer Science 936)
Sprache: Englisch
Verlag: Springer-Verlag GmbH, Berlin, Germany, 1995
ISBN 10: 3540600434 ISBN 13: 9783540600435
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 14,28
EUR 10,97 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 936, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.
-
Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995: Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1995
ISBN 10: 3540600434 ISBN 13: 9783540600435
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 16,90
EUR 9,24 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Specification of Software Systems
Buch 20 von 83: Texts in Computer ScienceAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 28,42
EUR 7,51 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 422.
-
Specification of Software Systems (Texts in Computer Science)
Buch 20 von 83: Texts in Computer ScienceAnbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 25,21
EUR 12,29 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Specification of Software Systems (Texts in Computer Science)
Buch 20 von 83: Texts in Computer ScienceAnbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 23,12
EUR 15,48 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:9780387984308.
-
Krothame Kadhalaai (Tamil Edition)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Good.
-
Fundamentals of Computing: Theory and Practice
Sprache: Englisch
Verlag: Prentice Hall (edition First Edition), 1989
ISBN 10: 0133353087 ISBN 13: 9780133353082
Erstausgabe
Hardcover. Zustand: Good. First Edition. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
Context-Aware Systems and Applications: 4th International Conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015. Revised Selected Papers: . and Telecommunications Engineering, 165)
Buch 137 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringAnbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 40,12
EUR 15,48 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9783319292359.
-
Fundamentals of Computing Theory and Practice
Sprache: Englisch
Verlag: Prentice Hall, Englewood Cliffs, NJ, 1989
ISBN 10: 0133353087 ISBN 13: 9780133353082
Anbieter: True Oak Books, Highland, NY, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Very Good-. First Edition; First Printing. 753 pages; Graphs. Very minor smudges to the exterior edges of textblock. Minor rubbing to the covers. Very Good condition otherwise. No other noteworthy defects. No markings. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Context-Aware Systems and Applications: Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected . and Telecommunications Engineering, 128)
Buch 104 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringAnbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,24
EUR 12,29 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Incompleteness and uncertainty in information systems : proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8 - 9 October 1993. Workshops in Computing
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. VIII, 233 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 420.
-
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 (Workshops in Computing)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 48,14
EUR 12,29 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Specification Of Software Systems
Buch 20 von 83: Texts in Computer ScienceAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods in Databases and Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,72
EUR 7,51 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 191.
-
Algebraic Methodology and Software Technology - 4th International Conference, AMAST *95, Montreal, Canada, July 3-7, 1995: Proceedings
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 (Workshops in Computing)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,61
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 200 pages. 9.25x6.10x0.46 inches. In Stock.
-
Context-aware Systems and Applications, and Nature of Computation and Communication: 7th Eai International Conference, Iccasa 2018, and 4th Eai International Conference, Ictcc 2018, Viet Tri City, Vietnam, November 22-23, 2018, Proceed
Buch 230 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030061515 ISBN 13: 9783030061517
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,33
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 248 pages. 9.25x6.10x0.55 inches. In Stock.
-
Incompleteness and Uncertainty in Information Systems: Proceedings of the Softeks Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,33
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 243 pages. 9.25x6.10x0.56 inches. In Stock.
-
Formal Methods in Databases and Software Engineering
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993
ISBN 10: 3540198121 ISBN 13: 9783540198123
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. This volume outlines the proceedings of a workshop which aimed to foster interdisciplinary research between software engineers and database designers. Topics discussed include object-oriented VDM, proof management, temporal databases, concept learning and knowledge-based systems. Editor(s): Alagar, V. S.; Lakshmanan, Laks V. S.; etc.; Sadri, Fereidoon. Series: Workshops in Computing. Num Pages: 193 pages, biography. BIC Classification: UMN; UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 320. . 1993. Softcover reprint of the original 1st ed. 1993. Paperback. . . . . Books ship from the US and Ireland.
-
Context-aware Systems And Applications
Buch 230 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringAnbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Context-aware Systems and Applications: Second International Conference, Iccasa 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers
Buch 104 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSprache: Englisch
Verlag: Springer-Verlag New York Inc, 2014
ISBN 10: 3319059386 ISBN 13: 9783319059389
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,62
EUR 14,44 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 368 pages. 9.00x6.00x0.75 inches. In Stock.
-
Algebraic Methodology and Software Technology
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 88,45
EUR 7,51 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 616 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Krothame Kadhalaai
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 37,22
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 440 pages. Tamil language. 8.50x5.50x1.09 inches. In Stock.
-
Specification of Software Systems
Buch 20 von 83: Texts in Computer ScienceSprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 0857292765 ISBN 13: 9780857292766
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 86,02
EUR 17,33 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 2nd edition. 644 pages. 9.25x6.50x1.75 inches. In Stock.
-
Context-Aware Systems and Applications, and Nature of Computation and Communication
Buch 230 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Dez 2018, 2018
ISBN 10: 3030061515 ISBN 13: 9783030061517
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2018, held in November 2018 in Viet Tri City, Vietnam. The 20 revised full papers presented were carefully selected from 30 submissions. The papers of ICCASA cover a wide spectrum in the area of context-aware-systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection used to dynamically control computing and networking functions. The papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
-
Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15¿16 May 1992
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term 'information systems' is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is 'formal modeling'. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from 'outside in'; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of 'object' is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths.
-
Incompleteness and Uncertainty in Information Systems : Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8¿9 October 1993
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. A major aim of the workshop was to bring together researchers who share a concern for issues of incompleteness and uncertainty. The workshop attracted people doing fundamental research and industry oriented research in databases, software engineering and AI from North America, Europe and Asia. The workshop program featured six invited talks and twenty other presentations. The invited speakers were: Martin Feather (University of Southern CalifornialInformation Systems Institute) Laks V. S. Lakshmanan (Concordia University) Ewa Orlowska (Polish Academy of Sciences) z. Pawlak (Warsaw Technical University and Academy of Sciences) F. Sadri (Concordia University) A. Skowron (Warsaw University) The papers can be classified into four groups: rough sets and logic, concept analysis, databases and information retrieval, and software engineering. The workshop opened with a warm welcome speech from Dr. Dan Taddeo, Dean, Faculty of Engineering and Computer Science. The first day's presentations were in rough sets, databases and information retrieval. Papers given on the second day centered around software engineering and concept analysis. Sufficient time was given in between presentations to promote active interactions and numerous lively discussions. At the end of two days, the participants expressed their hope that this workshop would be continued.
-
Context-Aware Systems and Applications, and Nature of Computation and Communication : 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22¿23, 2018, Proceedings
Buch 230 von 387: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030061515 ISBN 13: 9783030061517
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2018, held in November 2018 in Viet Tri City, Vietnam. The 20 revised full papers presented were carefully selected from 30 submissions. The papers of ICCASA cover a wide spectrum in the area of context-aware-systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection used to dynamically control computing and networking functions. The papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.
