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

1

Cover is for reference only

Biologically-inspired collaborative computing：IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy

Corporate Authors: IFIP International Conference on Biologically Inspired Computing (2nd 2008 Milan, Italy); SpringerLink (Online service); IFIP World Computer Congress 2008 Milan, Italy) (Milan, Italy))
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c2008.

Book

2

Cover is for reference only

Distributed, parallel and biologically inspired systems：7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Corporate Authors: TC10 Working Conference on Distributed and Parallel Embedded Systems (7th 2010 Brisbane, Qld.); SpringerLink (Online service); IFIP World Computer Congress (2010 Brisbane, Qld.) (Brisbane, Qld.)); IFIP International Conference on Biologically Inspired Computing 2010 Brisbane, Qld.) (Brisbane, Qld.))
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c2010.

Book

3

Cover is for reference only

Formal approaches to agent-based systems：Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

Corporate Authors: FAABS 2004 (3rd 2004 Greenbelt, Md.)
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c2005.
Call Number: TP273-532/F723/2004

Book

4

Cover is for reference only

Formal approaches to agent-based systems：third international workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004 : revised papers

Corporate Authors: FAABS 2004 2004 Greenbelt, Md.) (Greenbelt, Md.)); LINK (Online service)
Group Author: (Michael Gerard), 1969-; Hinchey Michael G.
Published: Springer,
Publication Dates: 2004.

Book

5

Cover is for reference only

Innovative concepts for autonomic and agent-based systems：Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers

Corporate Authors: International Workshop on Radical Agent Concepts (2nd 2005 Greenbelt, Md.)
Group Author: (Michael Gerard), 1969-; Hinchey Michael G.
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.5-532/I618-4/2005

Book

6

Cover is for reference only

Innovative concepts for autonomic and agent-based systems：Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers

Corporate Authors: International Workshop on Radical Agent Concepts (2nd 2005 Greenbelt, Md.); SpringerLink (Online service)
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c2006.

Book

7

Cover is for reference only

Formal approaches to agent-based systems：second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

Corporate Authors: FAABS 2002 (2002 Greenbelt, Md.)
Group Author: (Michael Gerard), 1969-; Hinchey Michael G.
Published: Springer-Verlag,
Publication Dates: 2003.
Call Number: TP273-532/F723/2002

Book

8

Cover is for reference only

Conquering complexity

Corporate Authors: SpringerLink (Online service)
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Coyle Lorcan.
Published: Springer,
Publication Dates: c2012.

Book

9

Cover is for reference only

First IEEE International Conference Conference [sic] on Formal Engineering Methods：proceedings, Hiroshima, Japan, November 12-14, 1997

Corporate Authors: IEEE International Conference on Formal Engineering Methods (1st 1997 Hiroshima-shi, Japan); IEEE Computer Society; IEEE Computer Society. Technical Committee on Complexity in Computing.
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Liu Shaoying, 1960-
Published: IEEE Computer Society Press,
Publication Dates: c1997.
Call Number: TB-532/I594/1997

Book

10

Cover is for reference only

Agent technology from a formal perspective

Group Author: Rouff Chris, 1960-; Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: 2005.
Call Number: TP311.5/A265

Book

11

Cover is for reference only

Understanding formal methods

Main Authors: Monin Jean François, 1960-
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c2003.
Call Number: TP311.52/M744

Book

12

Cover is for reference only

Provably correct systems /

Group Author: Hinchey, Michael G. Michael Gerard, 1969; Bowen, J. P. Jonathan Peter, 1956; Olderog, E.-R
Published: Springer,
Publication Dates: [2017]
Call Number: TP311.55/P969

Book

13

Cover is for reference only

Innovative concepts for agent-based systems：first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers

Corporate Authors: International Workshop on Radical Agent Concepts (1st 2002 McLean, Va.)
Group Author: Rouff Chris, 1960-; Hinchey Michael G.; (Michael Gerard), 1969-; Truszkowski Walt, 1939-
Published: Springer,
Publication Dates: c2003.
Call Number: TP311.5-532/I618-2/2002

Book

14

Cover is for reference only

Formal methods and software engineering：9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (9th 2007 Boca Raton, Fla.); SpringerLink (Online service)
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Larrondo-Petrie María M.; Butler Michael, 1967-
Published: Springer,
Publication Dates: c2007.

Book

15

Cover is for reference only

Applications of formal methods

Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Bowen J. P.; (Jonathan Peter), 1956-
Published: Prentice Hall,
Publication Dates: 1995.
Call Number: TP301.2/A652/

Book

16

Cover is for reference only

Industrial-strength formal methods in practice

Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Bowen J. P.; (Jonathan Peter), 1956-
Published: Springer,
Publication Dates: c1999.
Call Number: TP311.5/I426

Book

17

Cover is for reference only

Seventh IEEE International Conference on Engineering of Complex Computer Systems：proceedings : Skövde, Sweden, June 11-13, 2001

Corporate Authors: IEEE International Conference on Engineering of Complex Computer Systems (7th 2001 Skövde, Sweden); IEEE Computer Society. Technical Committee on Complexity in Computing.
Group Author: Andler Sten F., 1947-; Hinchey Michael G.; (Michael Gerard), 1969-; Offut Jeff.
Published: IEEE Computer Society,
Publication Dates: c2001.
Call Number: TP3-532/I59/2001

Book

18

Cover is for reference only

High-integrity system specification and design

Group Author: Bowen J. P.; (Jonathan Peter), 1956-; Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c1999.
Call Number: TP302-53/H638/

Book

19

Cover is for reference only

Innovations in signal processing and embedded systems : proceedings of ICISPES 2021 /

Corporate Authors: International Conference on Innovations in Signal Processing and Embedded Systems Hyderabad, India)
Group Author: Mandal, Jyotsna Kumar, 1960- (Editor); Hinchey, Michael G. (Michael Gerard), 1969- (Editor); Rao, K. Sreenivas (Editor)
Published: Springer Nature Singapore,
Publication Dates: [2023]
Call Number: TN911.7-532/I613-6/2021

Book

Narrow Search