大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 concurrency 的图书(共38本)

Transactions on Petri Nets and Other Models of Concurrency I [electronic resource]

0
索取号：
作者：Jensen、 Kurt.、Aalst、 Wil M. P.、Billington、 Jonathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

0
索取号：
作者：Breugel、 Franck.、Chechik、 Marsha.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

CONCUR 2007-Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

0
索取号：
作者：Caires、 Lu铆s.、Vasconcelos、 Vasco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Petri Nets and Other Models of Concurrency-ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

0
索取号：
作者：Kleijn、 Jetty.、Yakovlev、 Alex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

0
索取号：
作者：Degano、 Pierpaolo.、Nicola、 Rocco.、Meseguer、 Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

CONCUR 2006-Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

0
索取号：
作者：Baier、 Christel.、Hermanns、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

0
索取号：
作者：Donatelli、 Susanna.、Thiagarajan、 P. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

CONCUR 2005-Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

0
索取号：
作者：Abadi、 Mart铆n.、Alfaro、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

0
索取号：
作者：Bowman、 Howard.、Gomez、 Rodolfo.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

The art of concurrency = 并行开发艺术

0
索取号：TP312.52/E20111
作者：Breshears、 Clay.、
出版社：南京 : 东南大学出版社 ; Beijing : O'Reilly, 2009.

Concurrency verification : introductionto compositional and noncompositional methods

0
索取号：TP302.1/E20021
作者：
出版社：Cambridge, England ; New York : Cambridge University Press, 2001.

The theory of database concurrency control

0
索取号：TP392/E9020
作者：Papadimitriou、 Christos H.、
出版社：U.S.A. Rockville, Md. : Computer Science Press, 1986.

Concurrency and programming languages

0
索取号：TP316/E9024
作者：Harland、 D. M. (David Michael)、 1955-、
出版社：Chichester, West Sussex England : E. Horwood ; New York : John Wuley & Sons Halsted Press, 1986.

Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

0
索取号：TP312/E999
作者：
出版社：Singapore ; River Edge, N.J. : World Scientific, 1992.

Current trends in concurrency : overviews and tutorials

0
索取号：TP31/E908
作者：
出版社：Berlin ; New York : Springer-Verlag, 1986.

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

0
索取号：TP30/E901
作者：Zwiers、 J. (Job)、 1956-、
出版社：Berlin ; New York : Springer-Verlag, 1989.