Del 240
Leveraging Applications of Formal Methods, Verification, and Validation
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Häftad, Engelska, 2016
Del 683 i serien Communications in Computer and Information Science
572 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Leveraging Applications of Formal Methods, Verification, and Validation
Anna-Lena Lamprecht
E-bok
2016739 kr
Del 500
Hoppa över listan
Mer från samma serie
Del 909
New Trends in Databases and Information Systems
András Benczúr, Bernhard Thalheim, Tomáš Horváth, Silvia Chiusano, Tania Cerquitelli, Csaba Sidló, Peter Z. Revesz
Häftad, 2018
571 kr
Del 1862
ICT Education
Henri Emil Van Rensburg, Dirk Petrus Snyman, Lynette Drevin, Günther Richard Drevin
Häftad, 2024
700 kr
Del 989
Information Literacy in Everyday Life
Serap Kurbanoğlu, Sonja Špiranec, Yurdagül Ünal, Joumana Boustany, Maija Leena Huotari, Esther Grassian, Diane Mizrachi, Loriene Roy
Häftad, 2019
1 071 kr
AI Agent for Information Retrieval: Generating and Ranking
Qingsong Wen, Yongfeng Zhang, Zhiwei Liu, Julian McAuley, Hua Wei, Linsey Pang, Wei Liu, Philip S. Yu
Häftad, 2026
853 kr
Information Literacy in an AI-Driven World
Serap Kurbanoğlu, Joumana Boustany, Sonja Špiranec, Yurdagül Ünal, İpek Şencan, Denis Kos, Esther Grassian, Loriene Roy, Diane Mizrachi
Häftad, 2026
964 kr
Del 1524
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
Häftad, 2022
1 603 kr
Del 927
Del 915
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano
Häftad, 2018
539 kr
Del 916
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Juan G. Villegas, Juan Rafael Orozco-Arroyave, Pablo Andres Maya Duque
Häftad, 2018
554 kr
Del 934
Hoppa över listan
Du kanske också är intresserad av
Del 683
Internet of Things. Advances in Information and Communication Technology
Deepak Puthal, Saraju Mohanty, Baek-Young Choi
Inbunden, 2023
1 360 kr
Del 683
Del 683
Construction Applications of Virtual Reality, Volume I
Ehsan Noroozinejad Farsangi, Aso Haji Rasouli, Nashwan Dawood, Greg Morrison
Inbunden, 2025
3 164 kr
Del 683
Del 683
Del 683
Agricultural Changes at Euphrates and Steppe Sites in the Mid-8th to the 6th Millennium B.C.
Dominique de Moulins
Häftad, 1997
386 kr
Del 683
Mobile and Ubiquitous Systems: Computing, Networking and Services
Lei Zhang, Kim-Kwang Raymond Choo
Häftad, 2026
1 135 kr
Del 683
Del 683