Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Autobiography of an Indian Software Techie and Spiritual Aspirant – Part 1
This autobiography covers author's Mumbai and Dombivli based life with some foreign stints, from childhood to commercial retirement at age 40 (as unmarried man) in 2002. The author's family background is followed by school and college student days during a period of family financial challenges and father's passing away. B.Sc. Physics is completed in 1983. M.Sc. Physics is started but discontinued. Software development career starts off in 1984. In 1990 comes excitement of joining a start-up in key position. Stress and health problems become key issues, propelling turn to spiritual and balanced spiritual-cum-work life in end 1992. From around 1993/1994 Bhagavan Sri Sathya Sai Baba and Dombivli Sathya Sai samithi become central spiritual influences. After author's mother passes away in early 1999, he focuses on saving retirement money and preparing for ashram life till Sept. 2002 at end of which he starts off on journey to ashram life.
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004. The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, automata theory, and theoretical computer science in general.
The Science and Technology of Industrial Water Treatment
Mineral scale deposits, corrosion, suspended matter, and microbiological growth are factors that must be controlled in industrial water systems. Research on understanding the mechanisms of these problems has attracted considerable attention in the past three decades as has progress concerning water treatment additives to ameliorate these concerns.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005, held in Hyderabad, India, in December 2005. The 38 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 167 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
The Software Life Cycle
The Software Life Cycle deals with the software lifecycle, that is, what exactly happens when software is developed. Topics covered include aspects of software engineering, structured techniques of software development, and software project management. The use of mathematics to design and develop computer systems is also discussed. This book is comprised of 20 chapters divided into four sections and begins with an overview of software engineering and software development, paying particular attention to the birth of software engineering and the introduction of formal methods of software development. The next section explores some aspects of software engineering that tend to get ignored in the literature, including functional programming, functional-programming languages, and relational databases. The reader is then introduced to structured methods of software development, along with software project management. The final chapter is devoted to software testing, which can be functional or nonfunctional. This monograph will be useful to software engineers and designers.
Theoretical Aspects of Computing - ICTAC 2012
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Software and Compilers for Embedded Systems
This book constitutes the refereed proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in Vienna, Austria in September 2003. The 26 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on code size reduction, code selection, loop optimizations, automatic retargeting, system design, register allocation, offset assignment, analysis and profiling, and memory and cache optimzations.
