| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009258900403321 |
|
|
Titolo |
Learning and Intelligent Optimization [Risorsa elettronica] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2008 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 5313 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA990002685160203316 |
|
|
Autore |
HASPELMATH, Martin |
|
|
Titolo |
From space to time : temporal adverbials in the worlds languages / Martin Haspelmath |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
München [etc.] : Lincom Europa, 1997 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lincom studies in theoretical linguistics ; 3 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910734350303321 |
|
|
Titolo |
Prosthetic Joint Infection : The Challenges of Prevention, Diagnosis and Treatment and Opportunities for Future Research / / edited by Natividad Benito, Óscar Murillo, Jaime Lora-Tamayo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2023 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (184 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Joints - Infections |
Artificial joints |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This reprint brings together a group of articles that were published as a Special Issue on prosthetic joint infection in the journal Antibiotics. They cover various aspects of risk factors and prevention, medical and surgical treatment, and outcomes of prosthetic joint infections. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910349395603321 |
|
|
Titolo |
Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / / edited by Jules Desharnais, Walter Guttmann, Stef Joosten |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 385 p. 30 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11194 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Artificial intelligence |
Computer science |
Compilers (Computer programs) |
Computer programming |
Numerical analysis |
Formal Languages and Automata Theory |
Artificial Intelligence |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
Programming Techniques |
Numerical Analysis |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in |
|
|
|
|
|
|
|
|
|
|
October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools. |
|
|
|
|
|
| |