馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Formal ontology in information systems : proceedings of the twelfth international conference (FOIS 2021) /

Corporate Authors: FOIS (Conference) Bolzano, Trentino-Alto Adige, Italy)
Group Author: Neuhaus, Fabian, 1975-; Brodaric, Boyan
Published: IOS Press,
Publication Dates: [2022]
Call Number: TP182-532/F723/2021

Book

2

Cover is for reference only

Learning and reasoning in hybrid structured spaces /

Main Authors: Morettin, Paolo
Published: IOS Press,
Publication Dates: [2022]
Call Number: TP181/M845

Book

3

Cover is for reference only

Abstraction in ontology-based data management /

Main Authors: Cima, Gianluca
Published: IOS Press,
Publication Dates: [2022]
Call Number: G254.92/C573

Book

4

Cover is for reference only

Design studies and intelligence engineering /

Corporate Authors: International Symposium on Design Studies and Intelligence Engineering Hangzhou, China)
Group Author: Balas, Valentina Emilia.; Wu, Qun; Shi, Fuqian; Jain, L. C.
Published: IOS Press,
Publication Dates: [2022]
Call Number: TB21-532/I617-1/2021

Book

5

Cover is for reference only

Proceedings of CECNet 2021 : the 11th International Conference on Electronics, Communications and Networks (CECNet), November 18-21, 2021 /

Corporate Authors: International Conference on Electronics, Communications and Networks Online)
Group Author: Tallón-Ballesteros, Antonio J.
Published: IOS Press,
Publication Dates: [2022]
Call Number: TN929.5-532/I613-8/2021

Book

6

Cover is for reference only

New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) /

Corporate Authors: International Conference on New Trends in Software Methodologies, Tools and Techniques Cancun, Mexico)
Group Author: Fujita, Hamido; Perez-Meana, Hector, 1954-
Published: IOS Press,
Publication Dates: [2021]
Call Number: TP311.5-532/N532/2021

Book

7

Cover is for reference only

Information modelling and knowledge bases XXXII /

Corporate Authors: International Conference on Information Modelling and Knowledge Bases Online)
Group Author: Tropmann-Frick, Marina; Thalheim, B. (Bernhard), 1952-; Jaakkola, Hannu; Kiyoki, Yasushi; Yoshida, Naofumi, 1972-
Published: IOS Press,
Publication Dates: [2021]
Call Number: TP182-532/I613-4/2020

Book

8

Cover is for reference only

Handbook of satisfiability /

Group Author: Biere, Armin; Heule, Marijn, 1979-; Maaren, Hans van; Walsh, Toby.
Published: IOS Press,
Publication Dates: [2021]
Call Number: O141-532/H236/[2002]/2nd ed.

Book

9

Cover is for reference only

Innovative trends in personalized software engineering and information systems : the case of intelligent and adaptive e-learning systems /

Main Authors: Troussas, Christos
Group Author: Sgouropoulou, Cleo
Published: IOS Press,
Publication Dates: [2020]
Call Number: G434/T861-1

Book

10

Cover is for reference only

Modern management based on big data I : proceedings of MMBD 2020 /

Corporate Authors: MMBD (Conference) Online)
Group Author: Tallo?n-Ballesteros, Antonio J.
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP311.13-532/M689-1/2020

Book

11

Cover is for reference only

Formal ontology in information systems : proceedings of the 11th International Conference (FOIS 2020) /

Corporate Authors: FOIS (Conference) cancelled)
Group Author: Brodaric, Boyan; Neuhaus, Fabian
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP182-532/F723/2020

Book

12

Cover is for reference only

Knowledge innovation through intelligent software methodologies, tools and techniques : proceedings of the 19th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT-20) /

Corporate Authors: International Conference on Intelligent Software Methodologies, Tools and Techniques Kitakyushu, Japan)
Group Author: Fujita, Hamido; Selamat, Ali; O?matu, S., 1946-
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP311.5-532/N532/2020

Book

13

Cover is for reference only

Human language technologies : the Baltic perspective : proceedings of the ninth International Conference Baltic HLT 2020 /

Corporate Authors: Baltic Conference on Human Language Technologies Kaunas, Lithuania)
Group Author: Utka, Andrius; Vaic?enoniene?, Jurgita; Kovalevskaite?, Jolanta, 1979-; Kalinauskaite?, Danguole?
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP312-532/B197/2020

Book

14

Cover is for reference only

Fuzzy systems and data mining VI : proceedings of FSDM 2020 /

Corporate Authors: International Conference on Fuzzy Systems and Data Mining Online)
Group Author: Tallo?n-Ballesteros, Antonio J.
Published: IOS Press,
Publication Dates: [2020]
Call Number: O159-532/F996-1/2020

Book

15

Cover is for reference only

Information technology and intelligent transportation systems /

Group Author: Jain, L. C.; Zhao, Xiangmo; Balas, Valentina Emilia.; Shi, Fuqian
Published: IOS Press,
Publication Dates: [2020]
Call Number: U495/I437

Book

16

Cover is for reference only

Information modelling and knowledge bases XXXI /

Corporate Authors: International Conference on Information Modelling and Knowledge Bases Lappeenranta, Finland)
Group Author: Dahanayake, Ajantha, 1954-
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP182-532/I613-4/2019

Book

17

Cover is for reference only

Culturally sustainable social robotics : Proceedings of Robophilosophy 2020, August 18-21, 2020, Aarhus University and online /

Corporate Authors: Robophilosophy (Conference) Aarhus, Denmark ; Online)
Group Author: Nørskov, Marco; Seibt, Johanna, 1959-; Quick, O. S.
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP242-532/R666-4/2020

Book

18

Cover is for reference only

ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings /

Corporate Authors: European Conference on Artificial Intelligence Santiago De Compostela, Spain); European Association for Artificial Intelligence; Asociacio?n Espan?ola de Inteligencia Artificial; Universidade de Santiago de Compostela. Research Centre on Intelligent Technologies; Conference on Prestigious Applications of Artificial Intelligence Santiago De Compostela, Spain)
Group Author: De Giacomo, Giuseppe
Published: IOS Press,
Publication Dates: [2020]
Call Number: TP18-532/E894/2020

Book

19

Cover is for reference only

Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB & IS 2018 /

Corporate Authors: International Baltic Conference on Databases and Information Systems Trakai, Lithuania
Group Author: Lupeikiene, Audrone; Vasilecas, Olegas; Dzemyda, Gintautas
Published: IOS Press,
Publication Dates: [2019]
Call Number: TP311.13-532/I612/2018

Book

20

Cover is for reference only

Advancing technology industrialization through intelligent software methodologies, tools and techniques : proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19) /

Corporate Authors: International Conference on Intelligent Software Methodologies, Tools and Techniques Kuching, Malaysia)
Group Author: Fujita, Hamido; Selamat, Ali
Published: IOS Press,
Publication Dates: [2019]
Call Number: TP311.5-532/N532/2019

Book

Narrow Search