Test Wizard
ISBN: 9783836417020 / Angielski / Miękka / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The project is based on the benefits of Design by Contract on testing. If contracts - preconditions, postconditions, class invariants - are systematically associated with classes, they provide an invaluable source of information for producing systematic tests, directly based on the software's expressly intended semantics. The goal of this project is to develop a tool called "Test Wizard," which generates test cases automatically from contract-equipped classes. The Test Wizard will serve as a workbench to try out different testing strategies.
The project is based on the benefits of Design by Contract on testing. If contracts - preconditions, postconditions, class invariants - are systematic...
|
|
cena:
221,37 zł |
Advances in Data Mining and Modeling
ISBN: 9789812383549 / Angielski / Twarda / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data mining and data modeling are hot topics and are under fast development. Because of their wide applications and rich research contents, many practitioners and academics are attracted to work in these areas. With a view to promoting communication and collaboration among the practitioners and researchers in Hong Kong, a workshop on data mining and modeling was held in June 2002. Prof Ngaiming Mok, Director of the Institute of Mathematical Research, The University of Hong Kong, and Prof Tze Leung Lai (Stanford University), C V Starr Professor of the University of Hong Kong, initiated the...
Data mining and data modeling are hot topics and are under fast development. Because of their wide applications and rich research contents, many pract...
|
|
cena:
639,23 zł |
On the Move to Meaningful Internet Systems 2004: Coopis, Doa, and Odbase: Otm Confederated International Conferences, Coopis, Doa, and Odbase 2004, Ag
ISBN: 9783540236627 / Angielski / Miękka / 860 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume set LNCS 3290/3291 constitutes the refereed proceedings of the three confederated conferences CoopIS 2004, DOA 2004, and ODBASE 2004 held as OTM 2004 in Agia Napa, Cyprus in October 2004. The 94 revised full papers presented were carefully reviewed and selected from a total of 380 submissions. In accordance with the three OTM 2004 main conferences CoopIS, DOA, and ODBASE, the papers are devoted to interoperability, workflow, and cooperation; distributed objects, infrastructure and enabling technology, and Internet computing; and data and Web semantics.
This two-volume set LNCS 3290/3291 constitutes the refereed proceedings of the three confederated conferences CoopIS 2004, DOA 2004, and ODBASE 200... |
|
cena:
385,52 zł |
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee
ISBN: 9783540544968 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.
Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientatio...
|
|
cena:
192,74 zł |
Algorithmic Number Theory: First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings
ISBN: 9783540586913 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the refereed proceedings of the First Algorithmic Number Theory Symposium, ANTS-I, held at Cornell University, Ithaca, NY in May 1994.
The 35 papers accepted for inclusion in this book address many current issues of algorithmic, computational and complexity-theoretic aspects of number theory and thus report the state-of-the-art in this exciting area of research; the book also contributes essentially to foundational research in cryptology and coding. Of particular value is a collection entitled "Open Problems in Number Theoretic Complexity, II" contributed by Len... This volume presents the refereed proceedings of the First Algorithmic Number Theory Symposium, ANTS-I, held at Cornell University, Ithaca, NY in May ...
|
|
cena:
192,74 zł |
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes de Malavell
ISBN: 9783540578673 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers... Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on th...
|
|
cena:
192,74 zł |
Combinatorial Pattern Matching: 8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings
ISBN: 9783540632207 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Eighth Annual Symposium on Combinatorial Pattern Matching, CPM 97, held in Aarhus, Denmark, in June/July 1997.
The volume presents 20 revised full papers carefully selected from 32 submissions received; also included are abstracts of two invited contributions. The volume is devoted to the issue of searching and matching strings and more complicated patterns, such as trees, regular expressions, graphs, point sets and arrays. The results presented are particularly relevant to molecular biology, but also to information retrieval, pattern... This book constitutes the refereed proceedings of the Eighth Annual Symposium on Combinatorial Pattern Matching, CPM 97, held in Aarhus, Denmark, in J...
|
|
cena:
192,74 zł |
Harnessing Hibernate: Step-By-Step Guide to Java Persistence
ISBN: 9780596517724 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Harnessing Hibernate is an ideal introduction to the popular framework that lets Java developers work with information from a relational database easily and efficiently. Databases are a very different world than Java objects, and they often involve people with different skills and specializations. With Hibernate, bridging these two worlds is significantly easier, and with this book, you can get up to speed with Hibernate quickly. Harnessing Hibernate is an ideal introduction to the popular framework that lets Java developers work with information from a relational d... |
|
cena:
174,26 zł |
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View
ISBN: 9783540430636 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The multiset, as a set with multiplicities associated with its elements in the form of natural numbers, is a notation which has appeared again and again in various areas of mathematics and computer science. As a data structure, multisets stand in-between strings/lists, where a linear ordering of symbols/items is present, and sets, where no ordering and no multiplicity is considered.
The multiset, as a set with multiplicities associated with its elements in the form of natural numbers, is a notation which has appeared again and aga...
|
|
cena:
192,74 zł |
Combinatorial Pattern Matching: 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
ISBN: 9783540438625 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers contained in this volume were presented at the 13th Annual S- posium on Combinatorial Pattern Matching, held July 3-5, 2002 at the Hotel Uminonakamichi, in Fukuoka, Japan. They were selected from 37 abstracts s- mitted in response to the call for papers. In addition, there were invited lectures by Shinichi Morishita (University of Tokyo) and Hiroki Arimura (Kyushu U- versity). Combinatorial Pattern Matching (CPM) addresses issues of searching and matching strings and more complicated patterns such as trees, regular expr- sions, graphs, point sets, and arrays, in various formats....
The papers contained in this volume were presented at the 13th Annual S- posium on Combinatorial Pattern Matching, held July 3-5, 2002 at the Hotel Um...
|
|
cena:
192,74 zł |
Abstract Data Types 3.5
ISBN: 9780669400007 / Angielski / Twarda / 752 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
471,90 zł |
The Data Model Resource Book: Volume 3: Universal Patterns for Data Modeling
ISBN: 9780470178454 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This third volume of the best-selling "Data Model Resource Book" series revolutionizes the data modeling discipline by answering the question "How can you save significant time while improving the quality of any type of data modeling effort?" In contrast to the first two volumes, this new volume focuses on the fundamental, underlying patterns that affect over 50 percent of most data modeling efforts. These patterns can be used to considerably reduce modeling time and cost, to jump-start data modeling efforts, as standards and guidelines to increase data model consistency and quality, and as...
This third volume of the best-selling "Data Model Resource Book" series revolutionizes the data modeling discipline by answering the question "How can...
|
|
cena:
328,23 zł |
UML Database Modeling Workbook
ISBN: 9781935504511 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With our appetites for data on the rise, it has become more important than ever to use UML (Unified Modeling Language) to capture and precisely represent all of these data requirements. Learn how to construct UML data models by working through a series of exercises and self-assessment tests. Beginners can learn the UML directly. Experienced modelers can leverage their understanding of existing database notations, as the book extensively compares the UML to traditional data modeling (Information Engineering).
With our appetites for data on the rise, it has become more important than ever to use UML (Unified Modeling Language) to capture and precisely rep... |
|
cena:
174,08 zł |
Algorithms and Data Structures: Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings
ISBN: 9783540515425 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the papers presented at the 1989 Workshop on Algorithms and Data Structures, which succeeds the 1988 Scandinavian Workshop on Algorithm Theory. It presents current research in various areas of algorithms, computational geometry, geometric searching, VLSI placement and routing, graph algorithms, parallel algorithms, distributed algorithms, databases, and text searching.
This book contains the papers presented at the 1989 Workshop on Algorithms and Data Structures, which succeeds the 1988 Scandinavian Workshop on Algor...
|
|
cena:
192,74 zł |
Analyses of the Department of Defense Acquisition Workforce: Update to Methods and Results through FY 2011
ISBN: 9780833080585 / Angielski / Miękka / 92 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. RAND has been providing ongoing analysis of the defense acquisition workforce; this volume documents the methods and data and provides a user's manual for a model for projecting the future workforce supply.
RAND has been providing ongoing analysis of the defense acquisition workforce; this volume documents the methods and data and provides a user's manual...
|
|
cena:
202,56 zł |
Metaheuristics
ISBN: 9780470278581 / Angielski / Twarda / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A unified view of metaheuristics
This book provides a complete background on metaheuristics and shows readers how to design and implement efficient algorithms to solve complex optimization problems across a diverse range of applications, from networking and bioinformatics to engineering design, routing, and scheduling. It presents the main design questions for all families of metaheuristics and clearly illustrates how to implement the algorithms under a software framework to reuse both the design and code. Throughout the book, the key search components of metaheuristics are... A unified view of metaheuristics
This book provides a complete background on metaheuristics and shows readers how to design and implement efficient... |
|
cena:
689,01 zł |
Biologically Inspired Approaches to Advanced Information Technology: First International Workshop, Bioadit 2004, Lausanne, Switzerland, January 29-30,
ISBN: 9783540233398 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The evolution of the Internet has led us to the new era of the information infrastructure. As the information systems operating on the Internet are getting larger and more complicated, it is clear that the traditional approaches based on centralized mechanisms are no longer meaningful. One typical example can be found in the recent growing interest in a P2P (peer-to-peer) computing paradigm. It is quite different from the Web-based client-server systems, which adopt essentially centralized management mechanisms. The P2P computing environment has the potential to overcome bottlenecks in Web...
The evolution of the Internet has led us to the new era of the information infrastructure. As the information systems operating on the Internet are ge...
|
|
cena:
192,74 zł |
Systems Analysis and Design for Advanced Modeling Methods: Best Practices
ISBN: 9781605663449 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The field of systems analysis and design is experiencing ongoing changes that significantly impact the way information systems are being analyzed and designed in practice. Systems Analysis and Design for Advanced Modeling Methods: Best Practices collects work representing leading research in the area of systems analysis and design practices and methodologies. This Premier Reference Source provides researchers, academicians, and practitioners with a useful overview and related references in the field.
The field of systems analysis and design is experiencing ongoing changes that significantly impact the way information systems are being analyzed and ...
|
|
cena:
1130,12 zł |
Argus Developer in Practice: Real Estate Development Modeling in the Real World
ISBN: 9781430262626 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a practical guide to using Argus Developer, the world's most widely used real estate development feasibility modeling software. Using practical examples and many case studies, it takes readers beyond basic training and provides the in-depth knowledge required to analyze potential real estate deals and help ensure a profitable development. Argus Developer in Practice fills an important gap in the market. Argus Developer, and its predecessor Circle Developer, has long had a dominant position as the primary real estate development appraisal tool. It is used all over... This book is a practical guide to using Argus Developer, the world's most widely used real estate development feasibility modeling software. Using ... |
|
cena:
289,13 zł |
Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications
ISBN: 9781605668949 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Semantic interoperability provides the means to automatically process and integrate large amounts of information without human intervention.
Semantic interoperability provides the means to automatically process and integrate large amounts of information without human intervention.
|
|
cena:
1043,19 zł |