MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04846cam a2200637 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1427363015 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707095523.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr un|---aucuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240320s2024 sz a o 010 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDX |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
EMRUN |
| -- |
OCLCO |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
1427335577 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031552489 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3031552482 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783031552472 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3031552474 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-031-55248-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000076220391 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1427363015 |
| Canceled/invalid control number |
(OCoLC)1427335577 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.L63 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBCD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBC |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT018000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBCD |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBC |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.101/5113 |
| Edition number |
23/eng/20240320 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
From computational logic to computational biology : |
| Remainder of title |
essays dedicated to Alfredo Ferro to celebrate his scientific career / |
| Statement of responsibility, etc. |
Domenico Cantone, Alfredo Pulvirenti, editors. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2024. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xviii, 269 pages) : |
| Other physical details |
illustrations (some color). |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
14070 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Computational Logic -- The Early Development of SETL -- Onset and Today's Perspectives of Multilevel Syllogistic -- An Automatically Verified Prototype of a Landing Gear System -- A Sound and Complete Validity Test for Formulas in Extensional Multi-Level Syllogistic -- Computational Biology and Complex Systems -- Advances in Network-Based Drug Repositioning -- Integer Programming Based Algorithms for Overlapping Correlation Clustering -- Deep Learning Models for LC-MS Untargeted Metabolomics Data Analysis -- The Search for Cancer Drivers: Basic Principles and Computational Approaches -- Inferring a Gene Regulatory Network from Gene Expression Data. An Overview of Best Methods and a Reverse Engineering Approach -- Efficient Random Strategies for Taming Complex Socio-Economic Systems -- Critical Density for Network Reconstruction -- Motif Finding Algorithms: a Performance Comparison. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Alfredo Ferro's impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics at the University of Catania, he received a Ph.D. in Computer Science from NYU in 1981, working under the supervision of Jacob Theodor (Jack) Schwartz. He returned to the University of Catania where he established the Computer Science undergraduate program, served as the coordinator of the Ph.D. program in Computer Science, cofounded the Ph.D. program in Biology, Human Genetics, and Bioinformatics, and retired as a full professor in 2021. Alfredo's academic career as a computer scientist is characterized by two distinct research phases: Computational Logic until approximately 1995, followed by a notable focus on Data Mining and Bioinformatics. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes. He also taught and inspired many excellent scientists. A pioneering initiative was to establish summer schools for Ph.D. students in 1989, leading to the so-called Lipari School, now the J.T. Schwartz International School for Scientific Research, where Alfredo continues to serve as director. This prestigious series includes schools focused on Computer Science, Complex Systems, and Computational Biology, featuring world-class scientists as lecturers and mentors. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed March 20, 2024). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer logic. |
| 9 (RLIN) |
6177 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computational biology. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique informatique. |
| 9 (RLIN) |
19533 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| 9 (RLIN) |
14930 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Bio-informatique. |
| 9 (RLIN) |
18088 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ferro, Alfredo, |
| Relator term |
honouree. |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJwHj8mMmR8tY6TBKpg3Qq |
| 9 (RLIN) |
51617 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cantone, Domenico, |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJyxbddVhkHFBFyGfw74MP |
| 9 (RLIN) |
975963 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pulvirenti, Alfredo, |
| Relator term |
editor. |
| 9 (RLIN) |
975964 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Qualifying information |
Original |
| International Standard Book Number |
3031552474 |
| -- |
9783031552472 |
| Record control number |
(OCoLC)1419056398 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
14070. |
| International Standard Serial Number |
1611-3349 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-031-55248-9">https://link.springer.com/10.1007/978-3-031-55248-9</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH42112975 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL31222645 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL31214025 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
306290500 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |