Filter
(found 350 products)
Book cover image
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating ...
The Synthesizer Generator Reference Manual
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor nell Program Synthesizer [Teitelbaum81], which was a programming environ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularly suitable application.
https://magrudy-assets.storage.googleapis.com/9780387969107.jpg
145.950000 USD

The Synthesizer Generator Reference Manual

by Tim Teitelbaum, Thomas W. Reps
Paperback / softback
Book cover image
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Abstraction, Refinement and Proof for Probabilistic Systems
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
https://magrudy-assets.storage.googleapis.com/9781441923127.jpg
208.950000 USD

Abstraction, Refinement and Proof for Probabilistic Systems

by Charles Carroll Morgan, Annabelle McIver
Paperback / softback
Book cover image
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization ...
Formal Methods for Embedded Distributed Systems: How to master the complexity
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.
https://magrudy-assets.storage.googleapis.com/9781441954596.jpg
177.450000 USD

Formal Methods for Embedded Distributed Systems: How to master the complexity

Paperback / softback
Book cover image
The Programmer's Hierarchical Interactive Graphics System (PHIGS) is a computer-graphics standard defining an interface between an application program and a computer-graphics system. PHIGS has been actively under development since 1980. Much of this development has been performed by Technical Committee X3H3 under the American National Standard Institute (ANSI) procedures. PHIGS ...
PHIGS by Example
The Programmer's Hierarchical Interactive Graphics System (PHIGS) is a computer-graphics standard defining an interface between an application program and a computer-graphics system. PHIGS has been actively under development since 1980. Much of this development has been performed by Technical Committee X3H3 under the American National Standard Institute (ANSI) procedures. PHIGS is also an international standard sponsored by the United States and developed by the international computer-graphics committee, ISO TC97/SC21/WG2. In addition, PHIGS has been selected as the graphics extension to the X-window standard and as part of the Intel i860 P.A.X. standard. The PHIGS standard has received wide acceptance throughout the computer graphics industry. PHIGS libraries are available on most of the high performance three-dimensional graphics platforms. These include IBM, DEC, HP, Sun, Alliant, Stardent, and Silicon Graphics. Despite this acceptance, there are few texts that provide the software engineer with an overview of the standard. The only currently available PHIGS references are in the form of the ANSI functional description, technical papers, and device-specific PHIGS to the novice PHIGS programmer.
https://magrudy-assets.storage.googleapis.com/9781461269663.jpg
94.490000 USD

PHIGS by Example

by William A. Giovinazzo, William A. Gaman
Paperback / softback
Book cover image
This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult. Schellekens includes sample programs as ...
A Modular Calculus for the Average Cost of Data Structuring
This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult. Schellekens includes sample programs as well as derivations of the average-case time of these programs to illustrate this radically different approach.
https://magrudy-assets.storage.googleapis.com/9781489999061.jpg
177.450000 USD

A Modular Calculus for the Average Cost of Data Structuring

by Michel Schellekens
Paperback / softback
Book cover image
Agriculture has experienced a dramatic change during the past decades. The change has been structural and technological. Structural changes can be seen in the size of current farms; not long ago, agricultural production was organized around small farms, whereas nowadays the agricultural landscape is dominated by large farms. Large farms ...
Advances in Modeling Agricultural Systems
Agriculture has experienced a dramatic change during the past decades. The change has been structural and technological. Structural changes can be seen in the size of current farms; not long ago, agricultural production was organized around small farms, whereas nowadays the agricultural landscape is dominated by large farms. Large farms have better means of applying new technologies, and therefore technological advances have been a driving force in changing the farming structure. New technologies continue to emerge, and their mastery and use in requires that farmers gather more information and make more complex technological choices. In particular, the advent of the Internet has opened vast opportunities for communication and business opportunities within the agricultural com- nity. But at the same time, it has created another class of complex issues that need to be addressed sooner rather than later. Farmers and agricultural researchers are faced with an overwhelming amount of information they need to analyze and synthesize to successfully manage all the facets of agricultural production. This daunting challenge requires new and complex approaches to farm management. A new type of agricultural management system requires active cooperation among multidisciplinary and multi-institutional teams and ref- ing of existing and creation of new analytical theories with potential use in agriculture. Therefore, new management agricultural systems must combine the newest achievements in many scientific domains such as agronomy, economics, mathematics, and computer science, to name a few.
https://magrudy-assets.storage.googleapis.com/9781441945259.jpg
230.990000 USD

Advances in Modeling Agricultural Systems

Paperback / softback
Book cover image
Statements in C, like statements in any other programming language, consist almost entirely of expressions and special reserved words. Declarations in C, unlike declarations in other languages, also contain arbitrary expressions. Thus, studying the means by which C expressions are constructed and evaluated is especially important-particularly since the number of ...
Elements of C
Statements in C, like statements in any other programming language, consist almost entirely of expressions and special reserved words. Declarations in C, unlike declarations in other languages, also contain arbitrary expressions. Thus, studying the means by which C expressions are constructed and evaluated is especially important-particularly since the number of permissible C operators is so large. Since all of the operands in a C expression (excluding constants) must be properly declared before they are used, and since declarations themselves contain expressions, the teaching of C involves the following chicken-and-egg problem: Should one begin by considering only elementary declarations, in which case the topic of expression construction and evaluation cannot be fully treated in one place, because the operators that pertain to the more complex objects-like pointers and structures (whose declarations have not yet been introduced)--have not yet been covered, or should one postpone entirely the issue of how decla- rations are written (merely assuming that all of the objects under discussion have been properly declared) in order to fully treat all types of operands and operators in one comprehensive discussion? If the student is encouraged to begin writing programs immediately, the former choice is mandatory, because even the most elementary programs must vII Preface viii contain proper declarations. Thus, most C textbooks postpone the discussion of objects like arrays, structures, and pointers (and of the operators that pertain to them) until the second half of the book is reached.
https://magrudy-assets.storage.googleapis.com/9781461292715.jpg
83.990000 USD

Elements of C

by Morton H. Lewin
Paperback / softback
Book cover image
Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirement which faces system engineers building distributed information systems. Distributed applications are a necessity in most central application sectors of the contemporary computerized society, for instance, in office automation, banking, manufacturing, telecommunication and ...
Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland
Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirement which faces system engineers building distributed information systems. Distributed applications are a necessity in most central application sectors of the contemporary computerized society, for instance, in office automation, banking, manufacturing, telecommunication and transportation. This book focuses on the techniques available or under development, with the goal of easing the burden of constructing reliable and maintainable interoperable information systems. The topics covered in this book include: Management of distributed systems; Frameworks and construction tools; Open architectures and interoperability techniques; Experience with platforms like CORBA and RMI; Language interoperability (e.g. Java); Agents and mobility; Quality of service and fault tolerance; Workflow and object modelling issues; and Electronic commerce . The book contains the proceedings of the International Working Conference on Distributed Applications and Interoperable Systems II (DAIS'99), which was held June 28-July 1, 1999 in Helsinki, Finland. It was sponsored by the International Federation of Information Processing (IFIP). The conference program presents the state of the art in research concerning distributed and interoperable systems. This is a topical research area where much activity is currently in progress. Interesting new aspects and innovative contributions are still arising regularly. The DAIS series of conferences is one of the main international forums where these important findings are reported.
https://magrudy-assets.storage.googleapis.com/9781475750089.jpg
235.200000 USD

Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland

Paperback / softback
Book cover image
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference ...
Software Reliability Methods
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.
https://magrudy-assets.storage.googleapis.com/9781441928764.jpg
125.990000 USD

Software Reliability Methods

by Doron A. Peled
Paperback / softback
Book cover image
Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and ...
Programming Methodology
Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.
https://magrudy-assets.storage.googleapis.com/9781441929648.jpg
156.450000 USD

Programming Methodology

Paperback / softback
Book cover image
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries ...
On a Method of Multiprogramming
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
https://magrudy-assets.storage.googleapis.com/9781441931795.jpg
198.450000 USD

On a Method of Multiprogramming

by A.J.M. van Gasteren, W.H.J. Feijen
Paperback / softback
Book cover image
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for ...
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.
https://magrudy-assets.storage.googleapis.com/9781461265221.jpg
104.990000 USD

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

by Mingsheng Ying
Paperback / softback
Book cover image
In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re sults would finally be forgotten because it is impossible ...
Graph Theory for Programmers: Algorithms for Processing Trees
In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re sults would finally be forgotten because it is impossible to run through the entire variety of sources where these materials could be published. Therefore, we decided to do what we can to correct this situation. We discussed this problem with Ershov and came to an idea to write an encyclopedia of algorithms on graphs focusing our main attention on the algorithms already used in programming and their generalizations or modifications. We thought that it is reasonable to group all graphs into certain classes and place the algo rithms developed for each class into a separate book. The existence of trees, i. e. , a class of graphs especially important for programming, also supported this decision. This monograph is the first but, as we hope, not the last book written as part of our project. It was preceded by two books Algorithms on Trees (1984) and Algorithms of Processing of Trees (1990) small editions of which were published at the Computer Center of the Siberian Division of the Russian Academy of Sciences. The books were distributed immediately and this made out our decision to prepare a combined mono graph on the basis of these books even stronger.
https://magrudy-assets.storage.googleapis.com/9789401058049.jpg
115.490000 USD

Graph Theory for Programmers: Algorithms for Processing Trees

by Vladimir A. Evstigneev, Victor N. Kasyanov
Paperback / softback
Book cover image
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. ...
Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering project requires the selection of techniques, methods and tools suited to achieve stated goals under given project constraints. This assumes sufficient knowledge regarding the process-product relationships (or effects) of candidate techniques, methods and tools. Planning of software projects suffers greatly from lack of knowledge regarding the process-product relationships of candidate techniques, methods and tools. Especially in the area of testing a project planner is confronted with an abundance of testing techniques, but very little knowledge regarding their effects under varying project conditions. This book offers a novel approach to addressing this problem: First, based on a comprehensive initial characterization scheme (see chapter 7) an overview of existing testing techniques and their effects under varying conditions is provided to guide the selection of testing approaches. Second, the optimisation of this knowledge base is suggested based on experience from experts, real projects and scientific experiments (chapters 8, 9, and 10). This book is of equal interest to practitioners, researchers and students. Practitioners interested in identifying ways to organize their company-specific knowledge about testing could start with the schema provided in this book, and optimise it further by applying similar strategies as offered in chapters 8 and 9.
https://magrudy-assets.storage.googleapis.com/9781461350675.jpg
157.490000 USD

Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema

by Victor R. Basili, Natalia Juristo, Sira Vegas
Paperback / softback
Book cover image
An Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application. Without such knowledge, when faced with a new application domain, agent developers must rely on past experience and intuition to determine whether a multi-agent ...
An Application Science for Multi-Agent Systems
An Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application. Without such knowledge, when faced with a new application domain, agent developers must rely on past experience and intuition to determine whether a multi-agent system is the right approach, and if so, how to structure the agents, how to decompose the problem, and how to coordinate the activities of the agents, and so forth. This unique collection of contributions, written by leading international researchers in the agent community, provides valuable insight into the issues of deciding which technique to apply and when it is appropriate to use them. The contributions also discuss potential trade-offs or caveats involved with each decision. An Application Science For Multi-Agent Systems is an excellent reference for anyone involved in developing multi-agent systems.
https://magrudy-assets.storage.googleapis.com/9781475779233.jpg
83.990000 USD

An Application Science for Multi-Agent Systems

Paperback / softback
Book cover image
Optical character recognition (OCR) is the most prominent and successful example of pattern recognition to date. There are thousands of research papers and dozens of OCR products. Optical Character Rcognition: An Illustrated Guide to the Frontier offers a perspective on the performance of current OCR systems by illustrating and explaining ...
Optical Character Recognition: An Illustrated Guide to the Frontier
Optical character recognition (OCR) is the most prominent and successful example of pattern recognition to date. There are thousands of research papers and dozens of OCR products. Optical Character Rcognition: An Illustrated Guide to the Frontier offers a perspective on the performance of current OCR systems by illustrating and explaining actual OCR errors. The pictures and analysis provide insight into the strengths and weaknesses of current OCR systems, and a road map to future progress. Optical Character Recognition: An Illustrated Guide to the Frontier will pique the interest of users and developers of OCR products and desktop scanners, as well as teachers and students of pattern recognition, artificial intelligence, and information retrieval. The first chapter compares the character recognition abilities of humans and computers. The next four chapters present 280 illustrated examples of recognition errors, in a taxonomy consisting of Imaging Defects, Similar Symbols, Punctuation, and Typography. These examples were drawn from large-scale tests conducted by the authors. The final chapter discusses possible approaches for improving the accuracy of today's systems, and is followed by an annotated bibliography. Optical Character Recognition: An Illustrated Guide to the Frontier is suitable as a secondary text for a graduate level course on pattern recognition, artificial intelligence, and information retrieval, and as a reference for researchers and practitioners in industry.
https://magrudy-assets.storage.googleapis.com/9781461372813.jpg
230.990000 USD

Optical Character Recognition: An Illustrated Guide to the Frontier

by Thomas A. Nartker, George Nagy, Stephen V. Rice
Paperback / softback
Book cover image
Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. This conference will discuss issues pertaining to information systems development (ISD) in ...
Information Systems Development: Challenges in Practice, Theory, and Education Volume 2
Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. This conference will discuss issues pertaining to information systems development (ISD) in the inter-networked digital economy. Participants will include researchers, both experienced and novice, from industry and academia, as well as students and practitioners. Themes will include methods and approaches for ISD; ISD education; philosophical, ethical, and sociological aspects of ISD; as well as specialized tracks such as: distributed software development, ISD and knowledge management, ISD and electronic business / electronic government, ISD in public sector organizations, IOS.
https://magrudy-assets.storage.googleapis.com/9781441946171.jpg
250.950000 USD

Information Systems Development: Challenges in Practice, Theory, and Education Volume 2

Paperback / softback
Book cover image
Data uncertainty is a concept closely related with most real life applications that involve data collection and interpretation. Examples can be found in data acquired with biomedical instruments or other experimental techniques. Integration of robust optimization in the existing data mining techniques aim to create new algorithms resilient to error ...
Robust Data Mining
Data uncertainty is a concept closely related with most real life applications that involve data collection and interpretation. Examples can be found in data acquired with biomedical instruments or other experimental techniques. Integration of robust optimization in the existing data mining techniques aim to create new algorithms resilient to error and noise. This work encapsulates all the latest applications of robust optimization in data mining. This brief contains an overview of the rapidly growing field of robust data mining research field and presents the most well known machine learning algorithms, their robust counterpart formulations and algorithms for attacking these problems. This brief will appeal to theoreticians and data miners working in this field.
https://magrudy-assets.storage.googleapis.com/9781441998774.jpg
73.490000 USD

Robust Data Mining

by Theodore B Trafalis, Panos M. Pardalos, Petros Xanthopoulos
Paperback / softback
Book cover image
Cloud computing is the latest market-oriented computing paradigm which brings software design and development into a new era characterized by XaaS , i.e. everything as a service. Cloud workflows, as typical software applications in the cloud, are composed of a set of partially ordered cloud software services to achieve specific ...
The Design of Cloud Workflow Systems
Cloud computing is the latest market-oriented computing paradigm which brings software design and development into a new era characterized by XaaS , i.e. everything as a service. Cloud workflows, as typical software applications in the cloud, are composed of a set of partially ordered cloud software services to achieve specific goals. However, due to the low QoS (quality of service) nature of the cloud environment, the design of workflow systems in the cloud becomes a challenging issue for the delivery of high quality cloud workflow applications. To address such an issue, this book presents a systematic investigation to the three critical aspects for the design of a cloud workflow system, viz. system architecture, system functionality and quality of service. Specifically, the system architecture for a cloud workflow system is designed based on the general four-layer cloud architecture, viz. application layer, platform layer, unified resources layer and fabric layer. The system functionality for a cloud workflow system is designed based on the general workflow reference model but with significant extensions to accommodate software services in the cloud. The support of QoS is critical for the quality of cloud workflow applications. This book presents a generic framework to facilitate a unified design and development process for software components that deliver lifecycle support for different QoS requirements. While the general QoS requirements for cloud workflow applications can have many dimensions, this book mainly focuses on three of the most important ones, viz. performance, reliability and security. In this book, the architecture, functionality and QoS management of our SwinDeW-C prototype cloud workflow system are demonstrated in detail as a case study to evaluate our generic design for cloud workflow systems. To conclude, this book offers a general overview of cloud workflow systems and provides comprehensive introductions to the design of the system architecture, system functionality and QoS management.
https://magrudy-assets.storage.googleapis.com/9781461419327.jpg
73.490000 USD

The Design of Cloud Workflow Systems

by Yun Yang, Jinjun Chen, Qiang He, Dahai Cao, Wenhao Li, Gaofeng Zhang, Dong Yuan, Xiao Liu
Paperback / softback
Book cover image
OpenStep is the software development environment co-developed by Sun and Next Computers. This book provides the first introduction to OpenStep and how it is used to build business applications for Next, Sun, and Windows NT systems. As well as covering the basics, it covers WebObjects (for developing world wide web ...
Developing Business Applications with OpenStep (TM)
OpenStep is the software development environment co-developed by Sun and Next Computers. This book provides the first introduction to OpenStep and how it is used to build business applications for Next, Sun, and Windows NT systems. As well as covering the basics, it covers WebObjects (for developing world wide web applications) and the Enterprise Objects framework for developing database applications. No serious OpenStep developer will want to be without this book.
https://magrudy-assets.storage.googleapis.com/9780387948522.jpg
114.450000 USD

Developing Business Applications with OpenStep (TM)

by Professor Peter Clark, Nik Gervae
Paperback / softback
Book cover image
Papers in this unique volume were developed from the 2006 conference hosted by IBM, Service Science, Management, and Engineering (SSME) - Education for the 21st Century. The book incorporates a variety of perspectives, informed by an international background in SSME experience and education, including management, business, social science, computer science ...
Service Science, Management and Engineering: Education for the 21st Century
Papers in this unique volume were developed from the 2006 conference hosted by IBM, Service Science, Management, and Engineering (SSME) - Education for the 21st Century. The book incorporates a variety of perspectives, informed by an international background in SSME experience and education, including management, business, social science, computer science and engineering. Readers will derive an understanding of education needs and program offerings in SSME.
https://magrudy-assets.storage.googleapis.com/9781441945686.jpg
178.490000 USD

Service Science, Management and Engineering: Education for the 21st Century

Paperback / softback
Book cover image
Introduces Linux concepts to programmers who are familiar with other operating systems such as Windows XP Provides comprehensive coverage of the Pentium assembly language
Guide to Assembly Language Programming in Linux
Introduces Linux concepts to programmers who are familiar with other operating systems such as Windows XP Provides comprehensive coverage of the Pentium assembly language
https://magrudy-assets.storage.googleapis.com/9780387258973.jpg
146.990000 USD

Guide to Assembly Language Programming in Linux

by Sivarama P. Dandamudi
Paperback / softback
Book cover image
Mapping Biology Knowledge addresses two key topics in the context of biology, promoting meaningful learning and knowledge mapping as a strategy for achieving this goal. Meaning-making and meaning-building are examined from multiple perspectives throughout the book. In many biology courses, students become so mired in detail that they fail to ...
Mapping Biology Knowledge
Mapping Biology Knowledge addresses two key topics in the context of biology, promoting meaningful learning and knowledge mapping as a strategy for achieving this goal. Meaning-making and meaning-building are examined from multiple perspectives throughout the book. In many biology courses, students become so mired in detail that they fail to grasp the big picture. Various strategies are proposed for helping instructors focus on the big picture, using the `need to know' principle to decide the level of detail students must have in a given situation. The metacognitive tools described here serve as support systems for the mind, creating an arena in which learners can operate on ideas. They include concept maps, cluster maps, webs, semantic networks, and conceptual graphs. These tools, compared and contrasted in this book, are also useful for building and assessing students' content and cognitive skills. The expanding role of computers in mapping biology knowledge is also explored.
https://magrudy-assets.storage.googleapis.com/9781402002731.jpg
73.490000 USD

Mapping Biology Knowledge

by James H. Wandersee, David E. Moody, Kathleen M. Fisher
Paperback / softback
Book cover image
Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into ...
Handbook of Logic and Proof Techniques for Computer Science
Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar wise, is in point of fact a handbook written by logicians for other mathe maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.
https://magrudy-assets.storage.googleapis.com/9781461266198.jpg
78.740000 USD

Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz
Paperback / softback
Book cover image
This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms - binary or otherwise - that make up a balanced, sustainable web ecosystem. In the current media-rich environment, a website is more than a collection of ...
Sustainable Web Ecosystem Design
This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms - binary or otherwise - that make up a balanced, sustainable web ecosystem. In the current media-rich environment, a website is more than a collection of relative html documents of text and images on a static desktop computer monitor. There is now an unlimited combination of screens, devices, platforms, browsers, locations, versions, users, and exabytes of data with which to interact. Written in a highly approachable, practical style, this book is useful for stakeholders, system administrators, developers, designers, content managers, and the anonymous web user in industry, as well as faculty, staff, and students of all levels involved in teaching and learning in information technology.
https://magrudy-assets.storage.googleapis.com/9781461477136.jpg
41.990000 USD

Sustainable Web Ecosystem Design

by Gregory O'Toole
Paperback / softback
Book cover image
Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes ...
Computer Science: The Hardware, Software and Heart of It
Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain classical theoretical computer science topics such as Unsolvability (e.g. the halting problem) and Undecidability (e.g. Godel's incompleteness theorem) that treat problems that exist under the Church-Turing thesis of computation. These problem topics explain inherent limits lying at the heart of software, and in effect define boundaries beyond which computer science professionals cannot go beyond. Newer topics such as Cloud Computing are also covered in this book. After a survey of traditional programming languages (e.g. Fortran and C++), a new kind of computer Programming for parallel/distributed computing is presented using the message-passing paradigm which is at the heart of large clusters of computers. This leads to descriptions of current hardware platforms for large-scale computing, such as clusters of as many as one thousand which are the new generation of supercomputers. This also leads to a consideration of future quantum computers and a possible escape from the Church-Turing thesis to a new computation paradigm. The book's historical context is especially helpful during this, the centenary of Turing's birth. Alan Turing is widely regarded as the father of Computer Science, since many concepts in both the hardware and software of Computer Science can be traced to his pioneering research. Turing was a multi-faceted mathematician-engineer and was able to work on both concrete and abstract levels. This book shows how these two seemingly disparate aspects of Computer Science are intimately related. Further, the book treats the theoretical side of Computer Science as well, which also derives from Turing's research. Computer Science: The Hardware, Software and Heart of It is designed as a professional book for practitioners and researchers working in the related fields of Quantum Computing, Cloud Computing, Computer Networking, as well as non-scientist readers. Advanced-level and undergraduate students concentrating on computer science, engineering and mathematics will also find this book useful.
https://magrudy-assets.storage.googleapis.com/9781489994431.jpg
114.450000 USD

Computer Science: The Hardware, Software and Heart of It

Paperback / softback
Book cover image
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been ...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
https://magrudy-assets.storage.googleapis.com/9789048150526.jpg
292.950000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Paperback / softback
Book cover image
Decision Science and Technology is a compilation of chapters written in honor of a remarkable man, Ward Edwards. Among Ward's many contributions are two significant accomplishments, either of which would have been enough for a very distinguished career. First, Ward is the founder of behavioral decision theory. This interdisciplinary discipline ...
Decision Science and Technology: Reflections on the Contributions of Ward Edwards
Decision Science and Technology is a compilation of chapters written in honor of a remarkable man, Ward Edwards. Among Ward's many contributions are two significant accomplishments, either of which would have been enough for a very distinguished career. First, Ward is the founder of behavioral decision theory. This interdisciplinary discipline addresses the question of how people actually confront decisions, as opposed to the question of how they should make decisions. Second, Ward laid the groundwork for sound normative systems by noticing which tasks humans can do well and which tasks computers should perform. This volume, organized into five parts, reflects those accomplishments and more. The book is divided into four sections: `Behavioral Decision Theory' examines theoretical descriptions and empirical findings about human decision making. `Decision Analysis' examines topics in decision analysis.`Decision in Society' explores issues in societal decision making. The final section, `Historical Notes', provides some historical perspectives on the development of the decision theory. Within these sections, major, multi-disciplinary scholars in decision theory have written chapters exploring some very bold themes in the field, as an examination of the book's contents will show. The main reason for the health of the Decision Analysis field is its close links between theory and applications that have characterized it over the years. In this volume, the chapters by Barron and Barrett; Fishburn; Fryback; Keeney; Moreno, Pericchi, and Kadane; Howard; Phillips; Slovic and Gregory; Winkler; and, above all, von Winterfeldt focus on those links. Decision science originally developed out of concern with real decision problems; and applied work, such as is represented in this volume, will help the field to remain strong.
https://magrudy-assets.storage.googleapis.com/9781461373155.jpg
209.990000 USD

Decision Science and Technology: Reflections on the Contributions of Ward Edwards

Paperback / softback
Book cover image
In part the book creates and motivates the notion of metamodelling and how it can be used to standardise the creation of industry-strength design. At its heart, the book presents an analysis of the main object-oriented design methodologies, including: Booch, OMT, Coad, and Martin/Odell. Based on these descriptions, a proposal ...
Object-Oriented Metamethods
In part the book creates and motivates the notion of metamodelling and how it can be used to standardise the creation of industry-strength design. At its heart, the book presents an analysis of the main object-oriented design methodologies, including: Booch, OMT, Coad, and Martin/Odell. Based on these descriptions, a proposal is made for a core metamodel framework into which the leading methodologies may be fitted. As a result, software engineers and software managers will find this a valuable road map in the future development of software standards.
https://magrudy-assets.storage.googleapis.com/9781461272632.jpg
73.490000 USD

Object-Oriented Metamethods

by A. Bulthuis, Brian Henderson-Sellers
Paperback / softback
Book cover image
Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system modeling, and more possibilities in design space exploration and prototyping. Object-Oriented Modeling ...
Object-Oriented Modeling
Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system modeling, and more possibilities in design space exploration and prototyping. Object-Oriented Modeling explores the latest techniques in object-oriented methods, formalisms and hardware description language extensions. The seven chapters comprising this book provide an overview of the latest object-oriented techniques for designing systems and hardware. Many examples are given in C++, VHDL and real-time programming languages. Object-Oriented Modeling describes further the use of object-oriented techniques in applications such as embedded systems, telecommunications and real-time systems, using the very latest techniques in object-oriented modeling. It is an essential guide to researchers, practitioners and students involved in software, hardware and system design.
https://magrudy-assets.storage.googleapis.com/9781461285816.jpg
262.490000 USD

Object-Oriented Modeling

Paperback / softback
Page 1 of 12