9783540653882 - advances in computing science - asian'98: 4th asian computing science conference, manila, the philippines, december 8-10, 1998, proceedings: 1538 (lecture notes in computer science, 1538) de hsiang, jieh; ohori, atsushi (13 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,87
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,23
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Advances in Computing Science - Asian'98: 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998, Proceedings. Book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 57,96
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 60,60
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,39
Envío por EUR 18,05Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,98
Envío por EUR 13,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,37
Envío por EUR 17,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,19
Envío por EUR 17,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,47Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also published as Lecture Notes in Computer Science, Vo…lumes 1023 (Bangkok, 1995), 1179 (Singapore, 1996), and 1345 (Kathmandu, 1997). Initiated in 1995 by the Asian Institute of Technology in partnership with INRIAandUNU,the ASIANconferenceseriesaimsatprovidingaforuminAsia fortheexchangeofthemostrecentresearchideasandresultsincomputerscience andinformationtechnology.Whileeachyearfeaturesseveralemphasizedthemes, the 1998 conference focuses on the research areas of (1) formal reasoning and veri cation,(2) programminglanguages,(3) dataand knowledgerepresentation, and (4) networking and Web computing. There were 43 submissions to the conference, out of which 17 were chosen for presentation and inclusion in this proceedings. The papers were submitted fromAustralia,Brazil,China,France,Germany,India,Italy,Japan,Korea,New Zealand, the Philippines, Russia, Singapore, Spain, Switzerland, Taiwan, Th- land, the United Kindom, and the United States of America. The program c- mittee meeting was held virtually over the Internet. The selection was nalized after a fteen-day period of lively discussion. Each paper was carefully reviewed and received at least three reports. In addition to 17 highly selective papers, this year s conference also features a keynotespeechby Jeannette M.Wing (CarnegieMellonUniversity)onFormal Methods:Past,Present,andFuture,twoinvitedtalksbySusumuHayashi(Kobe University) on Testing Proofs by Examples and Claude Kirchner (INRIA) on The RewritingCalculus as a Semantics ofELAN, and two tutorials by Tomasz Janowski(UNU/IIST)onSemanticsandLogicforProvableFault-Tolerance and R.K. Shyamasundar (TIFR) onMobile Computation: Calculus and Languages.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 a.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,89
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also published as Lecture Notes in Comp…uter Science, Volumes 1023 (Bangkok, 1995), 1179 (Singapore, 1996), and 1345 (Kathmandu, 1997). Initiated in 1995 by the Asian Institute of Technology in partnership with INRIAandUNU,the ASIANconferenceseriesaimsatprovidingaforuminAsia fortheexchangeofthemostrecentresearchideasandresultsincomputerscience andinformationtechnology.Whileeachyearfeaturesseveralemphasizedthemes, the 1998 conference focuses on the research areas of (1) formal reasoning and veri cation,(2) programminglanguages,(3) dataand knowledgerepresentation, and (4) networking and Web computing. There were 43 submissions to the conference, out of which 17 were chosen for presentation and inclusion in this proceedings. The papers were submitted fromAustralia,Brazil,China,France,Germany,India,Italy,Japan,Korea,New Zealand, the Philippines, Russia, Singapore, Spain, Switzerland, Taiwan, Th- land, the United Kindom, and the United States of America. The program c- mittee meeting was held virtually over the Internet. The selection was nalized after a fteen-day period of lively discussion. Each paper was carefully reviewed and received at least three reports. In addition to 17 highly selective papers, this year s conference also features a keynotespeechby Jeannette M.Wing (CarnegieMellonUniversity)onFormal Methods:Past,Present,andFuture,twoinvitedtalksbySusumuHayashi(Kobe University) on Testing Proofs by Examples and Claude Kirchner (INRIA) on The RewritingCalculus as a Semantics ofELAN, and two tutorials by Tomasz Janowski(UNU/IIST)onSemanticsandLogicforProvableFault-Tolerance and R.K. Shyamasundar (TIFR) onMobile Computation: Calculus and Languages. 324 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 f…or 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).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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, Tiergartenst…r. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
