國立虎尾科技大學 |

Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Systems Modelling and Management/ edited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser.
其他題名:	First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
其他作者:	Vogel-Heuser, Birgit.
面頁冊數:	XII, 197 p. 28 illus., 1 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Control Structures and Microprogramming. -
電子資源:	https://doi.org/10.1007/978-3-030-58167-1
ISBN:	9783030581671

Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
Systems Modelling and ManagementFirst International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /[electronic resource] :edited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser. - 1st ed. 2020. - XII, 197 p. 28 illus., 1 illus. in color.online resource. - Communications in Computer and Information Science,12621865-0929 ;. - Communications in Computer and Information Science,498.

Verification and Validation -- Applications -- Methods, Techniques and Tools.

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.

ISBN: 9783030581671

Standard No.: 10.1007/978-3-030-58167-1doiSubjects--Topical Terms:

669788
Control Structures and Microprogramming.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
LDR:02120nam a22004095i 4500 001 1030565
003 DE-He213
005 20201016074651.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030581671 $9 978-3-030-58167-1
024 7 $a 10.1007/978-3-030-58167-1 $2 doi
035 $a 978-3-030-58167-1
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
072 7 $a UL $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Systems Modelling and Management $h [electronic resource] : $b First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / $c edited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XII, 197 p. 28 illus., 1 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Communications in Computer and Information Science, $x 1865-0929 ; $v 1262
505 0 $a Verification and Validation -- Applications -- Methods, Techniques and Tools.
520 $a This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Professional Computing. $3 1115983
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 0 $a Microprogramming . $3 1257366
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer programming. $3 527822
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Computer software. $3 528062
650 0 $a Software engineering. $3 562952
700 1 $a Vogel-Heuser, Birgit. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1050520
700 1 $a Denil, Joachim. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327513
700 1 $a Babur, Önder. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327512
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030581664
776 0 8 $i Printed edition: $z 9783030581688
830 0 $a Communications in Computer and Information Science, $x 1865-0929 ; $v 498 $3 1253583
856 4 0 $u https://doi.org/10.1007/978-3-030-58167-1
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)