 |
|
|
 Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, ProceedingsThis book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.
The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical... |  |  |  |  Multidimensional ProgrammingThis book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically... |
|
 The Developer's Guide to DebuggingSoftware has bugs. Period.
That's true, unfortunately. Even the good old "hello, world" program, known to virtually every C and C++ programmer in the world, can be considered to be buggy. Developing software means having to deal with defects; old ones, new ones, ones you created yourself, and those that others brought to life.... |  |  Distributed Computing: Principles, Algorithms, and SystemsDesigning distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed... |  |  Internet Based Workflow Management: Towards a Semantic WebToday, an ever-expanding set of human activities, ranging from business processes to healthcare to education and research, is dependent upon the Internet. Most processes involve a workflow, the coordinated execution of multiple activities. In a given application, once the key stages of the workflow have been isolated, an infrastructure to... |
|
|
Result Page: 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 |