國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Systems modelling and managementfirs...

(1998 :)

Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Systems modelling and managementedited by Onder Babur, Joachim Denil, Birgit Vogel-Heuser.
其他題名:	first International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
其他題名:	ICSMM 2020
其他作者:	Babur, Onder.
團體作者:
出版者:	Cham :Springer International Publishing :2020.
面頁冊數:	xii, 197 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	System analysis
電子資源:	https://doi.org/10.1007/978-3-030-58167-1
ISBN:	9783030581671$q(electronic bk.)

Systems modelling and managementfirst 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] :ICSMM 2020edited by Onder Babur, Joachim Denil, Birgit Vogel-Heuser. - Cham :Springer International Publishing :2020. - xii, 197 p. :ill. (some col.), digital ;24 cm. - Communications in computer and information science,12621865-0929 ;. - Communications in computer and information science ;229..

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$q(electronic bk.)

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

216714
System analysis

LC Class. No.: QA402

Dewey Class. No.: 004.21

Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
LDR:01822nmm a2200361 a 4500 001 588782
003 DE-He213
005 20201016074651.0
006 m d
007 cr nn 008maaau
008 210525s2020 sz s 0 eng d
020 $a 9783030581671$q(electronic bk.)
020 $a 9783030581664$q(paper)
024 7 $a 10.1007/978-3-030-58167-1 $2 doi
035 $a 978-3-030-58167-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA402
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 004.21 $2 23
090 $a QA402 $b .I17 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 Onder Babur, Joachim Denil, Birgit Vogel-Heuser.
246 3 $a ICSMM 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xii, 197 p. : $b ill. (some col.), digital ; $c 24 cm.
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 0 $a System analysis $3 216714
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Professional Computing. $3 763344
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Control Structures and Microprogramming. $3 274663
700 1 $a Babur, Onder. $3 880335
700 1 $a Denil, Joachim. $3 880336
700 1 $a Vogel-Heuser, Birgit. $3 880337
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 229. $3 547963
856 4 0 $u https://doi.org/10.1007/978-3-030-58167-1
950 $a Computer Science (SpringerNature-11645)