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

1

Cover is for reference only

Practicing software engineering in the 21st century /

Corporate Authors: IGI Global
Group Author: Peckham, Joan, 1948-; Lloyd, Scott J.
Published: IGI Global (701 E. Chocolate Ave., Hershey, PA, 17033, USA),
Publication Dates: 2003.

eBook

2

Cover is for reference only

Network and System Security : 11th International Conference, NSS 2017, Helsinki, Finland, August 21 23, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Yan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11 13, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Klasing, Ralf; Zeitoun, Marc
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

4

Cover is for reference only

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Geuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

5

Cover is for reference only

Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, proceedings /

Corporate Authors: CASC Workshop : 2001- Lille, France
Group Author: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M. Werner Markus; Vorozhtsov, E. V. Evgenii Vasilʹevich, 1946
Published: Springer,
Publication Dates: [2018]
Call Number: TP301.6-532/W926.5/2018

Book

6

Cover is for reference only

Cloud computing and services science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012, revised selected papers /

Corporate Authors: International Conference on Cloud Computing and Services Science Porto, Portugal
Group Author: Ivanov, Ivan Ivan I; Sinderen, Marten J. van, 1958; Leymann, Frank; Shan, Tony
Published: Springer,
Publication Dates: [2013]
Call Number: TP393.4-532/I613-7/2012

Book

7

Cover is for reference only

The Semantic Web ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21 25, 2017, Proceedings, Part I /

Corporate Authors: SpringerLink Online service
Group Author: d'Amato, Claudia; Fernandez, Miriam; Tamma, Valentina; Lecue, Freddy; Cudr -Mauroux, Philippe; Sequeda, Juan; Lange, Christoph; Heflin, Jeff
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

8

Cover is for reference only

2013 IEEE 21st International Requirements Engineering Conference : (RE 2013), Rio de Janeiro, Brazil, 15-19 July 2013.

Corporate Authors: IEEE International Requirements Engineering Conference Rio de Janeiro, Brazil; IEEE Computer Society
Published:
Call Number: TP311.5-532/I594/2013

Book

9

Cover is for reference only

Software and data technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011, revised selected papers /

Corporate Authors: ICSOFT (Conference) Seville, Spain); SpringerLink (Online service)
Group Author: Escalona, María José.; Cordeiro, José.; Shishkov, Boris
Published:

Electronic eBook

10

Cover is for reference only

The Semantic Web ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II /

Corporate Authors: SpringerLink Online service
Group Author: d'Amato, Claudia; Fernandez, Miriam; Tamma, Valentina; Lecue, Freddy; Cudr -Mauroux, Philippe; Sequeda, Juan; Lange, Christoph; Heflin, Jeff
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

11

Cover is for reference only

Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besan on, France, October 19-21, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Kouchnarenko, Olga; Khosravi, Ramtin
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

12

Cover is for reference only

Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Hammoudi, Slimane; Pires, Lu s Ferreira; Selic, Bran; Desfray, Philippe
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

13

Cover is for reference only

Algorithms and Architectures for Parallel Processing : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Ibrahim, Shadi; Choo, Kim-Kwang Raymond; Yan, Zheng; Pedrycz, Witold
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

14

Cover is for reference only

Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Shi, Xuanhua; An, Hong; Wang, Chao; Kandemir, Mahmut; Jin, Hai
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

15

Cover is for reference only

2013 26th IEEE Conference on Software Engineering Education and Training : (CSEE&T 2013) : San Francisco, California, USA, 19-21 May 2013.

Corporate Authors: Conference on Software Engineering Education & Training San Francisco, California; IEEE Computer Society; Institute of Electrical and Electronics Engineers
Published:
Call Number: TP311.5-4/S681/2013

Book

16

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

17

Cover is for reference only

Human-computer interaction : recognition and interaction technologies : Thematic Area, HCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings. Part II /

Corporate Authors: International Conference on Human-Computer Interaction Orlando, Fla
Group Author: Kurosu, Masaaki, 1948
Published: Springer,
Publication Dates: [2019]
Call Number: TP11-532/I61.1/2019/pt.2

Book

18

Cover is for reference only

Agents and Multi-Agent Systems for Health Care : 10th International Workshop, A2HC 2017, S o Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Montagna, Sara; Abreu, Pedro Henriques; Giroux, Sylvain; Schumacher, Michael Ignaz
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

19

Cover is for reference only

Industrie 4.0 und Echtzeit : Echtzeit 2014 : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) Boppard, 20. und 21. November 2014 /

Group Author: Halang, Wolfgang A; Unger, Herwig
Published: Springer,
Publication Dates: [2014]
Call Number: WG/TP3-532/I427/2014

Book

20

Cover is for reference only

Generative and transformational techniques in software engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, revised papers /

Corporate Authors: GTTSE (Summer School) Braga, Portugal); SpringerLink (Online service)
Group Author: Lämmel, Ralf.; Saraiva, João.; Visser, Joost.
Published:

Electronic eBook

Narrow Search