| 000 | nam5i | |
| 001 | 2210080935019 | |
| 003 | DE-He213 | |
| 005 | 20250321105452 | |
| 007 | cr nn 008mamaa | |
| 008 | 240928s2025 sz | s |||| 0|eng d | |
| 020 | ▼a9783031664564▼9978-3-031-66456-4 | |
| 024 | ▼a10.1007/978-3-031-66456-4▼2doi | |
| 040 | ▼a221008 | |
| 050 | ▼aQA76.758 | |
| 072 | ▼aUMZ▼2bicssc | |
| 072 | ▼aCOM051230▼2bisacsh | |
| 072 | ▼aUMZ▼2thema | |
| 082 | ▼a005.1▼223 | |
| 245 | 00 | ▼aEngineering of Complex Computer Systems▼h[electronic resource] :▼b28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings /▼cedited by Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos. |
| 250 | ▼a1st ed. 2025. | |
| 264 | ▼aCham :▼bSpringer Nature Switzerland :▼bImprint: Springer,▼c2025. | |
| 300 | ▼aXIX, 422 p. 125 illus., 98 illus. in color.▼bonline resource. | |
| 336 | ▼atext▼btxt▼2rdacontent | |
| 337 | ▼acomputer▼bc▼2rdamedia | |
| 338 | ▼aonline resource▼bcr▼2rdacarrier | |
| 347 | ▼atext file▼bPDF▼2rda | |
| 490 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v14784 | |
| 520 | ▼aThis book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024. The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis. | |
| 650 | ▼aSoftware engineering. | |
| 650 | ▼aApplication software. | |
| 650 | ▼aSoftware Engineering. | |
| 650 | ▼aComputer and Information Systems Applications. | |
| 700 | ▼aBai, Guangdong.▼eeditor.▼0(orcid)0000-0002-6390-9890▼1https://orcid.org/0000-0002-6390-9890▼4edt▼4http://id.loc.gov/vocabulary/relators/edt | |
| 700 | ▼aIshikawa, Fuyuki.▼eeditor.▼0(orcid)0000-0001-7725-2618▼1https://orcid.org/0000-0001-7725-2618▼4edt▼4http://id.loc.gov/vocabulary/relators/edt | |
| 700 | ▼aAit-Ameur, Yamine.▼eeditor.▼0(orcid)0000-0003-4582-9712▼1https://orcid.org/0000-0003-4582-9712▼4edt▼4http://id.loc.gov/vocabulary/relators/edt | |
| 700 | ▼aPapadopoulos, George A.▼eeditor.▼0(orcid)0000-0001-9250-4916▼1https://orcid.org/0000-0001-9250-4916▼4edt▼4http://id.loc.gov/vocabulary/relators/edt | |
| 710 | ▼aSpringerLink (Online service) | |
| 773 | ▼tSpringer Nature eBook | |
| 776 | ▼iPrinted edition:▼z9783031664557 | |
| 776 | ▼iPrinted edition:▼z9783031664571 | |
| 830 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v14784 | |
| 856 | ▼uhttps://doi.org/10.1007/978-3-031-66456-4 | |
| 912 | ▼aZDB-2-SCS | |
| 912 | ▼aZDB-2-SXCS | |
| 912 | ▼aZDB-2-LNC | |
| 950 | ▼aComputer Science (SpringerNature-11645) | |
| 950 | ▼aComputer Science (R0) (SpringerNature-43710) |
Engineering of Complex Computer Systems[electronic resource] :28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings /edited by Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Material type
전자책
Title
Engineering of Complex Computer Systems[electronic resource] :28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings /edited by Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Author's Name
Bai Guangdong. editor Ishikawa Fuyuki. editor Ait-Ameur Yamine. editor Papadopoulos George A. editor
판 사항
1st ed. 2025.
Physical Description
XIX, 422 p 125 illus, 98 illus in color online resource.
Keyword
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024. The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis.
ISBN
관련 URL
Holdings Information
RReservation
MMissing Book Request
CClosed Stack Request
IInter-Campus Loan
CPriority Cataloging
PPrint
| Registration no. | Call no. | Location Mark | Location | Status | Due for return | Service |
|---|---|---|---|---|---|---|
| 전자자료는 소장사항이 존재하지 않습니다 | ||||||