Search
Feedback
About
Help
News
| Listing 1 - 10 of 336 | << page >> |
Sort by
|
Book
Year: 2007 Publisher: IET
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 142443095X 1509086293 Year: 2007 Publisher: Piscataway, New Jersey : Institute of Electrical and Electronics Engineers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9781599042527 9781599042541 Year: 2007 Publisher: Hershey IGI Global
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
"This book provides a focal point for research and real-world data mining practitioners that advance knowledge discovery from low-quality data; it presents in-depth experiences and methodologies, providing theoretical and empirical guidance to users who have suffered from underlying low-quality data. Contributions also focus on interdisciplinary collaborations among data quality, data processing, data mining, data privacy, and data sharing"--Provided by publisher.
Book
ISBN: 110718214X 128104041X 9786611040413 051133477X 0511334125 0511333447 0511573863 0511814100 0511335350 Year: 2007 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
Expert systems (Computer science) --- System design --- Validation. --- Verification. --- Mathematical models.
Book
ISBN: 0769528090 1509088636 Year: 2007 Publisher: Piscataway, New Jersey : Institute of Electrical and Electronics Engineers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer systems --- Autonomic computing --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Electronic data processing
Book
ISBN: 0769527701 1509089489 Year: 2007 Publisher: Los Alamitos, California : IEEE Computer Society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer systems --- Computer-aided engineering --- Computer algorithms --- Fuzzy systems --- Engineering & Applied Sciences --- Computer Science --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure
Book
ISBN: 1424410304 1424410312 1509087990 Year: 2007 Publisher: [Place of publication not identified] IEEE
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer systems --- Application software --- Technology transfer --- Engineering & Applied Sciences --- Computer Science --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure
Book
ISBN: 1424414911 1509088407 Year: 2007 Publisher: [Place of publication not identified] IEEE
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Expert systems (Computer science) --- Computer vision --- Software engineering --- Computer networks --- Engineering & Applied Sciences --- Computer Science
Book
ISBN: 1424413559 1424413567 1509085637 Year: 2007 Publisher: [Place of publication not identified] IEEE
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 1424409446 1424409454 1509082891 Year: 2007 Publisher: [Place of publication not identified] IEEE
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 336 | << page >> |
Sort by
|