Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Collision detection in interactive 3D environments / Gino van den Bergen
| Collision detection in interactive 3D environments / Gino van den Bergen |
| Autore | Bergen, Gino Johannes Apolonia van den, 1969- |
| Pubbl/distr/stampa | Amsterdam [etc] : Elsevier/Morgan Kaufman, c2004 |
| Descrizione fisica | xx, 278 p. : ill. ; 24 cm. + 1 CD-ROM |
| Disciplina | 006.6 |
| Collana | The Morgan Kaufmann series in interactive 3D technology |
| Soggetto topico |
Computer animation
Three-dimensional display systems |
| ISBN | 155860801X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001011029707536 |
Bergen, Gino Johannes Apolonia van den, 1969-
|
||
| Amsterdam [etc] : Elsevier/Morgan Kaufman, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
GMPLS [electronic resource] : architecture and applications / Adrian Farrel, Igor Bryskin
| GMPLS [electronic resource] : architecture and applications / Adrian Farrel, Igor Bryskin |
| Autore | Farrel, Adrian |
| Pubbl/distr/stampa | San Francisco : Elsevier/Morgan Kaufman, c2006 |
| Descrizione fisica | xxiii, 412 p. : ill. ; 24 cm. |
| Disciplina | 004.67/8 |
| Altri autori (Persone) | Bryskin, Igor.author |
| Soggetto topico |
Internet
Computer networks - Management Telecommunication - Traffic - Management |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9780120884223
0120884224 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Preface -- Chapter 1: Generalized Multiprotocol Label Switching -- Chapter 2: Transport Networks -- Chapter 3: From MPLS To GMPLS -- Chapter 4: GMPLS Signaling -- Chapter 5: GMPLS Routing -- Chapter 6: Link Management -- Chapter 7: Resource Management -- Chapter 8: GMPLS and Service Recovery -- Chapter 9: GMPLS and Traffic Engineering -- Chapter 10: GMPLS and Path Computation -- Chapter 11: Constraint Based Path Computation -- Chapter 12: Emerging Applications -- Chapter 13: Architectural Models -- Chapter 14: Provisioning Systems -- Chapter 15: GMPLS MIB Modules -- Glossary -- Index. |
| Record Nr. | UNISALENTO-991003243399707536 |
|
Farrel, Adrian
|
||
| San Francisco : Elsevier/Morgan Kaufman, c2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
System-level design with Rosetta [[electronic resource] /] / Perry Alexander
| System-level design with Rosetta [[electronic resource] /] / Perry Alexander |
| Autore | Alexander Perry |
| Pubbl/distr/stampa | San Francisco, : Elsevier/Morgan Kaufman, c2007 |
| Descrizione fisica | 1 online resource (375 p.) |
| Disciplina | 621.3815 |
| Collana | Morgan Kaufmann series in systems on silicon |
| Soggetto topico |
Integrated circuits - Computer-aided design
Microelectronics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-01500-8
9786611015008 0-08-049837-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; System-Level Design with Rosetta; Copyright Page; Contents; Acknowledgments; Foreword; Preface; Part I: Introduction; Chapter 1. Introduction; 1.1 What is System-Level Specification?; 1.2 Rosetta's Design Goals; 1.3 Anatomy of a Specification; 1.4 Learning Rosetta; Part II: The Expression Language; Chapter 2. Items, Values, Types, and Declarations; 2.1 Labels, Values, and Types; 2.2 Item Declarations and Type Assertions; 2.3 Universal Operations; Chapter 3. Expressions; 3.1 Atomic Expressions; 3.2 Function Application; 3.3 Operator Application; 3.4 If Expressions
3.5 Case Expressions3.6 Let Expressions; 3.7 Compound Expressions; Chapter 4. Elemental Types; 4.1 The Boolean Type; 4.2 The Number Types; 4.3 The Character Type; 4.4 The Element Type; 4.5 The Top and Bottom Types; 4.6 Element Literals; 4.7 Operator Result Types; Chapter 5. Composite Types; 5.1 Type Formers; 5.2 Set Types; 5.3 Multiset Types; 5.4 Sequence Types; Chapter 6. Functions; 6.1 Direct Function Definition; 6.2 Function Values and Function Types; 6.3 Evaluating Functions; 6.4 Universally Quantified Parameters; Chapter 7. Higher-Order Functions; 7.1 Domain, Range, and Return Functions 7.2 Alternate Higher-Order Function Notation7.3 Minimum and Maximum; 7.4 Quantifiers and Comprehension; 7.5 Sequences and Higher-Order Functions; 7.6 Function Inclusion and Composition; Chapter 8. User-Defined Types; 8.1 Defining New Types; 8.2 Defining Types By Extension; 8.3 Defining Types By Comprehension; 8.4 Defining Constructed Types; 8.5 Functions as Type Definition Tools; Part III: The Facet Language; Chapter 9. Facet Basics; 9.1 A First Model - An AM Modulator; 9.2 Composing Models - Adding Constraints; 9.3 Combinational Circuits - A Simple Adder; 9.4 Defining State - A 2-bit Counter 9.5 Defining Structure - A 2-bit Adder9.6 Specification Reuse - Using Packages; 9.7 Abstract Specification - Architecture Definition; Chapter 10. Defining Facets; 10.1 Direct Facet Definition; 10.2 Separable Definitions; 10.3 Facets and Hardware Description Languages; 10.4 Facet Styles; 10.5 Scoping Rules; 10.6 Basics of Facet Semantics; Chapter 11. Packages, Libraries, and Components; 11.1 Packages; 11.2 Libraries; 11.3 Components; Part IV: Domains and Interactions; Chapter 12. Domains; 12.1 Elements of a Domain; 12.2 The Standard Domains; 12.3 Domains and Facet Types; Chapter 13. Reflection 13.1 Template Expressions and AST Structures13.2 Interpreting AST Structures; 13.3 Domain Declarations; 13.4 Defining Engineering Domains; 13.5 Defining New Model-of-Computation Domains; 13.6 Defining New Unit-of-Semantics Domains; 13.7 Defining Ticked and Dereferencing Expressions; 13.8 Consistent Domain Extension; Chapter 14. The Facet Algebra; 14.1 Facet Products and Sums; 14.2 Facet Homomorphism and Isomorphism; 14.3 Conditional Expressions; 14.4 Let Expressions; 14.5 Higher-Order Facets; Chapter 15. Domain Interactions; 15.1 Projection Functions, Functors, and Combinators 15.2 Defining Interactions |
| Record Nr. | UNINA-9910451450403321 |
|
Alexander Perry
|
||
| San Francisco, : Elsevier/Morgan Kaufman, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
System-level design with Rosetta [[electronic resource] /] / Perry Alexander
| System-level design with Rosetta [[electronic resource] /] / Perry Alexander |
| Autore | Alexander Perry |
| Pubbl/distr/stampa | San Francisco, : Elsevier/Morgan Kaufman, c2007 |
| Descrizione fisica | 1 online resource (375 p.) |
| Disciplina | 621.3815 |
| Collana | Morgan Kaufmann series in systems on silicon |
| Soggetto topico |
Integrated circuits - Computer-aided design
Microelectronics |
| ISBN |
1-281-01500-8
9786611015008 0-08-049837-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; System-Level Design with Rosetta; Copyright Page; Contents; Acknowledgments; Foreword; Preface; Part I: Introduction; Chapter 1. Introduction; 1.1 What is System-Level Specification?; 1.2 Rosetta's Design Goals; 1.3 Anatomy of a Specification; 1.4 Learning Rosetta; Part II: The Expression Language; Chapter 2. Items, Values, Types, and Declarations; 2.1 Labels, Values, and Types; 2.2 Item Declarations and Type Assertions; 2.3 Universal Operations; Chapter 3. Expressions; 3.1 Atomic Expressions; 3.2 Function Application; 3.3 Operator Application; 3.4 If Expressions
3.5 Case Expressions3.6 Let Expressions; 3.7 Compound Expressions; Chapter 4. Elemental Types; 4.1 The Boolean Type; 4.2 The Number Types; 4.3 The Character Type; 4.4 The Element Type; 4.5 The Top and Bottom Types; 4.6 Element Literals; 4.7 Operator Result Types; Chapter 5. Composite Types; 5.1 Type Formers; 5.2 Set Types; 5.3 Multiset Types; 5.4 Sequence Types; Chapter 6. Functions; 6.1 Direct Function Definition; 6.2 Function Values and Function Types; 6.3 Evaluating Functions; 6.4 Universally Quantified Parameters; Chapter 7. Higher-Order Functions; 7.1 Domain, Range, and Return Functions 7.2 Alternate Higher-Order Function Notation7.3 Minimum and Maximum; 7.4 Quantifiers and Comprehension; 7.5 Sequences and Higher-Order Functions; 7.6 Function Inclusion and Composition; Chapter 8. User-Defined Types; 8.1 Defining New Types; 8.2 Defining Types By Extension; 8.3 Defining Types By Comprehension; 8.4 Defining Constructed Types; 8.5 Functions as Type Definition Tools; Part III: The Facet Language; Chapter 9. Facet Basics; 9.1 A First Model - An AM Modulator; 9.2 Composing Models - Adding Constraints; 9.3 Combinational Circuits - A Simple Adder; 9.4 Defining State - A 2-bit Counter 9.5 Defining Structure - A 2-bit Adder9.6 Specification Reuse - Using Packages; 9.7 Abstract Specification - Architecture Definition; Chapter 10. Defining Facets; 10.1 Direct Facet Definition; 10.2 Separable Definitions; 10.3 Facets and Hardware Description Languages; 10.4 Facet Styles; 10.5 Scoping Rules; 10.6 Basics of Facet Semantics; Chapter 11. Packages, Libraries, and Components; 11.1 Packages; 11.2 Libraries; 11.3 Components; Part IV: Domains and Interactions; Chapter 12. Domains; 12.1 Elements of a Domain; 12.2 The Standard Domains; 12.3 Domains and Facet Types; Chapter 13. Reflection 13.1 Template Expressions and AST Structures13.2 Interpreting AST Structures; 13.3 Domain Declarations; 13.4 Defining Engineering Domains; 13.5 Defining New Model-of-Computation Domains; 13.6 Defining New Unit-of-Semantics Domains; 13.7 Defining Ticked and Dereferencing Expressions; 13.8 Consistent Domain Extension; Chapter 14. The Facet Algebra; 14.1 Facet Products and Sums; 14.2 Facet Homomorphism and Isomorphism; 14.3 Conditional Expressions; 14.4 Let Expressions; 14.5 Higher-Order Facets; Chapter 15. Domain Interactions; 15.1 Projection Functions, Functors, and Combinators 15.2 Defining Interactions |
| Record Nr. | UNINA-9910784235303321 |
|
Alexander Perry
|
||
| San Francisco, : Elsevier/Morgan Kaufman, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
System-level design with Rosetta / / Perry Alexander
| System-level design with Rosetta / / Perry Alexander |
| Autore | Alexander Perry |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Francisco, : Elsevier/Morgan Kaufman, c2007 |
| Descrizione fisica | 1 online resource (375 p.) |
| Disciplina | 621.3815 |
| Collana | Morgan Kaufmann series in systems on silicon |
| Soggetto topico |
Integrated circuits - Computer-aided design
Microelectronics |
| ISBN |
1-281-01500-8
9786611015008 0-08-049837-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; System-Level Design with Rosetta; Copyright Page; Contents; Acknowledgments; Foreword; Preface; Part I: Introduction; Chapter 1. Introduction; 1.1 What is System-Level Specification?; 1.2 Rosetta's Design Goals; 1.3 Anatomy of a Specification; 1.4 Learning Rosetta; Part II: The Expression Language; Chapter 2. Items, Values, Types, and Declarations; 2.1 Labels, Values, and Types; 2.2 Item Declarations and Type Assertions; 2.3 Universal Operations; Chapter 3. Expressions; 3.1 Atomic Expressions; 3.2 Function Application; 3.3 Operator Application; 3.4 If Expressions
3.5 Case Expressions3.6 Let Expressions; 3.7 Compound Expressions; Chapter 4. Elemental Types; 4.1 The Boolean Type; 4.2 The Number Types; 4.3 The Character Type; 4.4 The Element Type; 4.5 The Top and Bottom Types; 4.6 Element Literals; 4.7 Operator Result Types; Chapter 5. Composite Types; 5.1 Type Formers; 5.2 Set Types; 5.3 Multiset Types; 5.4 Sequence Types; Chapter 6. Functions; 6.1 Direct Function Definition; 6.2 Function Values and Function Types; 6.3 Evaluating Functions; 6.4 Universally Quantified Parameters; Chapter 7. Higher-Order Functions; 7.1 Domain, Range, and Return Functions 7.2 Alternate Higher-Order Function Notation7.3 Minimum and Maximum; 7.4 Quantifiers and Comprehension; 7.5 Sequences and Higher-Order Functions; 7.6 Function Inclusion and Composition; Chapter 8. User-Defined Types; 8.1 Defining New Types; 8.2 Defining Types By Extension; 8.3 Defining Types By Comprehension; 8.4 Defining Constructed Types; 8.5 Functions as Type Definition Tools; Part III: The Facet Language; Chapter 9. Facet Basics; 9.1 A First Model - An AM Modulator; 9.2 Composing Models - Adding Constraints; 9.3 Combinational Circuits - A Simple Adder; 9.4 Defining State - A 2-bit Counter 9.5 Defining Structure - A 2-bit Adder9.6 Specification Reuse - Using Packages; 9.7 Abstract Specification - Architecture Definition; Chapter 10. Defining Facets; 10.1 Direct Facet Definition; 10.2 Separable Definitions; 10.3 Facets and Hardware Description Languages; 10.4 Facet Styles; 10.5 Scoping Rules; 10.6 Basics of Facet Semantics; Chapter 11. Packages, Libraries, and Components; 11.1 Packages; 11.2 Libraries; 11.3 Components; Part IV: Domains and Interactions; Chapter 12. Domains; 12.1 Elements of a Domain; 12.2 The Standard Domains; 12.3 Domains and Facet Types; Chapter 13. Reflection 13.1 Template Expressions and AST Structures13.2 Interpreting AST Structures; 13.3 Domain Declarations; 13.4 Defining Engineering Domains; 13.5 Defining New Model-of-Computation Domains; 13.6 Defining New Unit-of-Semantics Domains; 13.7 Defining Ticked and Dereferencing Expressions; 13.8 Consistent Domain Extension; Chapter 14. The Facet Algebra; 14.1 Facet Products and Sums; 14.2 Facet Homomorphism and Isomorphism; 14.3 Conditional Expressions; 14.4 Let Expressions; 14.5 Higher-Order Facets; Chapter 15. Domain Interactions; 15.1 Projection Functions, Functors, and Combinators 15.2 Defining Interactions |
| Record Nr. | UNINA-9910960804503321 |
|
Alexander Perry
|
||
| San Francisco, : Elsevier/Morgan Kaufman, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
User-centered design stories [[electronic resource] ] : real-world UCD case files / / edited by Carol Righi and Janice James
| User-centered design stories [[electronic resource] ] : real-world UCD case files / / edited by Carol Righi and Janice James |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufman, c2007 |
| Descrizione fisica | 1 online resource (688 p.) |
| Disciplina |
658.5/038 22
658.5038 |
| Altri autori (Persone) |
RighiCarol
JamesJanice (Janice Sue) |
| Collana | The Morgan Kaufmann series in interactive technologies |
| Soggetto topico |
New products - Management
Customer relations User interfaces (Computer systems) Reengineering (Management) Management information systems |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-05061-X
9786611050610 0-08-048155-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; User-Centered Design Stories; Copyright page; Table of contents; Foreword; Preface; Acknowledgments; PART I: Promoting, Establishing, and Administering a User-Centered Design Program; CASE 1: Changing Products Means Changing Behaviors; The Advocate; Analyzing the Situation; The Compromise; Creating Feedback Mechanisms; The Presentation; Thank You Mr. Gantt; Doing It Right-Iterative Design Based on User Feedback; Summary; Further Reading; CASE 2: Managing Politics in the Workplace; The Cleveland Company: Evolving From Old to New Economy; Sibling Rivalry; The Team Meeting
A New Leader Comes to New York City No, You Come to Me; Bait and Switch; Trench Buddies; Finally, Success; Summary; Further Reading; CASE 3: Raising Awareness at the Company Level; Introduction; Understanding and Integrating Into the Company; Creating a Plan; Facilitating the Integration of UE; Summary; Further Reading; CASE 4: Usability Step by Step: Small Steps to a More Successful Site; Stealth Usability; Site Structure, Search Engine, and Search Results; Value Versus Viewing Success; Revising Sites and Redeeming Relationships; The Plan and How to Work It; Planning and Preparing the Test Project Logistics Team Structure and Deliverables; Session Length and Activities; Recruiting Participants; Success with Sessions; Initial Analysis; Presenting Results; Recommendations for the ADP Site; "Selling" the Recommendations; Long-Term Results; Summary; Further Reading; CASE 5: Growing a Business by Meeting (Real) Customer Needs; Evaluating the Current State of Rev Photo; Developing an Action Plan; Evaluating the Research Data With the Cross-Functional Leadership Team; Summary; Further Reading; CASE 6: But the Usability People Said It Was Okay . . . Or, How Not to "Do Usability" Ellen Has a Problem The Usability Group at Fourier Software; Ellen Remembers How She Got into This Mess; Nancy's Side of the Story; And, Tom's Version; Fixing the Problem for Good; Taking on a Project the Right Way; How to Say No Gracefully; Summary; Further Reading; PART II: Research, Evaluation, and Design; CASE 7: Estimating a User-Centered Design Effort; Tell Us What You Think It Will Take; The Detailed Estimate; What About Project Management and External Duties?; What About the Development Timeline?; Let's Redefine and Get Started; Now Is the Time for Course Correction Good Plans Shape Good Decisions Summary; Further Reading; CASE 8: A Case Study in Card Sorting; Determining the Need for a Card Sort; Planning the Card Sort; Implementing the Card Sort Study; Summary; Further Reading; CASE 9: The HURIE Method: A Case Study Combining Requirements Gathering and User Interface Evaluation; The Context; The Study; Summary; Further Reading; CASE 10: Two Contrasting Case Studies in Integrating Business Analysis with Usability Requirements Analysis and User Interface Design; Case 1: The Thompson Institute: No Business Analysis Case 2: The City Police Department: Business Analysis Already Completed |
| Altri titoli varianti | Real-world UCD case studies |
| Record Nr. | UNINA-9910458601803321 |
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufman, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
User-centered design stories [[electronic resource] ] : real-world UCD case files / / edited by Carol Righi and Janice James
| User-centered design stories [[electronic resource] ] : real-world UCD case files / / edited by Carol Righi and Janice James |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufman, c2007 |
| Descrizione fisica | 1 online resource (688 p.) |
| Disciplina |
658.5/038 22
658.5038 |
| Altri autori (Persone) |
RighiCarol
JamesJanice (Janice Sue) |
| Collana | The Morgan Kaufmann series in interactive technologies |
| Soggetto topico |
New products - Management
Customer relations User interfaces (Computer systems) Reengineering (Management) Management information systems |
| ISBN |
1-281-05061-X
9786611050610 0-08-048155-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; User-Centered Design Stories; Copyright page; Table of contents; Foreword; Preface; Acknowledgments; PART I: Promoting, Establishing, and Administering a User-Centered Design Program; CASE 1: Changing Products Means Changing Behaviors; The Advocate; Analyzing the Situation; The Compromise; Creating Feedback Mechanisms; The Presentation; Thank You Mr. Gantt; Doing It Right-Iterative Design Based on User Feedback; Summary; Further Reading; CASE 2: Managing Politics in the Workplace; The Cleveland Company: Evolving From Old to New Economy; Sibling Rivalry; The Team Meeting
A New Leader Comes to New York City No, You Come to Me; Bait and Switch; Trench Buddies; Finally, Success; Summary; Further Reading; CASE 3: Raising Awareness at the Company Level; Introduction; Understanding and Integrating Into the Company; Creating a Plan; Facilitating the Integration of UE; Summary; Further Reading; CASE 4: Usability Step by Step: Small Steps to a More Successful Site; Stealth Usability; Site Structure, Search Engine, and Search Results; Value Versus Viewing Success; Revising Sites and Redeeming Relationships; The Plan and How to Work It; Planning and Preparing the Test Project Logistics Team Structure and Deliverables; Session Length and Activities; Recruiting Participants; Success with Sessions; Initial Analysis; Presenting Results; Recommendations for the ADP Site; "Selling" the Recommendations; Long-Term Results; Summary; Further Reading; CASE 5: Growing a Business by Meeting (Real) Customer Needs; Evaluating the Current State of Rev Photo; Developing an Action Plan; Evaluating the Research Data With the Cross-Functional Leadership Team; Summary; Further Reading; CASE 6: But the Usability People Said It Was Okay . . . Or, How Not to "Do Usability" Ellen Has a Problem The Usability Group at Fourier Software; Ellen Remembers How She Got into This Mess; Nancy's Side of the Story; And, Tom's Version; Fixing the Problem for Good; Taking on a Project the Right Way; How to Say No Gracefully; Summary; Further Reading; PART II: Research, Evaluation, and Design; CASE 7: Estimating a User-Centered Design Effort; Tell Us What You Think It Will Take; The Detailed Estimate; What About Project Management and External Duties?; What About the Development Timeline?; Let's Redefine and Get Started; Now Is the Time for Course Correction Good Plans Shape Good Decisions Summary; Further Reading; CASE 8: A Case Study in Card Sorting; Determining the Need for a Card Sort; Planning the Card Sort; Implementing the Card Sort Study; Summary; Further Reading; CASE 9: The HURIE Method: A Case Study Combining Requirements Gathering and User Interface Evaluation; The Context; The Study; Summary; Further Reading; CASE 10: Two Contrasting Case Studies in Integrating Business Analysis with Usability Requirements Analysis and User Interface Design; Case 1: The Thompson Institute: No Business Analysis Case 2: The City Police Department: Business Analysis Already Completed |
| Altri titoli varianti | Real-world UCD case studies |
| Record Nr. | UNINA-9910784655003321 |
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufman, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
