소장자료
| LDR | 03503nam a22006135i 4500 | ||
| 001 | 0100561581▲ | ||
| 003 | DE-He213▲ | ||
| 005 | 20220519152256▲ | ||
| 007 | cr nn 008mamaa▲ | ||
| 008 | 201016s2020 gw | s |||| 0|eng d▲ | ||
| 020 | ▼a9783030581671▼9978-3-030-58167-1▲ | ||
| 024 | 7 | ▼a10.1007/978-3-030-58167-1▼2doi▲ | |
| 050 | 4 | ▼aQA76.758▲ | |
| 072 | 7 | ▼aUMZ▼2bicssc▲ | |
| 072 | 7 | ▼aCOM051230▼2bisacsh▲ | |
| 072 | 7 | ▼aUMZ▼2thema▲ | |
| 072 | 7 | ▼aUL▼2thema▲ | |
| 082 | 0 | 4 | ▼a005.1▼223▲ |
| 245 | 1 | 0 | ▼aSystems Modelling and Management▼h[electronic resource] :▼bFirst International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /▼cedited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser.▲ |
| 250 | ▼a1st ed. 2020.▲ | ||
| 264 | 1 | ▼aCham :▼bSpringer International Publishing :▼bImprint: Springer,▼c2020.▲ | |
| 300 | ▼aXII, 197 p. 28 illus., 1 illus. in color.▼bonline resource.▲ | ||
| 336 | ▼atext▼btxt▼2rdacontent▲ | ||
| 337 | ▼acomputer▼bc▼2rdamedia▲ | ||
| 338 | ▼aonline resource▼bcr▼2rdacarrier▲ | ||
| 347 | ▼atext file▼bPDF▼2rda▲ | ||
| 490 | 1 | ▼aCommunications in Computer and Information Science,▼x1865-0929 ;▼v1262▲ | |
| 505 | 0 | ▼aVerification and Validation -- Applications -- Methods, Techniques and Tools.▲ | |
| 520 | ▼aThis 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 | ▼aSoftware engineering.▲ | |
| 650 | 0 | ▼aComputer software.▲ | |
| 650 | 0 | ▼aArchitecture, Computer.▲ | |
| 650 | 0 | ▼aComputer programming.▲ | |
| 650 | 0 | ▼aArtificial intelligence.▲ | |
| 650 | 0 | ▼aMicroprogramming .▲ | |
| 650 | 1 | 4 | ▼aSoftware Engineering/Programming and Operating Systems.▼0https://scigraph.springernature.com/ontologies/product-market-codes/I14002▲ |
| 650 | 2 | 4 | ▼aProfessional Computing.▼0https://scigraph.springernature.com/ontologies/product-market-codes/I29000▲ |
| 650 | 2 | 4 | ▼aComputer System Implementation.▼0https://scigraph.springernature.com/ontologies/product-market-codes/I13057▲ |
| 650 | 2 | 4 | ▼aProgramming Techniques.▼0https://scigraph.springernature.com/ontologies/product-market-codes/I14010▲ |
| 650 | 2 | 4 | ▼aArtificial Intelligence.▼0https://scigraph.springernature.com/ontologies/product-market-codes/I21000▲ |
| 650 | 2 | 4 | ▼aControl Structures and Microprogramming.▼0https://scigraph.springernature.com/ontologies/product-market-codes/I12018▲ |
| 700 | 1 | ▼aBabur, Önder.▼eeditor.▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aDenil, Joachim.▼eeditor.▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aVogel-Heuser, Birgit.▼eeditor.▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 710 | 2 | ▼aSpringerLink (Online service)▲ | |
| 773 | 0 | ▼tSpringer Nature eBook▲ | |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783030581664▲ |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783030581688▲ |
| 830 | 0 | ▼aCommunications in Computer and Information Science,▼x1865-0929 ;▼v1262▲ | |
| 856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-030-58167-1▲ |
| 912 | ▼aZDB-2-SCS▲ | ||
| 912 | ▼aZDB-2-SXCS▲ | ||
| 950 | ▼aComputer Science (SpringerNature-11645)▲ | ||
| 950 | ▼aComputer Science (R0) (SpringerNature-43710)▲ |
Systems Modelling and Management : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings
자료유형
국외eBook
서명/책임사항
Systems Modelling and Management [electronic resource] : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / 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 , 1865-0929 ; 1262
Communications in Computer and Information Science , 1865-0929 ; 1262
Communications in Computer and Information Science , 1865-0929 ; 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.
주제
Software engineering.
Computer software.
Architecture, Computer.
Computer programming.
Artificial intelligence.
Microprogramming .
Software Engineering/Programming and Operating Systems.
Professional Computing.
Computer System Implementation.
Programming Techniques.
Artificial Intelligence.
Control Structures and Microprogramming.
Computer software.
Architecture, Computer.
Computer programming.
Artificial intelligence.
Microprogramming .
Software Engineering/Programming and Operating Systems.
Professional Computing.
Computer System Implementation.
Programming Techniques.
Artificial Intelligence.
Control Structures and Microprogramming.
ISBN
9783030581671
관련 인기대출 도서