|
|
|
|
|
Mobile and Wireless CommunicationsOne of the very first books published on the social impact of the mobile phone was Timo Kopomaa’s The City in Your Pocket: Birth of the Mobile Information Society. The book, published in 2000, was based on research that Kopomaa had undertaken for Nokia and Sonera as part of his doctoral studies in the Centre for Urban and Regional Studies at... | | Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... | | Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007.
The 18 revised full papers, 5 revised poster papers, and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected for... |
|
|
|
|
Result Page: 813 812 811 810 809 808 807 806 805 804 803 802 801 800 799 798 797 796 795 |