Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9-11, 1997 Proceedings (Lecture Notes in Computer Science, 1345, Band 1345) - Softcover

 
9783540638759: Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9-11, 1997 Proceedings (Lecture Notes in Computer Science, 1345, Band 1345)
Softcover
ISBN 10: 354063875X ISBN 13: 9783540638759
Verlag: Springer, 2009

Inhaltsangabe

This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
354063875X
ISBN 13 
9783540638759
Einband
Taschenbuch
Anzahl der Seiten
408
Herausgeber
Shyamasundar R. K.
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783662199053: Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings

Vorgestellte Ausgabe

ISBN 10:  366219905X ISBN 13:  9783662199053
Verlag: Springer, 2014
Softcover