Innovations for Requirement Analysis. From Stakeholders?ENeeds to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

フォーマット:

電子ブック

責任表示:

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, Barbara Paech, Craig Martell

言語:

英語

出版情報:

Berlin, Heidelberg : Springer, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5320

書誌ID:

NB02219652

ISBN:

9783540897781 [354089778X]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-89778-1

所蔵情報

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

詳細

主題:	Computer Science; Language Translation and Linguistics; Mathematical Logic and Formal Languages; Models and Principles; Programming Techniques; Simulation and Modeling; Software Engineering
分類・件名:	LCSH : Translators (Computer programs) FREE : Software Engineering LCSH : Computer simulation LCSH : Software engineering FREE : Computer Science FREE : Mathematical Logic and Formal Languages FREE : Models and Principles LCSH : Computer science FREE : Language Translation and Linguistics FREE : Programming Techniques FREE : Simulation and Modeling
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Requirements Engineering: Foundation for Software Quality : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 … Hutchison, David, Terzopoulos, Demetri, Kanade, Takeo, Heymans, Patrick, Glinz, Martin, Weikum, Gerhard, Vardi, Moshe … Springer Berlin Heidelberg	7 電子ブック Advances in Multilingual and Multimodal Information Retrieval : 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September … Hutchison, David, Steffen, Bernhard, Santos, Diana, Naor, Moni, Jijkoun, Valentin, Oard, Douglas W., Pandu Rangan, C., … Springer-Verlag
2 電子ブック 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	8 電子ブック Logic, Language, and Computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. … Hutchison, David, Sudan, Madhu, Kittler, Josef, Kanade, Takeo, Goebel, Randy, Gabelaia, David, Bosch, Peter, Lang, … Springer Berlin Heidelberg
3 電子ブック Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers Hutchison, David, Bruni, Roberto, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, … Springer Berlin Heidelberg	9 電子ブック Sanskrit Computational Linguistics : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 … Hutchison, David, Kittler, Josef, Kanade, Takeo, Goebel, Randy, Pandu Rangan, C., Wahlster, Wolfgang, Vardi, Moshe Y., … Springer Berlin Heidelberg
4 電子ブック Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. … Hutchison, David, Steffen, Bernhard, Maibaum, Tom, Terzopoulos, Demetri, Tygar, Doug, Sudan, Madhu, Pandu Rangan, C., … Springer	10 電子ブック Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings Hutchison, David, Kittler, Josef, Kleinberg, Jon M., Steffen, Bernhard, Mattern, Friedemann, Kanade, Takeo, Sudan, … Springer-Verlag
5 電子ブック Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers Hutchison, David, Steffen, Bernhard, Petersen, Paul, Kittler, Josef, Pandu Rangan, C., Kleinberg, Jon M., Garzaran, … Springer-Verlag	11 電子ブック Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Hutchison, David, Kleinberg, Jon M., Kanade, Takeo, Shankar, Natarajan, Kittler, Josef, Steffen, Bernhard, Terzopoulos, … Springer-Verlag
6 電子ブック Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures Hutchison, David, Plasmeijer, Rinus, Sudan, Madhu, Mattern, Friedemann, Horvath, Zoltan, Soos, Anna, Kanade, Takeo, … Springer-Verlag	12 電子ブック Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers Hutchison, David, Weikum, Gerhard, Kittler, Josef, Rose, Kim, Vardi, Moshe Y., Kleinberg, Jon M., Tygar, Doug, … Springer