wyszukanych pozycji: 2
![]() |
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
ISBN: 9783642171635 / Angielski / Miękka / 2010 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected fro...
|
cena:
193,19 zł |
![]() |
Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings
ISBN: 9783540638759 / Angielski / Miękka / 1997 / 394 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This is a collection of 24 revised full papers selected from a total of 94 submissions, presented at the Third Asian Computing Science Conference, held in Nepal in 1997. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations and ten 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.
This is a collection of 24 revised full papers selected from a total of 94 submissions, presented at the Third Asian Computing Science Conference, hel...
|
cena:
193,19 zł |