Verwandte Artikel zu Advances in Computing Science - ASIAN'98: 4th Asian...
Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings (Lecture Notes in Computer Science, 1538, Band 1538) - Softcover
Inhaltsangabe
R.K. Shyamasundar (TIFR) onMobile Computation: Calculus and Languages.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
R.K. Shyamasundar (TIFR) onMobile Computation: Calculus and Languages.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Advances in Computing Science - ASIAN'98: 4th Asian...
Beispielbild für diese ISBN
Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings (Lecture Notes in Computer Science, 1538)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. I-9783540653882
Neu kaufen
EUR 62,41
EUR 2,67 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Advances in Computing Science, Asian '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 918185-n
Neu kaufen
EUR 62,04
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Advances in Computing Science, Asian '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Artikel-Nr. 918185
Gebraucht kaufen
EUR 66,20
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Advances in Computing Science - ASIAN'98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talk 1.- Testing Proofs by Examples.- Session 1.- Rigid Reachability.- Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.- A Polymorphic Language Which Is Typable and Poly-step.- Cut Elimination for Classical Proofs as Continuation Passing Style Computation.- Tutorial 1.- Semantics and Logic for Provable Fault-Tolerance, A Tutorial.- Invited Talk 2.- The Rewriting Calculus as a Semantics of ELAN.- Session 2.- Tried Linear Hashing.- A New Factoring Algorithm for Magic Predicates.- An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs.- Session 3.- Taxonomy and Expressiveness of Preemption: A Syntactic Approach.- Exploring Regional Locality in Distributed Shared Memory.- Guaranteed Mutually Consistent Checkpointing in Distributed Computations.- Session 4.- Type Inference for First-Class Messages with Feature Constraints.- Two Flavors of Offine Partial Evaluation.- First-Class Contexts in ML.- Keynote Address.- Formal Methods: Past, Present, and Future.- Session 5.- A Comparison of Petri Net Semantics under the Collective Token Philosophy.- Bisimulation Lattice of Chi Processes.- Eventuality in LOTOS with a Disjunction Operator.- Towards a Characterisation of Finite-State Message-Passing Systems.- Tutorial 2.- Mobile Computation: Calculus and Languages (A Tutorial). Artikel-Nr. 9783540653882
Neu kaufen
EUR 66,40
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Advances in Computing Science - ASIAN'98 | 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Advances in Computing Science - ASIAN'98 | 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings | Jieh Hsiang (u. a.) | Taschenbuch | x | Englisch | 1998 | Springer | EAN 9783540653882 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 101918062
Neu kaufen
EUR 50,45
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar