| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996397615803316 |
|
|
Titolo |
Den grooten vocabulaer [[electronic resource] ] : Engels ende Duyts: dat zijn ghemeyne spraken op alderhande manieren, oock brieven ende obligatien te schrijven. Met eenen dictionarium, ende de conjugatie. = The great vocabuler, in English and Dutch: that is to say common speaches of all sorts, also lettres and obligations to write. With a dictionarie and the conjugation |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Tot Rotterdam, : By Pieter van Waesberghe, op't Steygher, inde Swarte Klock, Anno 1644 |
|
|
|
|
|
|
|
|
|
Edizione |
[Desen lesten druck, op nieus obersien ende ghehetert van vele honderden grobe fouten.] |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
BerlemontNoël de <d. 1531.> |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
An anonymous vocabulary based on Noël de Berlemont's Flemish-French colloquies and dictionary of which the earliest surviving edition is Antwerp, 1536. |
Signatures: A-H. |
Reproduction of the original in the British Library. |
Attributed in Wing to Willem Groot. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910349277603321 |
|
|
Titolo |
Mobile Computing, Applications, and Services : 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings / / edited by Yuyu Yin, Ying Li, Honghao Gao, Jilin Zhang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 245 p. 102 illus., 76 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, , 1867-822X ; ; 290 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer engineering |
Computer networks |
Artificial intelligence |
Data protection |
Computer Engineering and Networks |
Computer Communication Networks |
Artificial Intelligence |
Data and Information Security |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
A Location and Intention Oriented Recommendation Method for Accuracy Enhancement over Big Data -- Noise Sensing Calibration under Different Phone Context -- Mobile App for Text-to-Image Synthesis -- Transformer Based Memory Network for Sentiment Analysis of Chinese Weibo Texts -- The Feasibility of Repurposing Recycled Cell Phones as Sensors in a Smart Campus Shuttle Monitoring System -- Edu-BUS Wi-Fi: An On-board Wi-Fi Educational System Using A Raspberry Pi Mobile Application with AI -- Fast map-matching based on Hidden Markov model -- VDIF-M: Multi-label classification of vehicle defect information collection based on seq2seq model -- Self-similarity Analysis and Application of Network Traffic -- Distributed Learning Automata based Data Dissemination in Networked Robotic Systems -- Comparison of User Trajectories with the Needleman- |
|
|
|
|
|
|
|
|
|
|
|
|
|
Wunsch Algorithm -- Progress in Interpretability Research of Convolutional Neural Networks Edge Computing -- Load-Aware Computation Offloading with Privacy Preservation for 5G Networks in Edge Computing -- A pricing incentive mechanism for mobile crowd sensing in edge computing -- An Active Defense Model in Edge Computing Based on Network Topology Mimetic Correlation -- Quality-Aware Voice Convergecast in Mobile Low Power Wireless Networks -- Would I Lie to You - Would You Notice? |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Mobile Computing, Applications, and Services, MobiCASE 2019, held in Hangzhou, China, in June 2019. The 17 full papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on mobile application with data analysis, mobile application with AI, edge computing, energy optimization and application. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483224103321 |
|
|
Titolo |
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXVI, 360 p. 114 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 8430 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Operating systems (Computers) |
Computer science |
Computer programming |
Software Engineering |
Compilers and Interpreters |
Operating Systems |
Computer Science Logic and Foundations of Programming |
Programming Techniques |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.- Application of formal methods to emerging technologies. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies. |
|
|
|
|
|
|
|
| |