Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

フォーマット:

電子ブック

責任表示:

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Giuliana Franceschinis, Karsten Wolf

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

Franceschinis, Giuliana

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5606

書誌ID:

NB02220572

ISBN:

9783642024245 [3642024246]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-02424-5

所蔵情報

タイトルが類似している資料

詳細

主題:	Algorithm Analysis and Problem Complexity; Computer Science; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Theory of Computation
分類・件名:	LCSH : Software engineering FREE : Theory of Computation FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages FREE : Software Engineering FREE : Algorithm Analysis and Problem Complexity FREE : Discrete Mathematics in Computer Science LCSH : Logic design LCSH : Computer software LCSH : Computational complexity LCSH : Information theory LCSH : Computer science FREE : Computer Science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Transactions on Petri Nets and Other Models of Concurrency II : Special Issue on Concurrency in Process-Aware Information Systems Hutchison, David, Aalst, Wil M. P., Jensen, Kurt, Naor, Moni, Kanade, Takeo, Tygar, Doug, Weikum, Gerhard, Kittler, … Springer Berlin Heidelberg	7 電子ブック Quantum Interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009. Proceedings Hutchison, David, Kanade, Takeo, Rijsbergen, Keith, Weikum, Gerhard, Wahlster, Wolfgang, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg
2 電子ブック Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of … Hutchison, David, Naor, Moni, Steffen, Bernhard, Nierstrasz, Oscar, Weikum, Gerhard, Mitchell, John C., Mattern, … Springer Berlin Heidelberg	8 電子ブック Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg
3 電子ブック Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on … Hutchison, David, Mattern, Friedemann, Alfaro, Luca, Kanade, Takeo, Kleinberg, Jon M., Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg	9 電子ブック CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Hutchison, David, Weikum, Gerhard, Kanade, Takeo, Naor, Moni, Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon M., … Springer-Verlag
4 電子ブック Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, … Hutchison, David, Naor, Moni, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Steffen, Bernhard, Weikum, Gerhard, … Springer Berlin Heidelberg	10 電子ブック Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Hutchison, David, Tygar, Doug, Pandu Rangan, C., Jard, Claude, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., … Springer-Verlag
5 電子ブック Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Hutchison, David, Naor, Moni, Sudan, Madhu, Weikum, Gerhard, Vardi, Moshe Y., Mattern, Friedemann, Terzopoulos, Demetri, … Springer Berlin Heidelberg	11 電子ブック Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers Hutchison, David, Terzopoulos, Demetri, Sudan, Madhu, Vardi, Moshe Y., Kawano, Yasuhito, Tygar, Doug, Nierstrasz, Oscar, … Springer
6 電子ブック Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings Hutchison, David, Wahlster, Wolfgang, Kanade, Takeo, Weikum, Gerhard, Vardi, Moshe Y., Pandu Rangan, C., Ramanujam, R., … Springer Berlin Heidelberg	12 電子ブック Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Kittler, Josef, Mattern, Friedemann, Mitchell, John C., Naor, … Springer Berlin Heidelberg