東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Systems modelling and management = f...

ICSMM (Conference) (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Systems modelling and management/ edited by Onder Babur, Joachim Denil, Birgit Vogel-Heuser.
Reminder of title:	first International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
remainder title:	ICSMM 2020
other author:	Babur, Onder.
corporate name:	ICSMM (Conference)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xii, 197 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	Verification and Validation -- Applications -- Methods, Techniques and Tools.
Contained By:	Springer Nature eBook
Subject:	System analysis - Congresses. -
Online resource:	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] :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 ;1262..

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:

535174
System analysis
--Congresses.

LC Class. No.: QA402

Dewey Class. No.: 004.21

Systems modelling and management = first International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
LDR:01822nmm a2200361 a 4500 001 2256400
003 DE-He213
005 20201016074651.0
006 m d
007 cr nn 008maaau
008 220420s2020 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 $a ICSMM (Conference) $n (1st : $d 2020 : $c Bergen, Norway) $3 3526614
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 $x Congresses. $3 535174
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Professional Computing. $3 3201325
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Control Structures and Microprogramming. $3 895886
700 1 $a Babur, Onder. $3 3526615
700 1 $a Denil, Joachim. $3 3526616
700 1 $a Vogel-Heuser, Birgit. $3 3526617
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 1262. $3 3526618
856 4 0 $u https://doi.org/10.1007/978-3-030-58167-1
950 $a Computer Science (SpringerNature-11645)