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.
2018 IEEE 21st International Symposium on Real-Time Distributed Computing : 29-31 May 2018, Singapore / / IEEE Computer Society
2018 IEEE 21st International Symposium on Real-Time Distributed Computing : 29-31 May 2018, Singapore / / IEEE Computer Society
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (129 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Electronic data processing - Distributed processing
Soggetto genere / forma Electronic books.
ISBN 1-5386-5847-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996279607803316
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2018 IEEE 21st International Symposium on Real-Time Distributed Computing : 29-31 May 2018, Singapore / / IEEE Computer Society
2018 IEEE 21st International Symposium on Real-Time Distributed Computing : 29-31 May 2018, Singapore / / IEEE Computer Society
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (129 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Electronic data processing - Distributed processing
Soggetto genere / forma Electronic books.
ISBN 1-5386-5847-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910282236303321
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications : 28-31 August 2018, Hakodate, Japan / / IEEE Computer Society
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications : 28-31 August 2018, Hakodate, Japan / / IEEE Computer Society
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (146 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Embedded computer systems
Soggetto genere / forma Electronic books.
ISBN 1-5386-7759-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910305156503321
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2018 IEEE International Conference on Real-time Computing and Robotics : 1-5 August 2018, Kandima, Maldives / / Institute of Electrical and Electronics Engineers
2018 IEEE International Conference on Real-time Computing and Robotics : 1-5 August 2018, Kandima, Maldives / / Institute of Electrical and Electronics Engineers
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (111 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Robotics
Soggetto genere / forma Electronic books.
ISBN 1-5386-6869-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910308058603321
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2018 IEEE Real-Time and Embedded Technology and Applications Symposium : 11-13 April 2018, Porto, Portugal / / IEEE Computer Society
2018 IEEE Real-Time and Embedded Technology and Applications Symposium : 11-13 April 2018, Porto, Portugal / / IEEE Computer Society
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (163 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Embedded computer systems
Real-time control
Soggetto genere / forma Electronic books.
ISBN 1-5386-5295-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910282233403321
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2018 IEEE Real-Time and Embedded Technology and Applications Symposium : 11-13 April 2018, Porto, Portugal / / IEEE Computer Society
2018 IEEE Real-Time and Embedded Technology and Applications Symposium : 11-13 April 2018, Porto, Portugal / / IEEE Computer Society
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (163 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Embedded computer systems
Real-time control
Soggetto genere / forma Electronic books.
ISBN 1-5386-5295-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996279933803316
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2018 IEEE Real-Time Systems Symposium : 11-14 December 2018, Nashville, TN, USA / / Institute of Electrical and Electronics Engineers
2018 IEEE Real-Time Systems Symposium : 11-14 December 2018, Nashville, TN, USA / / Institute of Electrical and Electronics Engineers
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Descrizione fisica 1 online resource (146 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Soggetto genere / forma Electronic books.
ISBN 1-5386-7908-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910305154303321
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Complexity of constraints : an overview of current research themes / / edited by Nadia Creignou, Phokion G. Kolaitis, and Heribert Vollmer
Complexity of constraints : an overview of current research themes / / edited by Nadia Creignou, Phokion G. Kolaitis, and Heribert Vollmer
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Descrizione fisica 1 online resource (VII, 321 p.)
Disciplina 004.33
Collana Theoretical Computer Science and General Issues
Soggetto topico Constraints (Artificial intelligence)
Constraint programming (Computer science)
ISBN 3-540-92800-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help? -- Basics of Galois Connections -- Recent Results on the Algebraic Approach to the CSP -- Dualities for Constraint Satisfaction Problems -- A Logical Approach to Constraint Satisfaction -- Uniform Constraint Satisfaction Problems and Database Theory -- Constraint Satisfaction Problems with Infinite Templates -- Partial Polymorphisms and Constraint Satisfaction Problems -- to the Maximum Solution Problem -- Present and Future of Practical SAT Solving.
Record Nr. UNINA-9910484217503321
Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Complexity of constraints : an overview of current research themes / / edited by Nadia Creignou, Phokion G. Kolaitis, and Heribert Vollmer
Complexity of constraints : an overview of current research themes / / edited by Nadia Creignou, Phokion G. Kolaitis, and Heribert Vollmer
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Descrizione fisica 1 online resource (VII, 321 p.)
Disciplina 004.33
Collana Theoretical Computer Science and General Issues
Soggetto topico Constraints (Artificial intelligence)
Constraint programming (Computer science)
ISBN 3-540-92800-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help? -- Basics of Galois Connections -- Recent Results on the Algebraic Approach to the CSP -- Dualities for Constraint Satisfaction Problems -- A Logical Approach to Constraint Satisfaction -- Uniform Constraint Satisfaction Problems and Database Theory -- Constraint Satisfaction Problems with Infinite Templates -- Partial Polymorphisms and Constraint Satisfaction Problems -- to the Maximum Solution Problem -- Present and Future of Practical SAT Solving.
Record Nr. UNISA-996465424103316
Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Constructing predictable real time systems / Wolfang A. Halang, Alexander D. Stoyenko
Constructing predictable real time systems / Wolfang A. Halang, Alexander D. Stoyenko
Autore Halang, Wolfgang A.
Pubbl/distr/stampa Boston ; Dordrecht ; London : Kluwer Academic, ©1991
Descrizione fisica 311 p. : ill. ; 24 cm
Disciplina 004.33
Altri autori (Persone) Stoyenko, Alexander D.
Collana The Kluwer international series in engineering and computer science
Soggetto non controllato Elaborazione dei dati in tempo reale
ISBN 0-7923-9202-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000512640403321
Halang, Wolfgang A.
Boston ; Dordrecht ; London : Kluwer Academic, ©1991
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui