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

1

Cover is for reference only

Housing shaped by labour : the architecture of scarcity in informal settlements /

Main Authors: Cavalcanti, Ana Rosa Chagas
Published: Jovis,
Publication Dates: [2018]
Call Number: TU241-177.7/C376

Book

2

Cover is for reference only

Theoretical aspects of computing--ICTAC 2010：7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings

Corporate Authors: ICTAC 2010 (2010 Natal, Brazil); SpringerLink (Online serveice)
Group Author: Cavalcanti Ana.
Published: Springer,
Publication Dates: 2010.

Book

3

Cover is for reference only

Formal methods and software engineering：11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Corporate Authors: International Conference on Formal Engineering Methods (11th 2009 Rio de Janeiro, Brazil); SpringerLink (Online service)
Group Author: (Karin K.); Cavalcanti Ana.; Breitman K. K.
Published: Springer,
Publication Dates: c2009.

Book

4

Cover is for reference only

Refinement techniques in software engineering：First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Corporate Authors: Pernambuco Summer School on Software Engineering (1st 2004 Recife, Brazil); SpringerLink (Online service)
Group Author: Woodcock Jim.; Cavalcanti Ana.; Sampaio Augusto.
Published: Springer,
Publication Dates: c2006.

Book

5

Cover is for reference only

Theoretical aspects of computing：ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

Corporate Authors: ICTAC 2006 (2006 Tunis, Tunisia); SpringerLink (Online service)
Group Author: Cavalcanti Ana.; Cerone Antonio.; Barkaoui Kamel.
Published: Springer,
Publication Dates: c2006.

Book

6

Cover is for reference only

Theoretical aspects of computing：ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

Corporate Authors: ICTAC 2006 (2006 Tunis, Tunisia
Group Author: Barkaoui Kamel; Cavalcanti Ana; Cerone Antonio
Published: Springer,
Publication Dates: c2006.
Call Number: TP30-532/T396/2006

Book

7

Cover is for reference only

Refinement techniques in software engineering：First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Corporate Authors: Pernambuco Summer School on Software Engineering (1st 2004 Recife, Brazil
Group Author: Sampaio Augusto; Woodcock Jim; Cavalcanti Ana
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.5-532/R332/2004

Book

8

Cover is for reference only

FM 2009：formal methods

Corporate Authors: International Symposium of Formal Methods Europe (16th 2009 Eindhove, The Netherlands); SpringerLink (Online service)
Group Author: Dams Dennis.; Cavalcanti Ana.
Published: Springer,
Publication Dates: 2009.

Book

9

Cover is for reference only

Software engineering for robotics /

Group Author: Cavalcanti, Ana; Dongol, Brijesh; Hierons, Robert M.; Timmis, Jonathan, 1970-; Woodcock, Jim.
Published: Springer,
Publication Dates: [2021]
Call Number: TP242/S681

Book

Narrow Search