大葉大學圖書館 |

Leveraging applications of formal methods, verification, and validation[electronic resource] :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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.1
書名/作者:	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 // edited by Anna-Lena Lamprecht.
其他題名:	ISoLA 2014
其他作者:	Lamprecht, Anna-Lena.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	vii, 157 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Robots - Congresses. - Programming
標題:	Machine learning
標題:	Computer software - Congresses. - Verification
標題:	Formal methods (Computer science)
標題:	Computer science.
標題:	Software engineering.
標題:	Computers.
標題:	Computer logic.
標題:	Logic, Symbolic and mathematical.
標題:	Database management.
標題:	Computer simulation.
標題:	Logics and Meanings of Programs
標題:	Mathematical Logic and Formal Languages
標題:	Simulation and Modeling
標題:	Computation by Abstract Devices
標題:	Computer Science.
標題:	Software Engineering.
標題:	Logics and Meanings of Programs.
標題:	Mathematical Logic and Formal Languages.
標題:	Database Management.
標題:	Simulation and Modeling.
標題:	Computation by Abstract Devices.
ISBN:	9783319516417
ISBN:	9783319516400
內容註:	Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium.
摘要、提要註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-51641-7

Leveraging applications of formal methods, verification, and validation[electronic resource] :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 /
Leveraging applications of formal methods, verification, and validation6th 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 /[electronic resource] :ISoLA 2014edited by Anna-Lena Lamprecht. - Cham :Springer International Publishing :2016. - vii, 157 p. :ill., digital ;24 cm. - Communications in computer and information science,6831865-0929 ;. - Communications in computer and information science ;247..

Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium.

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.

ISBN: 9783319516417

Standard No.: 10.1007/978-3-319-51641-7doiSubjects--Topical Terms:

510760
Robots
--Programming--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Leveraging applications of formal methods, verification, and validation[electronic resource] :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 /
LDR:02234nam a2200349 a 4500 001 476985
003 DE-He213
005 20161221084508.0
006 m d
007 cr nn 008maaau
008 181208s2016 gw s 0 eng d
020 $a 9783319516417 $q (electronic bk.)
020 $a 9783319516400 $q (paper)
024 7 $a 10.1007/978-3-319-51641-7 $2 doi
035 $a 978-3-319-51641-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .I85 2014
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Leveraging applications of formal methods, verification, and validation $h [electronic resource] : $b 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 / $c edited by Anna-Lena Lamprecht.
246 3 $a ISoLA 2014
246 3 $a ISoLA 2012
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a vii, 157 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929 ; $v 683
505 0 $a Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium.
520 $a 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.
650 0 $a Robots $x Programming $v Congresses. $3 510760
650 0 $a Machine learning $3 135653
650 0 $a Computer software $x Verification $v Congresses. $3 466241
650 0 $a Formal methods (Computer science) $3 412292
650 0 $a Computer science. $3 182962
650 0 $a Software engineering. $3 217367
650 0 $a Computers. $3 182571
650 0 $a Computer logic. $3 195634
650 0 $a Logic, Symbolic and mathematical. $3 381130
650 0 $a Database management. $3 174575
650 0 $a Computer simulation. $3 173669
650 0 $a Logics and Meanings of Programs $3 688137
650 0 $a Mathematical Logic and Formal Languages $3 688138
650 0 $a Simulation and Modeling $3 688139
650 0 $a Computation by Abstract Devices $3 688140
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Software Engineering. $3 464601
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Database Management. $3 463966
650 2 4 $a Simulation and Modeling. $3 463796
650 2 4 $a Computation by Abstract Devices. $3 463641
700 1 $a Lamprecht, Anna-Lena. $3 659674
710 2 $a SpringerLink (Online service) $3 463450
711 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science ; $v 247. $3 466999
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-51641-7
950 $a Computer Science (Springer-11645)

	個人資料
	儲存檢索策略
	薦購
	預約/借閱記錄查詢
	訊息
	評論
	個人書籤

	簡單查詢
	進階查詢

	指定參考書
	新書通報
	新書書單RSS