ilość książek w kategorii: 12575
![]() |
Visual Languages
ISBN: 9780306423505 / Angielski / Twarda / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended as both an introduction to the state-of-the-art in visual languages, as well as an exposition of the frontiers of research in advanced visual languages. It is for computer scientists, computer engi- neers, information scientists, application programmers, and technical managers responsible for software development projects who are inter- ested in the methodology and manifold applications of visual languages and visual programming. The contents of this book are drawn from invited papers, as well as selected papers from two workshops: the 1985 IEEE Workshop on Lan- guages...
This book is intended as both an introduction to the state-of-the-art in visual languages, as well as an exposition of the frontiers of research in ad...
|
cena:
861,36 |
![]() |
Automatic Programming Applied to VLSI CAD Software: A Case Study
ISBN: 9780792391128 / Angielski / Twarda / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, and the research it describes, resulted from a simple observation we made sometime in 1986. Put simply, we noticed that many VLSI design tools looked "alike." That is, at least at the overall software architecture level, the algorithms and data structures required to solve problem X looked much like those required to solve problem X'. Unfortunately, this resemblance is often of little help in actually writing the software for problem X' given the software for problem X. In the VLSI CAD world, technology changes rapidly enough that design software must continually strive to keep up....
This book, and the research it describes, resulted from a simple observation we made sometime in 1986. Put simply, we noticed that many VLSI design to...
|
cena:
861,36 |
![]() |
Logic Program Synthesis from Incomplete Information
ISBN: 9780792395324 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly.
This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this... Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validatio...
|
cena:
861,36 |
![]() |
High Performance Scientific and Engineering Computing: Hardware/Software Support
ISBN: 9781402075803 / Angielski / Twarda / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The field of high performance computing achieved prominence through advances in electronic and integrated technologies beginning in the 1940s. Current times are very exciting and the years to come will witness a proliferation of the use of parallel and distributed systems. The scientific and engineering application domains have a key role in shaping future research and development activities in academia and industry, especially when the solution of large and complex problems must cope with harder and harder timing.
High Performance Scientific And Engineering Computing:... The field of high performance computing achieved prominence through advances in electronic and integrated technologies beginning in the 1940s. Current...
|
cena:
861,36 |
![]() |
Semantic Integration of Heterogeneous Software Specifications
ISBN: 9783540402572 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family. The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of... |
cena:
861,36 |
![]() |
Mutation Testing for the New Century
ISBN: 9780792373230 / Angielski / Twarda / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation with other test adequacy criteria; empirical evidence and theoretical justification for the coupling effect; and techniques for speeding up mutation testing using various types of high performance architectures. Mutation has received the attention of software developers and testers in such diverse areas as network protocols and nuclear simulation.
Mutation Testing for the New Century brings together cutting edge research results... Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation...
|
cena:
861,36 |
![]() |
Crisp and Soft Computing with Hypercubical Calculus: New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, an
ISBN: 9783790811728 / Angielski / Twarda / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An examination of crisp and soft computing with hypercubical calculus. It presents the impact of an integro-differential operator on parity logic engines, outlines the fuzzy structural modelling approach, and introduces autogenetic algorithms (AGAs) to the field of evolutionary computing.
An examination of crisp and soft computing with hypercubical calculus. It presents the impact of an integro-differential operator on parity logic engi...
|
cena:
861,36 |
![]() |
Computer Software Applications in Chemistry
ISBN: 9780471105879 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This updated edition contains expanded explanations of such concepts as residual analysis, molecular dynamics, energy minimization and clustering techniques. New chapters focus upon multiple linear regression using MREG, principal components assessment, Monte Carlo integration, parameterization of the force field, commercial molecular modelling software and topological indexes. The text features numerous figures and programs that are new or enhanced by a laser printer.
This updated edition contains expanded explanations of such concepts as residual analysis, molecular dynamics, energy minimization and clustering tech...
|
cena:
865,26 |
![]() |
Engineering the Computer Science and IT
ISBN: 9789533070124 / Angielski / Twarda / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
865,63 |
![]() |
Revival: The Handbook of Software for Engineers and Scientists (1995)
ISBN: 9781138562219 / Angielski / Miękka / 1582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
868,22 |
![]() |
Machine Learning Applications in Software Engineering
ISBN: 9789812560940 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Machine learning deals with the issue of how to build computer programs that improve their performance at some tasks through experience. Machine learning algorithms have proven to be of great practical value in a variety of application domains. Not surprisingly, the field of software engineering turns out to be a fertile ground where many software development and maintenance tasks could be formulated as learning problems and approached in terms of learning algorithms. This book deals with the subject of machine learning applications in software engineering. It provides an overview of machine...
Machine learning deals with the issue of how to build computer programs that improve their performance at some tasks through experience. Machine learn...
|
cena:
876,29 |
![]() |
User Interface Design: Bridging the Gap from User Requirements to Design
ISBN: 9780849331251 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although numerous sources document aspects of user-centered design, there are few references that consider how a designer transforms the information gathered about users and their work into an effective user interface design. This book explains just how designers bridge that gap. A group of leading experts in GUI design describe their methods in the context of specific design projects, and while the projects, processes, and methods vary considerably, the common theme is building a bridge between user requirements and user interface design.
Although numerous sources document aspects of user-centered design, there are few references that consider how a designer transforms the information g...
|
cena:
878,39 |
![]() |
Handbook of Mobile Systems Applications and Services
ISBN: 9781439801529 / Angielski / Twarda / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From fundamental concepts and theories to implementation protocols and cutting-edge applications, the Handbook of Mobile Systems Applications and Services supplies a complete examination of the evolution of mobile services technologies. It examines service-oriented architecture (SOA) and explains why SOA and service oriented computing (SOC) will play key roles in the development of future mobile services. Investigating current service discovery frameworks, the book covers the basics of mobile services and applications developed in various contexts. The... From fundamental concepts and theories to implementation protocols and cutting-edge applications, the Handbook of Mobile Systems Applicatio... |
cena:
878,39 |
![]() |
Data Flow Analysis: Theory and Practice
ISBN: 9780849328800 / Angielski / Twarda / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.
Supplementary Online Materials to Strengthen Understanding
Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant... Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engin... |
cena:
878,39 |
![]() |
Successful OSS Project Design and Implementation: Requirements, Tools, Social Designs and Reward Structures
ISBN: 9780566087950 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The open source phenomenon has attracted an increased interest among commercial firms and governments. It is becoming one of the most influential paradigm shifts not only in software development but in social and economic value creation as well. While software development is perhaps the most prominent example of open source, its principles have now been applied across a wide range of product classes, industries and even scientific disciplines. Decision makers at different levels and in a variety of fields need to improve their understanding of the factors that contribute to the Open Source...
The open source phenomenon has attracted an increased interest among commercial firms and governments. It is becoming one of the most influential para...
|
cena:
878,39 |
![]() |
Advances in Mobile Cloud Computing Systems
ISBN: 9781498715096 / Angielski / Twarda / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With recent advances in mobile communication technologies, more and more people are accessing cloud computing systems using mobile devices, such as smartphones and tablets. Unlike traditional mobile computing systems with limited capabilities, mobile cloud computing uses the powerful computing and storage resources available in the cloud to provide cutting-edge multimedia and information services. This book discusses the major research advances in mobile cloud computing systems. Contributed chapters from leading experts in this field cover different aspects of modeling, analysis, design,... With recent advances in mobile communication technologies, more and more people are accessing cloud computing systems using mobile devices, such as... |
cena:
878,39 |
![]() |
Real-Time Embedded Multithreading: Using Threadx and Arm
ISBN: 9781138436435 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
878,39 |
![]() |
Research and Evidence in Software Engineering: From Empirical Studies to Open Source Artifacts
ISBN: 9780367358525 / Angielski / Twarda / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
878,39 |
![]() |
New Directions in Project Management
ISBN: 9780849311901 / Angielski / Twarda / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Organizations that rely on computing technology for survival understand the critical importance of managing projects that meet strategic goals and objectives. The diversity of business globalization and electronic commerce combined with the unceasing pace of technical change continues to challenge efforts for more proficient project management techniques. Presenting the tools you need to meet the challenges of the new business environment, New Directions in Project Management covers best practices in all areas of managing software development projects - practices that have been determined by...
Organizations that rely on computing technology for survival understand the critical importance of managing projects that meet strategic goals and obj...
|
cena:
878,39 |
![]() |
Socio-Technical Networks: Science and Engineering Design
ISBN: 9781439809808 / Angielski / Twarda / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While there are sporadic journal articles on socio-technical networks, there's long been a need for an integrated resource that addresses concrete socio-technical network (STN) design issues from algorithmic and engineering perspectives. Filling this need, Socio-Technical Networks: Science and Engineering Design provides a complete introduction to the fundamentals of one of the hottest research areas across the social sciences, networking, and computer science -- including its definition, historical background, and models. Covering basic STN architecture from a physical/technological...
While there are sporadic journal articles on socio-technical networks, there's long been a need for an integrated resource that addresses concrete soc...
|
cena:
878,39 |