کتاب های Stefano Boni
![Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/127261-n.jpg)
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009![Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/127262-n.jpg)
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Robin Adams (auth.), Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.), 2004![Analogue Gravity Phenomenology: Analogue Spacetimes and Horizons, from Theory to Experiment](http://cdn.ketabkoo.com/covers/1/131447-n.jpg)
Analogue Gravity Phenomenology: Analogue Spacetimes and Horizons, from Theory to Experiment
Ted Jacobson (auth.), Daniele Faccio, Francesco Belgiorno, Sergio Cacciatori, Vittorio Gorini, Stefano Liberati, Ugo Moschella (eds.), 2013![Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings](http://cdn.ketabkoo.com/covers/1/133599-n.jpg)
Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
Stefano Ceri, Marco Brambilla (auth.), Barbara Pernici (eds.), 2010![Journal on Data Semantics IX](http://cdn.ketabkoo.com/covers/1/133605-n.jpg)
Journal on Data Semantics IX
Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.), 2007![Journal on Data Semantics IX](http://cdn.ketabkoo.com/covers/1/133606-n.jpg)
Journal on Data Semantics IX
Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.), 2007![Journal on Data Semantics VIII](http://cdn.ketabkoo.com/covers/1/133607-n.jpg)
Journal on Data Semantics VIII
Julien Velcin, Jean-Gabriel Ganascia (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.), 2007![Journal on Data Semantics VIII](http://cdn.ketabkoo.com/covers/1/133608-n.jpg)
Journal on Data Semantics VIII
Julien Velcin, Jean-Gabriel Ganascia (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.), 2007![From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings](http://cdn.ketabkoo.com/covers/1/136757-n.jpg)
From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings
Carlos Herrera Pérez, David C. Moffat, Tom Ziemke (auth.), Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi (eds.), 2006![From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings](http://cdn.ketabkoo.com/covers/1/136758-n.jpg)
From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings
Carlos Herrera Pérez, David C. Moffat, Tom Ziemke (auth.), Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi (eds.), 2006![Data Management. Data, Data Everywhere: 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007. Proceedings](http://cdn.ketabkoo.com/covers/1/139497-n.jpg)
Data Management. Data, Data Everywhere: 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007. Proceedings
Stefano Ceri (auth.), Richard Cooper, Jessie Kennedy (eds.), 2007![Non Invasive Artificial Ventilation: How, When and Why](http://cdn.ketabkoo.com/covers/1/145374-n.jpg)
Non Invasive Artificial Ventilation: How, When and Why
Stefano Nava, Francesco Fanfulla (auth.), 2014![Non-invasive ventilation and weaning : principles and practice](http://cdn.ketabkoo.com/covers/1/145376-n.jpg)
Non-invasive ventilation and weaning : principles and practice
Schönhofer, Bernd; Nava, Stefano; Elliott, Mark W., 2010![A Journey through Manufacturing and Supply Chain Strategy Research: A Tribute to Professor Gianluca Spina](http://cdn.ketabkoo.com/covers/1/156062-n.jpg)
A Journey through Manufacturing and Supply Chain Strategy Research: A Tribute to Professor Gianluca Spina
Emilio Bartezzaghi, Raffaella Cagliano, Federico Caniato, Stefano Ronchi (eds.), 2016![Black Objects in Supergravity: Proceedings of the INFN-Laboratori Nazionali di Frascati School 2011](http://cdn.ketabkoo.com/covers/1/156359-n.jpg)
Black Objects in Supergravity: Proceedings of the INFN-Laboratori Nazionali di Frascati School 2011
Gabriel Lopes Cardoso, Bernard de Wit, Swapna Mahapatra (auth.), Stefano Bellucci (eds.), 2013![Complex Networks: Results of the 2009 International Workshop on Complex Networks (CompleNet 2009)](http://cdn.ketabkoo.com/covers/1/156578-n.jpg)
Complex Networks: Results of the 2009 International Workshop on Complex Networks (CompleNet 2009)
Giorgio Fagiolo, Javier Reyes, Stefano Schiavo (auth.), Santo Fortunato, Giuseppe Mangioni, Ronaldo Menezes, Vincenzo Nicosia (eds.), 2009![Atlas of PET/CT - A Quick Guide to Image Interpretation](http://cdn.ketabkoo.com/covers/1/161299-n.jpg)
Atlas of PET/CT - A Quick Guide to Image Interpretation
Stefano Fanti, Mohsen Farsad, Luigi Mansi (auth.), 2009![Atlas of SPECT-CT](http://cdn.ketabkoo.com/covers/1/161300-n.jpg)
Atlas of SPECT-CT
Stefano Fanti, Mohsen Farsad, Luigi Mansi (auth.), 2011![Chemical Modelling: Volume 11](http://cdn.ketabkoo.com/covers/1/161586-n.jpg)
Chemical Modelling: Volume 11
Michael Springborg, Jan-Ole Joswig, Jan-Ole Joswig, Agnieszka Beata Kuc, Welchy Cavalcanti, Stefano Leoni, Patricio Fuentealba, Timo Fleig, Martin Korth, Yi-Fan Han, 2014![Control of Interactive Robotic Interfaces: A Port-Hamiltonian Approach](http://cdn.ketabkoo.com/covers/1/161973-n.jpg)
Control of Interactive Robotic Interfaces: A Port-Hamiltonian Approach
Dr. Cristian Secchi, Prof. Dr. Cesare Fantuzzi, Prof. Dr. Stefano Stramigioli (auth.), 2007![Physical and Data-Link Security Techniques for Future Communication Systems](http://cdn.ketabkoo.com/covers/1/162829-n.jpg)
Physical and Data-Link Security Techniques for Future Communication Systems
Marco Baldi, Stefano Tomasin (eds.), 2016![Dynamical Systems and Small Divisors: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 13-20, 1998](http://cdn.ketabkoo.com/covers/1/163055-n.jpg)