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.

Biblioteca

MARC Lista (tabellare)
Advances in Multimedia Modeling [[electronic resource] ] : 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings / / edited by Susanne Boll, Qi Tian, Lei Zhang, Zili Zhang, Yi-Ping Phoebe Chen
Advances in Multimedia Modeling [[electronic resource] ] : 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings / / edited by Susanne Boll, Qi Tian, Lei Zhang, Zili Zhang, Yi-Ping Phoebe Chen
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XVIII, 806 p.)
Disciplina 006.6
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Data mining
Information storage and retrieval
User interfaces (Computer systems)
Multimedia information systems
Database management
Application software
Data Mining and Knowledge Discovery
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
Multimedia Information Systems
Database Management
Information Systems Applications (incl. Internet)
Soggetto genere / forma Chongqing (2010)
Kongress.
ISBN 1-280-38540-5
9786613563323
3-642-11301-X
Classificazione DAT 670f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Regular Papers -- Special Session Papers -- Short Papers -- Demo Session Papers.
Record Nr. UNISA-996465924103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Agent-Based Hybrid Intelligent Systems [[electronic resource] ] : An Agent-Based Framework for Complex Problem Solving / / edited by Zili Zhang, Chengqi Zhang
Agent-Based Hybrid Intelligent Systems [[electronic resource] ] : An Agent-Based Framework for Complex Problem Solving / / edited by Zili Zhang, Chengqi Zhang
Autore Zhang Zili, Ph. D.
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XV, 194 p.)
Disciplina 006.3/3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Software engineering
Computers
Database management
Application software
Artificial Intelligence
Software Engineering
Computation by Abstract Devices
Database Management
Computer Appl. in Administrative Data Processing
ISBN 1-280-30678-5
9786610306787
3-540-24623-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Fundamentals of Hybrid Intelligent Systems and Agents -- 1 Introduction -- 2 Basics of Hybrid Intelligent Systems -- 3 Basics of Agents and Multi-agent Systems -- Methodology and Framework -- 4 Agent-Oriented Methodologies -- 5 Agent-Based Framework for Hybrid Intelligent Systems -- 6 Matchmaking in Middle Agents -- Application Systems -- 7 Agent-Based Hybrid Intelligent System for Financial Investment Planning -- 8 Agent-Based Hybrid Intelligent System for Data Mining -- Concluding Remarks -- 9 The Less the More -- Appendix: Sample Source Codes of the Agent-Based Financial Planning System -- References.
Record Nr. UNISA-996466050503316
Zhang Zili, Ph. D.  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving / / edited by Zili Zhang, Chengqi Zhang
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving / / edited by Zili Zhang, Chengqi Zhang
Autore Zhang Zili, Ph. D.
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XV, 194 p.)
Disciplina 006.3/3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Software engineering
Computer science
Database management
Information technology - Management
Artificial Intelligence
Software Engineering
Theory of Computation
Database Management
Computer Application in Administrative Data Processing
ISBN 1-280-30678-5
9786610306787
3-540-24623-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Fundamentals of Hybrid Intelligent Systems and Agents -- 1 Introduction -- 2 Basics of Hybrid Intelligent Systems -- 3 Basics of Agents and Multi-agent Systems -- Methodology and Framework -- 4 Agent-Oriented Methodologies -- 5 Agent-Based Framework for Hybrid Intelligent Systems -- 6 Matchmaking in Middle Agents -- Application Systems -- 7 Agent-Based Hybrid Intelligent System for Financial Investment Planning -- 8 Agent-Based Hybrid Intelligent System for Data Mining -- Concluding Remarks -- 9 The Less the More -- Appendix: Sample Source Codes of the Agent-Based Financial Planning System -- References.
Record Nr. UNINA-9910145797203321
Zhang Zili, Ph. D.  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems [[electronic resource] ] : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems [[electronic resource] ] : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVII, 221 p. 32 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer communication systems
Artificial intelligence
Computer programming
Architecture, Computer
Natural language processing (Computer science)
Software Engineering/Programming and Operating Systems
Computer Communication Networks
Artificial Intelligence
Programming Techniques
Computer System Implementation
Natural Language Processing (NLP)
ISBN 3-030-55089-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
Record Nr. UNISA-996418305803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XVII, 237 p. 556 illus., 84 illus. in color.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer communication systems
Algorithms
Computer logic
Mathematical logic
Artificial intelligence
Software Engineering
Computer Communication Networks
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Artificial Intelligence
ISBN 3-030-17601-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. .
Record Nr. UNISA-996466303703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XVII, 237 p. 556 illus., 84 illus. in color.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer networks
Algorithms
Computer science
Machine theory
Artificial intelligence
Software Engineering
Computer Communication Networks
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Artificial Intelligence
ISBN 3-030-17601-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. .
Record Nr. UNINA-9910337563003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems [[electronic resource] ] : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems [[electronic resource] ] : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVII, 219 p. 127 illus., 31 illus. in color.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Programming languages (Electronic computers)
Computer programming
Computer logic
Computers
Computer system failures
Software Engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
The Computing Profession
System Performance and Evaluation
ISBN 3-030-02928-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. .
Record Nr. UNISA-996466277303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVII, 219 p. 127 illus., 31 illus. in color.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Compilers (Computer programs)
Computer programming
Computer science
Computers
Professions
Electronic digital computers - Evaluation
Software Engineering
Compilers and Interpreters
Programming Techniques
Computer Science Logic and Foundations of Programming
The Computing Profession
System Performance and Evaluation
ISBN 9783030029289
303002928X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. .
Record Nr. UNINA-9910349394003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XV, 259 p. 64 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer programming
Programming languages (Electronic computers)
Computers
Computer logic
Computer system failures
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
The Computing Profession
Logics and Meanings of Programs
System Performance and Evaluation
ISBN 3-319-56841-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest.
Record Nr. UNISA-996465722403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XV, 259 p. 64 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer programming
Compilers (Computer programs)
Computers
Professions
Computer science
Electronic digital computers - Evaluation
Software Engineering
Programming Techniques
Compilers and Interpreters
The Computing Profession
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
ISBN 3-319-56841-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest.
Record Nr. UNINA-9910484960003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui