top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Creatore [International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]
Estensione 1 online resource (xiii, 362 pages) : illustrations.
Disciplina 005
Accesso persona Favaro, J. (John), editor.
Morisio, Maurizio, 1960-editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Models and Principles
ISBN 9783642389771
3642389775
9783642389764
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction / Karin Heinrichs, Fritz Oser, Terence Lovat -- Models of Moral Motivation / Fritz Oser -- Foundations of Moral Motivation. "Why be Moral?" a Philosophical Taxonomy of Moral Motivation / Thomas E. Wren -- Moral Motivation and the Four Component Model / Stephen J. Thoma, Muriel J. Bebeau -- Deontic and Responsibility Judgments / Gerhard Minnameier -- Motivation as the Readiness to Act on Moral Commitments / Theresa A. Thorkildsen -- Motivational Theory and Moral Motivation. Ultimate and Proximal (Attribution-Related) Motivational Determinants of Moral Behaviour / Bernard Weiner -- Moral Motivation from the Perspective of the Self-Determination Theory and the Person-Object Theory of Interest / Andreas Krapp -- How Different Motivational Aspects can Affect Moral Behaviour / Regina Vollmeyer, Konstanze Jenderek, Tahmine Tozman -- Justice as a Moral Motive / Anna Baumert, Tobias Rothmund, Nadine Thomas, Mario Gollwitzer, Manfred Schmitt -- Temporal Construal and Moral Motivation / Jens Agerström, Fredrik Björklund -- Moral Self, Identity and Moral Motivation. Moral Motivation through the Perspective of Exemplarity / Lawrence J. Walker -- Moral Motivation, Responsibility and the Development of the Moral Self / Tobias Krettenauer -- The Self and the Management of the Moral Life / Augusto Blasi -- Practical Mysticism, Self-Knowing and Moral Motivation / Terence Lovat -- Developmental Effects, Emotions and Moral Motivation. Moral Motivation and the Happy Victimizer Phenomenon / Gertrud Nunner-Winkler -- The Development of Moral Identity and Moral Motivation in Childhood and Adolescence / Bettina Doering -- Moral Emotion Attributions and Moral Motivation / Luciano Gasser, Eveline Gutzwiller-Helfenfinger, Brigitte Latzko, Tina Malti -- Neurobiology and Moral Mindset / Darcia Narvaez -- A Simile of Moral Motivation / Don Collins Reed -- Good and Bad Moral Motivation. Moral Value Evaluation / Marinus G.C.J. Beerthuizen, Daniel Brugman -- Juvenile Delinquency / Stefan Weyers -- Moral Motivation and Sports / Clark Power, Kristin K. Sheehan -- From Ethical Hostility toward Cooperative Ethics / Klaus-Jürgen Grün -- How Powerful are Moral Motivations in Environmental Protection? / Christian A. Klöckner -- Moral Motivation in Professions. Moral Motivation in Different Professions / Muriel J. Bebeau, Stephen J. Thoma -- Moral Motivation of Military Professionals / Freelance Philosopher and Author Edwin R. Micewski -- Ethical Intentions and the Moral Motivation of Teachers / Elizabeth Campbell -- Female Principals' Moral Motivation and the Moral Atmosphere of Schools / Chi-Ming Angela Lee -- Moral Motivation and Moral Education. Moral Reasoning, Moral Motivation and Informed Social Reflection / Janet Kwok, Robert L. Selman -- Character and Civic Education as a Source of Moral Motivation / Wolfgang Althof, Marvin W. Berkowitz -- Moral Motivation and the Role of the Internship in Professional Preparation / Sharon Nodie Oja, Patricia J. Craig -- Why Moral Education is Motivating by Nature / Francisco Esteban Bara, Maria Rosa Buxarrais Estrada -- Moral Motivation in the Light of Action Theory / Karin Heinrichs.
Record Nr. NYU-004402775
[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Facing the multicore-challenge III : aspects of new paradigms and technologies in parallel computing / Rainer Keller, David Kramer, Jan-Philipp Weiss (eds.).
Facing the multicore-challenge III : aspects of new paradigms and technologies in parallel computing / Rainer Keller, David Kramer, Jan-Philipp Weiss (eds.).
Estensione 1 online resource.
Disciplina 004/.35
Accesso persona Keller, Rainer, Dr.-Ing.
Kramer, David Anthony
Weiss, Jan-Philipp
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Memory management (Computer science)
Computer system performance
Computer graphics
Processor Architectures
System Performance and Evaluation
Software Engineering/Programming and Operating Systems
Memory Structures
ISBN 9783642358937
3642358934
3642358926
9783642358920
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Full Papers -- Invasive Computing on High Performance Shared Memory Systems / Michael Bader, Hans-Joachim Bungartz, Martin Schreiber -- A Similarity-Based Analysis Tool for Porting OpenMP Applications / Wei Ding, Oscar Hernandez, Barbara Chapman -- Array-Based Reduction Operations for a Parallel Adaptive FEM / Martina Balg, Jens Lang, Arnd Meyer, Gudula Rünger -- An Efficient High Performance Parallelization of a Discontinuous Galerkin Spectral Element Method / Christoph Altmann, Andrea D. Beck, Florian Hindenlang, Marc Staudenmaier -- Reducing the Memory Footprint of Parallel Applications with KSM / Nathalie Rauschmayr, Achim Streit -- Recalibrating Fine-Grained Locking in Parallel Bucket Hash Tables / Ákos Dudás, Sándor Juhász, Sándor Kolumbán -- Impact of Variable Privatization on Extracting Synchronization-Free Slices for Multi-core Computers / Marek Palkowski -- Parallel Collision Queries on the GPU / Rainer Erbes, Anja Mantel, Elmar Schömer, Nicola Wolpert -- ÆminiumGPU: An Intelligent Framework for GPU Programming / Alcides Fonseca, Bruno Cabral -- Parallel k-Means Image Segmentation Using Sort, Scan and Connected Components on a GPU / Michael Backer, Jan Tünnermann, Bärbel Mertsching.
Poster Abstracts -- Solving High-Dimensional Problems on Processors with Integrated GPU / Alexander Heinecke -- Pulsar Searching with Many-Cores / Alessio Sclocco, Rob V. van Nieuwpoort -- Scheduling Overheads for Task-Based Parallel Programming Models / Mathias Nachtmann, Jose Gracia, Colin W. Glass -- PINstruct -- Efficient Memory Access to Data Structures / Rainer Keller, Shiqing Fan -- Development of a GPU-Accelerated Mike 21 Solver for Water Wave Dynamics / Peter Edward Aackermann, Peter Juhler Dinesen Pedersen, Allan Peter Engsig-Karup -- GPU-Accelerated and CPU SIMD Optimized Monte Carlo Simulation of φ 4 Model / Piotr Bialas, Jakub Kowal, Adam Strzelecki -- Protable Codes on New HPC Architectures / Mhd. Amer Wafai, Colin W. Glass, Christoph Niethammer -- GASPI -- A Partitioned Global Address Space Programming Interface / Thomas Alrutz, Jan Backhaus, Thomas Brandes, Vanessa End, Thomas Gerhold, Alfred Geiger -- Parallel Fully Adaptive Tsunami Simulations / Michael Bader, Alexander Breuer, Martin Schreiber -- Implementation of Stable Skew-Symmetric Matrix Factorization for Fermi GPUs Using CUDA / Neven Krajina -- The IMData Approach to Accelerate Data Intensive Workloads / Marcus Völp, Nils Asmussen, Hermann Härtig -- PRAgMaTIc -- Parallel Anisotropic Adaptive Mesh Toolkit / Georgios Rokos, Gerard Gorman.
Record Nr. NYU-004390154
Materiale a stampa
Lo trovi qui: New York University
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).
Creatore [International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)]
Estensione 1 online resource (vii, 437 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Bernardo, Marco
Cortellessa, Vittorio
Pierantonio, Alfonso
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information Systems
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems
ISBN 9783642309823
3642309828
9783642309816
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Less Well Known UML: A Short User Guide / Bran Selic -- MDE Basics with a DSL Focus / Suzana Andova, Mark G.J. van den Brand, Luc J.P. Engelen and Tom Verhoeff -- Object Constraint Language (OCL): A Definitive Guide / Jordi Cabot and Martin Gogolla -- Model Transformations / Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio -- Graph Transformations for MDE, Adaptation, and Models at Runtime / Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt and Stefan Neumann, et al. -- Abstractions for Validation in Action / Guido de Caso, Victor Braberman, Diego Garbervetsky and Sebastian Uchitel -- Software Performance Modeling / Dorina C. Petriu, Mohammad Alhaj and Rasha Tawhid -- Model Transformations in Non-functional Analysis / Steffen Becker -- Software Performance Antipatterns: Modeling and Analysis / Vittorio Cortellessa, Antinisca Di Marco and Catia Trubiani -- An Introduction to Model Versioning / Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl and Konrad Wieland, et al. -- Formal Specification and Testing of Model Transformations / Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer and Lars Hamann.
Record Nr. NYU-004375860
[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Coordination models and languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / Marjan Sirjani (ed.).
Coordination models and languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / Marjan Sirjani (ed.).
Creatore [COORDINATION (Conference) (14th : 2012 : Stockholm, Sweden)]
Estensione 1 online resource.
Disciplina 004/.36
Accesso persona Sirjani, Marjan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Programming Techniques
Software Engineering/Programming and Operating Systems
Information Systems Applications (incl. Internet)
ISBN 9783642308291
3642308295
3642308287
9783642308284
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Statelets: Coordination of Social Collaboration Processes / Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong and Schahram Dustdar -- A Social Software-Based Coordination Platform / Tool Paper / Davide Rossi -- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing / Frederico Alvares de Oliveira Jr., Remi Sharrock and Thomas Ledoux -- Subobject Transactional Memory / Marko van Dooren and Dave Clarke -- Partial Connector Colouring / Dave Clarke and José Proença -- Using Coordinated Actors to Model Families of Distributed Systems / Ramtin Khosravi and Hamideh Sabouri -- Scoped Synchronization Constraints for Large Scale Actor Systems / Peter Dinges and Gul Agha -- First-Order Dynamic Logic for Compensable Processes / Roberto Bruni, Carla Ferreira and Anne Kersten Kauer -- Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps / Bogdan Aman and Gabriel Ciobanu -- Recursive Advice for Coordination / Michał Terepeta, Hanne Riis Nielson and Flemming Nielson -- Fluid Analysis of Foraging Ants / Mieke Massink and Diego Latella -- Real-Time Coordination Patterns for Advanced Mechatronic Systems / Stefan Dziwok, Christian Heinzemann and Matthias Tichy -- Group Orchestration in a Mobile Environment / Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten and Viviane Jonckers -- Node Coordination in Peer-to-Peer Networks / Luigia Petre, Petter Sandvik and Kaisa Sere -- Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments / Mirko Viroli, Danilo Pianini and Jacob Beal -- A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents / Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic and Michael Vögler, et al. -- On the Realizability of Contracts in Dishonest Systems / Massimo Bartoletti, Emilio Tuosto and Roberto Zunino -- Types for Coordinating Secure Behavioural Variations / Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta and Gianluca Mezzetti.
Record Nr. NYU-004375614
[COORDINATION (Conference) (14th : 2012 : Stockholm, Sweden)]  
Materiale a stampa
Lo trovi qui: New York University
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Creatore [CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]
Estensione 1 online resource (viii, 370 pages).
Disciplina 003/.5
Accesso persona Gheorghe, Marian, 1953-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer simulation
Bioinformatics
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Simulation and Modeling
Computational Biology/Bioinformatics
Software Engineering/Programming and Operating Systems
ISBN 9783642280245
3642280242
9783642280238
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004621479
[CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]  
Materiale a stampa
Lo trovi qui: New York University
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers / Farhad Arbab, Marjan Sirjani (eds.).
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers / Farhad Arbab, Marjan Sirjani (eds.).
Creatore [IPM International Conference on Fundamentals of Software Engineering (4th : 2011 : Tehran, Iran)]
Estensione 1 online resource (xii, 376 pages).
Disciplina 005.1
Accesso persona Arbab, F. (Farhad)
Sirjani, Marjan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Software Engineering/Programming and Operating Systems
Logics and Meanings of Programs
Programming Techniques
Models and Principles
Programming Languages, Compilers, Interpreters
ISBN 9783642293207
3642293204
3642293190
9783642293191
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Compositional Reasoning for Markov Decision Processes / Yuxin Deng and Matthew Hennessy -- Safe Locking for Multi-threaded Java / Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe and Martin Steffen -- Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider / Yi-Ling Hwong, Vincent J.J. Kusters and Tim A.C. Willemse -- A Distributed Logic for Networked Cyber-Physical Systems / Minyoung Kim, Mark-Oliver Stehr and Carolyn Talcott -- Reachability Analysis of Non-linear Planar Autonomous Systems / Hallstein Asheim Hansen, Gerardo Schneider and Martin Steffen -- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs / Qiusong Yang, Bei Zhang, Jian Zhai and Mingshu Li -- Refinement-Based Modeling of 3D NoCs / Maryam Kamali, Luigia Petre, Kaisa Sere and Masoud Daneshtalab -- Towards Model-Based Testing of Electronic Funds Transfer Systems / Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi and Neda Noroozi.
Model Checking: One Can Do Much More Than You Think! / Joost-Pieter Katoen -- Proposition Algebra and Short-Circuit Logic / Jan A. Bergstra and Alban Ponse -- Decompositional Reasoning about the History of Parallel Processes / Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir and MohammadReza Mousavi -- A Model-Based Development Approach for Model Transformations / Shekoufeh Kolahdouz-Rahimi and Kevin Lano -- Analyzing Component-Based Systems on the Basis of Architectural Constraints / Christian Lambertz and Mila Majster-Cederbaum -- Constructive Development of Probabilistic Programs / Hassan Haghighi and Mohammad Mahdi Javanmard -- Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability / Mohammad Mahdi Jaghoori -- Specification Guidelines to Avoid the State Space Explosion Problem / Jan Friso Groote, Tim W.D.M. Kouters and Ammar Osaiweran -- Strong Normalisation in λ-Calculi with References / Romain Demangeon, Daniel Hirschkoff and Davide Sangiorgi.
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations / Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir and Miguel Palomino -- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping / Chaodong He, Yuxi Fu and Hongfei Fu -- Rewriting Approximations for Properties Verification over CCS Specifications / Roméo Courbis -- Type Checking Cryptography Implementations / Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues and Paulo F. Silva -- Intentional Automata: A Context-Dependent Model for Component Connectors / David Costa, Milad Niqui and Jan Rutten -- Nested Dynamic Condition Response Graphs / Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats -- Efficient Verification of Evolving Software Product Lines / Hamideh Sabouri and Ramtin Khosravi -- Extending Interface Automata with Z Notation / Zining Cao and Hui Wang -- A Specification Language for Reo Connectors / Alexandra Silva.
Record Nr. NYU-004622633
[IPM International Conference on Fundamentals of Software Engineering (4th : 2011 : Tehran, Iran)]  
Materiale a stampa
Lo trovi qui: New York University
Software-Architektur [electronic resource] : Grundlagen ; Konzepte ; Praxis / von Oliver Vogel, Ingo Arnold, Arif Chughtai, Edmund Ihler, Timo Kehrer, Uwe Mehlig, Uwe Zdun
Software-Architektur [electronic resource] : Grundlagen ; Konzepte ; Praxis / von Oliver Vogel, Ingo Arnold, Arif Chughtai, Edmund Ihler, Timo Kehrer, Uwe Mehlig, Uwe Zdun
Creatore [Vogel, Oliver]
Edizione [2. Auflage.]
Accesso persona Kehrer, Timo
Mehlig, Uwe.
Ihler, Edmund
Chughtai, Arif
Arnold, Ingo
Zdun, Uwe.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Science, general
Software Engineering/Programming and Operating Systems
ISBN 9783827422675
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UCHICAGO-7720992
[Vogel, Oliver]  
Software
Lo trovi qui: University of Chicago
Grundkurs Software-Engineering mit UML [electronic resource] : Der pragmatische Weg zu erfolgreichen Softwareprojekten / von Stephan Kleuker
Grundkurs Software-Engineering mit UML [electronic resource] : Der pragmatische Weg zu erfolgreichen Softwareprojekten / von Stephan Kleuker
Creatore [Kleuker, Stephan]
Edizione [3., korr. und erw. Aufl. 2013.]
Estensione 1 online resource
Disciplina 005.1
Soggetto non controllato Software Engineering
Software Engineering/Programming and Operating Systems
Computer Science, general
Computer Science
ISBN 9783658006426
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto Zusammenspiel von Prozessen in der Software-Entwicklung -- Anforderungsanalyse -- Erstellung von Analysemodellen mit der UML -- Vom Modell zur Implementierung -- Qualitätssicherung -- Management erfolgreicher SW-Projekte.
Record Nr. UCHICAGO-9284328
[Kleuker, Stephan]  
Risorse elettroniche
Lo trovi qui: University of Chicago
agendaCPS [electronic resource] : Integrierte Forschungsagenda Cyber-Physical Systems / herausgegeben von Eva Geisberger, Manfred Broy
agendaCPS [electronic resource] : Integrierte Forschungsagenda Cyber-Physical Systems / herausgegeben von Eva Geisberger, Manfred Broy
Creatore [Geisberger, Eva.]
Estensione 1 online resource
Disciplina 004
Accesso persona Broy, Manfred.editor.
Soggetto non controllato Computers and Society
Software Engineering/Programming and Operating Systems
Management of Computing and Information Systems
R & D/Technology Policy
Computer Science
ISBN 9783642290992
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto Geleitwort -- Kurzfassung -- Projekt -- Einführung -- Cyber-Physical Systems: Visionen, Charakteristika und neue Fähigkeiten -- CPS-Themenfelder -- Politische und Gesellschaftliche Herausforderungen -- Technologie- und Engineering-Herausforderungen -- Geschäftsmodelle und Ökosysteme -- Standortbestimmung, Analyse und Schlussfolgerungen -- Anhang A: Stand der Forschung und Technik -- Anhang B: Interoperabilitäts- und Quality-of-Service-Plattformdienste am Beispiel der Domäne Fahrzeug -- Anhang C: Ergebnisse Umfrage Mittelstand -- Glossar -- Literaturverzeichnis -- Abbildungsverzeichnis -- Autorenverzeichnis.
Record Nr. UCHICAGO-9283868
[Geisberger, Eva.]  
Risorse elettroniche
Lo trovi qui: University of Chicago
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / José L. Ayala, David Atienza Alonso, Ricardo Reis (eds.).
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / José L. Ayala, David Atienza Alonso, Ricardo Reis (eds.).
Creatore [IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip (18th : 2010 : Madrid, Spain)]
Estensione 1 online resource (x, 353 pages).
Accesso persona Ayala, Jose L.
Atienza Alonso, David
Reis, Ricardo
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Microprogramming
Software engineering
Coding theory
Computer software
Control Structures and Microprogramming
Software Engineering/Programming and Operating Systems
Coding and Information Theory
Algorithm Analysis and Problem Complexity
ISBN 9783642285660
364228566X
3642285651
9783642285653
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076706
[IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip (18th : 2010 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago