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.
Modelling, simulation and software concepts for scientific-technological problems / Ernst Stephan, Peter Wriggers (Eds.).
Modelling, simulation and software concepts for scientific-technological problems / Ernst Stephan, Peter Wriggers (Eds.).
Estensione 1 online resource (viii, 250 pages).
Disciplina 620.001/13
Accesso persona Stephan, Ernst
Wriggers, P.
Genere/Forma Electronic books
ISBN 9783642204906
3642204902
9783642204890
3642204899
Classificazione 54.79
54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Martensitic Phase Transformations of Mono and Polycrystalline Shape Memory Alloys -- A Theoretically and Numerically Unified Concept -- Thermo-Hydro-Mechanical Modeling of Coupled Processes in Clay Materials -- Multibody Contact Algorithms for Fracturing Solids -- New Strategies in Finite Element Analysis of Material Processing -- Computational Techniques for Multiscale Analysis of Materials and Interfaces -- Numerical Modelling and Simulation of Atomic Force Microscopes -- Finite Element and Boundary Element Approaches to Transmission and Contact Problems in Elasticity -- Efficient Solvers for Mixed Finite Element Discretization of Nonlinear Problems in Solid Mechanics -- Computational Differential Geometry Contributions of the Welfenlab to GRK 615 -- Analysis of a Mathematical Model Describing Necrotic Tumor Growth.
Record Nr. NYU-006177428
Materiale a stampa
Lo trovi qui: New York University
Reasoning web : semantic technologies for the web of data : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011 : tutorial lectures / Axel Polleres [and others] (eds.).
Reasoning web : semantic technologies for the web of data : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011 : tutorial lectures / Axel Polleres [and others] (eds.).
Creatore [Summer School on Reasoning Web (7th : 2011 : Galway, Ireland)]
Estensione 1 online resource (ix, 535 pages) : illustrations.
Disciplina 025.04/27
Accesso persona Polleres, Axel
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642230325
3642230326
9783642230318
3642230318
Classificazione 54.84
54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Linked Data and its Lifecycle on the Web -- Foundations of Description Logics -- Using SPARQL with RDFS and OWL Entailment -- Database foundations for scalable RDF processing.-Scalable OWL 2 Reasoning for Linked Data -- Rules and Logic Programming for the Web -- OWL and Rules -- Modeling the Web of Data -- Trust management methodologies for the Web -- Application and Evaluation of Inductive Reasoning Methods for the Semantic Web and Software Analysis -- Probabilistic-Logical Web Data Integration -- An Introduction to Constraint Programming and Combinatorial Optimisation. Foundations of Description Logics -- Using SPARQL with RDFS and OWL Entailment -- Database foundations for scalable RDF processing -- Scalable OWL 2 Reasoning for Linked Data -- Rules and Logic Programming for the Web -- OWL and Rules -- Modeling the Web of Data -- Trust management methodologies for the Web -- Application and Evaluation of Inductive Reasoning Methods for the Semantic Web and Software Analysis -- Probabilistic-Logical Web Data Integration -- An Introduction to Constraint Programming and Combinatorial Optimisation.
Record Nr. NYU-006178070
[Summer School on Reasoning Web (7th : 2011 : Galway, Ireland)]  
Materiale a stampa
Lo trovi qui: New York University
Self-organizing systems : 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, the Netherlands, March 15-16, 2012. Proceedings / Fernando A. Kuipers, Poul E. Heegaard (eds.).
Self-organizing systems : 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, the Netherlands, March 15-16, 2012. Proceedings / Fernando A. Kuipers, Poul E. Heegaard (eds.).
Creatore [IWSOS 2012 (2012 : Delft, Netherlands)]
Estensione 1 online resource (xii, 114 pages).
Disciplina 003/.7
Accesso persona Kuipers, Fernando A.
Heegaard, Poul E.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data mining
Information storage and retrieval systems
Telecommunication
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Data Mining and Knowledge Discovery
Communications Engineering, Networks
ISBN 9783642285837
364228583X
3642285821
9783642285820
Classificazione 54.32
54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Storage Management Using Dynamic Pricing in a Self-Organized Energy Community / Ebisa Negeri and Nico Baken -- Ant-Based Systems for Wireless Networks: Retrospect and Prospects / Laurent Paquereau and Bjarne E. Helvik -- Triadic Motifs and Dyadic Self-Organization in the World Trade Network / Tiziano Squartini and Diego Garlaschelli -- On Measurement of Internal Variables of Complex Self-Organized Systems and Their Relation to Multifractal Spectra / Dalibor Štys, Petr Jizba, Štěpán Papáček, Tomáš Náhlík and Petr Císař -- Self-Organised Routing for Road Networks / Holger Prothmann, Sven Tomforde, Johannes Lyda, Jürgen Branke and Jörg Hähner, et al. -- P2P and Cloud: A Marriage of Convenience for Replica Management / Hanna Kavalionak and Alberto Montresor -- Self-Organizing Spatio-temporal Pattern Formation in Two-Dimensional Daisyworld / Dharani Punithan and R.I. (Bob) McKay -- Heuristic Resource Search in a Self-Organised Distributed Multi Agent System / Muntasir Al-Asfoor, Brendan Neville and Maria Fasli -- A Quantitative Measure, Mechanism and Attractor for Self-Organization in Networked Complex Systems / Georgi Yordanov Georgiev -- MetroNet: A Metropolitan Simulation Model Based on Commuting Processes / Efrat Blumenfeld-Lieberthal and Juval Portugali -- Robustness of Self-Organizing Consensus Algorithms: Initial Results from a Simulation-Based Study / Alexander Gogolev and Christian Bettstetter -- Initial Experiments in Using Communication Swarms to Improve the Performance of Swarm Systems / Stephen M. Majercik.
Record Nr. NYU-004374606
[IWSOS 2012 (2012 : Delft, Netherlands)]  
Materiale a stampa
Lo trovi qui: New York University
Advanced techniques in computing sciences and software engineering / Khaled Elleithy, editor
Advanced techniques in computing sciences and software engineering / Khaled Elleithy, editor
Estensione 1 online resource ([xx], 599 pages) : illustrations
Disciplina 004
Accesso persona Elleithy, Khaled
Accesso convegno International Conference on Systems, Computing Sciences and Software Engineering (2008)
International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (2008)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9789048136605
9048136601
9789048136599
9048136598
Classificazione 54.52
54.83
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 189426_1_En_BookFrontmatter_OnlinePDF; 189426_1_En_1_Chapter_OnlinePDF; 189426_1_En_2_Chapter_OnlinePDF; 189426_1_En_3_Chapter_OnlinePDF; 189426_1_En_4_Chapter_OnlinePDF; 189426_1_En_5_Chapter_OnlinePDF; 189426_1_En_6_Chapter_OnlinePDF; 189426_1_En_7_Chapter_OnlinePDF; 189426_1_En_8_Chapter_OnlinePDF; 189426_1_En_9_Chapter_OnlinePDF; 189426_1_En_10_Chapter_OnlinePDF; 189426_1_En_11_Chapter_OnlinePDF; 189426_1_En_12_Chapter_OnlinePDF; 189426_1_En_13_Chapter_OnlinePDF; 189426_1_En_14_Chapter_OnlinePDF; 189426_1_En_15_Chapter_OnlinePDF; 189426_1_En_16_Chapter_OnlinePDF.
189426_1_En_17_Chapter_OnlinePDF189426_1_En_18_Chapter_OnlinePDF; 189426_1_En_19_Chapter_OnlinePDF; 189426_1_En_20_Chapter_OnlinePDF; 189426_1_En_21_Chapter_OnlinePDF; 189426_1_En_22_Chapter_OnlinePDF; 189426_1_En_23_Chapter_OnlinePDF; 189426_1_En_24_Chapter_OnlinePDF; 189426_1_En_25_Chapter_OnlinePDF; 189426_1_En_26_Chapter_OnlinePDF; 189426_1_En_27_Chapter_OnlinePDF; 189426_1_En_28_Chapter_OnlinePDF; 189426_1_En_29_Chapter_OnlinePDF; 189426_1_En_3.
Record Nr. NYU-004363078
Materiale a stampa
Lo trovi qui: New York University
ESEC '91 [electronic resource] : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fuggetta, eds.
ESEC '91 [electronic resource] : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fuggetta, eds.
Creatore [European Software Engineering Conference (3rd : 1991 : Milan, Italy)]
Estensione 1 online resource (xii, 515 pages) : illustrations.
Disciplina 005.1
Accesso persona Lamsweerde, A. van (Axel)
Fuggetta, A. (Alfonso), 1958-
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540464464
3540464468
3540547428
9783540547426
0387547428
9780387547428
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004389190
[European Software Engineering Conference (3rd : 1991 : Milan, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Evaluation of novel approaches to software engineering : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 ; Milan, Italy, May 9-10, 2009, Revised Selected Papers / Leszek A. Maciaszek, César González-Pérez, Stefan Jablonski (Eds.).
Evaluation of novel approaches to software engineering : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 ; Milan, Italy, May 9-10, 2009, Revised Selected Papers / Leszek A. Maciaszek, César González-Pérez, Stefan Jablonski (Eds.).
Creatore [ENASE 2008 (2008 : Funchal, Madeira Islands)]
Estensione 1 online resource (xi, 318 pages) : illustrations.
Disciplina 005.1
Accesso persona Maciaszek, Leszek
González Pérez, César A.
Jablonski, Stefan
Accesso convegno ENASE 2009 (2009 : Milan, Italy)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642148194
3642148190
9783642148187
3642148182
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004366901
[ENASE 2008 (2008 : Funchal, Madeira Islands)]  
Materiale a stampa
Lo trovi qui: New York University
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Creatore [FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Păsăreanu, Corina S.
Salaün, G. (Gwen)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642358616
3642358616
3642358608
9783642358609
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Patterns for Multi-rate Distributed Real-Time Systems / Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky -- Component Interfaces with Contracts on Ports / Sebastian Bauer, Rolf Hennicker, Axel Legay -- Avoiding Diamonds in Desynchronization / Harsh Beohar, Pieter J.L. Cuijpers -- The Tale of SOLOIST: A Specification Language for Service Compositions Interactions / Domenico Bianculli, Carlo Ghezzi -- A Categorical Approach to Structuring and Promoting Z Specifications / Pablo F. Castro, Nazareno Aguirre -- Assume-Guarantee Reasoning for Safe Component Behaviours / Chris Chilton, Bengt Jonsson, Marta Kwiatkowska -- A Petri Net Based Analysis of Deadlocks for Active Objects and Futures / Frank S. de Boer, Mario Bravetti, Immo Grabe -- Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development / Frank S. de Boer, Stijn de Gouw -- Symbolic Counterexample Generation for Discrete-Time Markov Chains / Nils Jansen, Erika Ábrahám, Barna Zajzon -- Xcd -- Modular, Realizable Software Architectures / Christos Kloukinas, Mert Ozkaya -- LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time / Amir Molzam Sharifloo, Paola Spoletini -- A Calculus for Quality / Hanne Riis Nielson, Flemming Nielson, Roberto Vigo -- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure / Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu -- IBOS: A Correct-By-Construction Modular Browser / Ralf Sasse, Samuel T. King, José Meseguer -- Guided Search for Deadlocks in Actor-Based Models / Steinar Hugi Sigurdarson, Marjan Sirjani -- Assumption Generation for Asynchronous Systems by Abstraction Refinement / Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli.
Record Nr. NYU-004390112
[FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]  
Materiale a stampa
Lo trovi qui: New York University
Software engineering and middleware : third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers / Alberto Coen-Porisini, André van der Hoek (eds.).
Software engineering and middleware : third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers / Alberto Coen-Porisini, André van der Hoek (eds.).
Creatore [SEM 2002 (2002 : Orlando, Fla.)]
Estensione 1 online resource (xii, 237 pages) : illustrations.
Disciplina 005.1
Accesso persona Coen-Porisini, Alberto, 1961-
Hoek, André van der, 1971-
Genere/Forma Conference papers and proceedings
Soggetto non controllato software engineering
middleware
SEM
ISBN 3540075496
9783540075493
3540380930
9783540380931
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Architectures -- Flexible Distributed Process Topologies for Enterprise Applications -- An Architecture for the UniFrame Resource Discovery Service -- An Architecture of a Quality of Service Resource Manager Middleware for Flexible Embedded Multimedia Systems -- Specification -- An Event/Rule Framework for Specifying the Behavior of Distributed Systems -- Modelling and Specification of Interfaces for Standard-Driven Distributed Software Architectures in the E-learning Domain -- Components and Adaptation -- Component-Based Architecture for Collaborative Applications in Internet -- Composing Distributed Components with the Component Workbench -- FORMAware: Framework of Reflective Components for Managing Architecture Adaptation -- Type Based Adaptation: An Adaptation Approach for Dynamic Distributed Systems -- Technologies -- On the Use of Enterprise Java Beans 2.0 Local Interfaces -- Dynamic Instrumentation for Jini Applications -- Services -- Message Queuing Patterns for Middleware-Mediated Transactions -- Towards Dynamic Reconfiguration of Distributed Publish-Subscribe Middleware -- Active Replication of Software Components -- Building Test Constraints for Testing Middleware-Based Distributed Systems -- Invited Talk -- Revolutionizing Software Development.
Record Nr. NYU-004616917
[SEM 2002 (2002 : Orlando, Fla.)]  
Materiale a stampa
Lo trovi qui: New York University
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.).
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.).
Creatore [CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)]
Estensione 1 online resource (xvi, 676 pages) : illustrations.
Disciplina 005.1/4
Accesso persona Touili, Tayssir
Cook, Byron
Jackson, Paul B., 1962-
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642142956
3642142958
9783642142949
364214294X
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004617572
[CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)]  
Materiale a stampa
Lo trovi qui: New York University
Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004 : revised selected papers / Uwe Assmann, Mehmet Aksit, Arend Rensink (eds.).
Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004 : revised selected papers / Uwe Assmann, Mehmet Aksit, Arend Rensink (eds.).
Creatore [MDAFA 2003 (2003 : Twente, Netherlands)]
Estensione 1 online resource (x, 233 pages) : illustrations.
Disciplina 005.117
Accesso persona Rensink, Arend
Assmann, Uwe, 1963-
Akşit, Mehmet
Accesso ente Object Management Group
Accesso convegno MDAFA 2004 (2004 : Linköping, Sweden)
Genere/Forma Electronic books
Conference papers and proceedings
Kongress
Twente (2003)
ISBN 3540282408
9783540282402
9783540318194
3540318194
1281391093
9781281391094
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004604858
[MDAFA 2003 (2003 : Twente, Netherlands)]  
Materiale a stampa
Lo trovi qui: New York University