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.
2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics
| 2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Soggetto topico |
Disseny assistit per ordinador
Microelectrònica Disseny de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 966-2191-17-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206461603316 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics
| 2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Soggetto topico |
Disseny assistit per ordinador
Microelectrònica Disseny de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9789662191172
9662191178 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140999703321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine
| About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine |
| Autore | Cooper Alan <1952-> |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Indianapolis, Indiana : , : John Wiley & Sons, , [2014] |
| Descrizione fisica | 1 online resource (xxvii, 690 pages) : illustrations |
| Disciplina | 006.7 |
| Soggetto topico |
Software architecture
User interfaces (Computer systems) - Design Human-computer interaction Interacció persona-ordinador Disseny de sistemes Interfícies d'usuari (Informàtica) |
| ISBN |
9781118766408
1118766407 9781118766583 111876658X 9781118766576 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910786503003321 |
Cooper Alan <1952->
|
||
| Indianapolis, Indiana : , : John Wiley & Sons, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine
| About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine |
| Autore | Cooper Alan <1952-> |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Indianapolis, Indiana : , : John Wiley & Sons, , [2014] |
| Descrizione fisica | 1 online resource (xxvii, 690 pages) : illustrations |
| Disciplina | 006.7 |
| Soggetto topico |
Software architecture
User interfaces (Computer systems) - Design Human-computer interaction Interacció persona-ordinador Disseny de sistemes Interfícies d'usuari (Informàtica) |
| ISBN |
9781118766408
1118766407 9781118766583 111876658X 9781118766576 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910809303103321 |
|
Cooper Alan <1952->
|
||
| Indianapolis, Indiana : , : John Wiley & Sons, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Global Perspectives on Design Science Research [[electronic resource] ] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / / edited by Robert Winter, J. Leon Zhao, Stephan Aier
| Global Perspectives on Design Science Research [[electronic resource] ] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / / edited by Robert Winter, J. Leon Zhao, Stephan Aier |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 564 p. 128 illus.) |
| Disciplina | 004.21 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Disseny de sistemes
Anàlisi de sistemes Computer engineering Computer communication systems Application software Artificial intelligence Software engineering Information storage and retrieval Computer Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering Information Storage and Retrieval |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
1-280-38681-9
9786613564733 3-642-13335-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Organising Design Research -- When Designers Are Not in Control – Experiences from Using Action Research to Improve Researcher-Developer Collaboration in Design Science Research -- Relevance through Consortium Research? Findings from an Expert Interview Study -- Taking a Project Management Perspective on Design Science Research -- Reflecting Design Science Research -- A Multi-Grounded Design Research Process -- Relevance and Problem Choice in Design Science -- Artifact Types in Information Systems Design Science – A Literature Review -- Quo Vadis, Design Science? – A Survey of Literature -- Design Science Research Post Hevner et al.: Criteria, Standards, Guidelines, and Expectations -- Meta-analysis of Design Science Research within the IS Community: Trends, Patterns, and Outcomes -- Design Research Techniques -- Comparing Two Software Design Process Theories -- The Ecology of Learning-by-Building: Bridging Design Science and Natural History of Knowledge -- On Computer Simulation as a Component in Information Systems Research -- Design and Context -- Design Logic and the Ambiguity Operator -- Information Model-Based Configuration of Situational Methods – A Foundation for Design Research Applying Situational Method Configuration -- A Methodology for Content-Centered Design of Ambient Environments -- Design and Organisation -- Extending the Design and Engineering Methodology for Organizations with the Generation Operationalization and Discontinuation Organization -- Towards Deterministically Constructing Organizations Based on the Normalized Systems Approach -- Harness Mobility: Managing the Off-Task Property -- Design and Information -- Dynamically Generating Context-Relevant Sub-Webs -- Designing Business-Intelligence Tools with Value-Driven Recommendations -- Process Performance Management – Identifying Stereotype Problem Situations as a Basis for Effective and Efficient Design Research -- Design Research Exemplars -- The Design of Focus Area Maturity Models -- Applying Design Research Artifacts for Building Design Research Artifacts: A Process Model for Enterprise Architecture Planning -- Realization Approaches of Customer Relationship Management – A Design Science Research Contribution to Support the Construction of Situational CRM Artifacts -- The Instance-Based Multilevel Security Model -- A Negotiation Based Approach for Service Composition -- Usability through System-User Collaboration -- Design and Behaviour -- Instruction Manual Usage: A Comparison of Younger People, Older People and People with Cognitive Disabilities -- FASTS: FAcets Structured Tag Space – A Novel Approach to Organize and Reuse Social Bookmarking Tags -- Twitter Me: Using Micro-blogging to Motivate Teenagers to Exercise -- Designing Collaboration -- Designing for Light-Weight Collaboration: The Case of Interactive Citizens’ Advisory Services -- Design for Business Innovation: Linking the Value Chains of Logistics Service and Cargo Insurance Companies by Designing a Collaborative Service Infrastructure -- Design and Requirements Engineering -- A Requirements Engineering Method Designed for the Blind -- Assessing Project Effort in Requirements Engineering: A Report on Design Research in Progress -- Systematic Development of Business-Driven Requirements – Using Next-Generation EIS Design as an Example -- Short Papers -- Systematization of Maturity Model Extensions -- Process Design as Basis for Comprehensive Process Modeling -- Design Science Research Engagement: Proposal for an Engagement Approach for Company Collaboration -- Design Science in Research Cooperations with the Industry: Findings from Three Prototyping Projects -- Towards a Theory on Collaborative Decision Making in Enterprise Architecture -- In Pursuit of IT Artifact Generality: The Case of Predictive Model for Electronic Negotiation Support -- Use Cases for Business Metadata – A Viewpoint-Based Approach to Structuring and Prioritizing Business Needs -- The IT-CMF: A Practical Application of Design Science -- Ontology Design for Strategies to Metrics Mapping -- Naturalistic and Artificial Evaluations of Personas and Role-Based Enterprise Systems. |
| Record Nr. | UNISA-996465891003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / editors, Dana Fisman, Grigore Rosu
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / editors, Dana Fisman, Grigore Rosu |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxii, 583 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design Disseny de sistemes Verificació del programari Anàlisi de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-99524-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555235803321 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
| Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II |
| Autore | Fisman Dana |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xxi, 493 pages) : illustrations |
| Altri autori (Persone) |
FismanDana
RosuGrigore |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Verification
System analysis System design Disseny de sistemes Verificació del programari Anàlisi de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-99527-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555237203321 |
|
Fisman Dana
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
