Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

フォーマット:

電子ブック

責任表示:

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, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5533

書誌ID:

NB02220516

ISBN:

9783642017483 [3642017487]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Arithmetic and Logic Structures; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Theory of Computation
分類・件名:	LCSH : Computer science FREE : Arithmetic and Logic Structures LCSH : Logic, Symbolic and mathematical LCSH : Information theory FREE : Theory of Computation FREE : Logics and Meanings of Programs FREE : Computer Science FREE : Mathematical Logic and Foundations FREE : Mathematical Logic and Formal Languages LCSH : Logic design
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック Transactions on High-Performance Embedded Architectures and Compilers II Hutchison, David, Pandu Rangan, C., Stenstrom, Per, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, … Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック Transactions on Aspect-Oriented Software Development V Hutchison, David, Vardi, Moshe Y., Nierstrasz, Oscar, Naor, Moni, Mitchell, John C., Kleinberg, Jon M., Kittler, Josef, … Springer Berlin Heidelberg
3 電子ブック Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings Hutchison, David, Mitchell, John C., Kanade, Takeo, Martini, Simone, Kittler, Josef, Pandu Rangan, C., Mattern, … Springer-Verlag	9 電子ブック Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers Hutchison, David, Naor, Moni, Mitchell, John C., Luther, Wolfram, Kittler, Josef, Nierstrasz, Oscar, Hoffmann, Christoph … Springer-Verlag
4 電子ブック 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	10 電子ブック Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users?EGroup Meeting, Dublin, Ireland, September 7-10, 2008. … Hutchison, David, Lastovetsky, Alexey, Kleinberg, Jon M., Steffen, Bernhard, Weikum, Gerhard, Kittler, Josef, Mattern, … Springer-Verlag
5 電子ブック Computer Performance Evaluation and Benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Nierstrasz, Oscar, Kleinberg, Jon M., Mitchell, John C., Sudan, Madhu, Kittler, … Springer Berlin Heidelberg	11 電子ブック High Performance Embedded Architectures and Compilers : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings Hutchison, David, Mattern, Friedemann, Vardi, Moshe Y., Ungerer, Theo, Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg
6 電子ブック Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, … Hutchison, David, Monteiro, Jose, Svensson, Lars, Weikum, Gerhard, Tygar, Doug, Pandu Rangan, C., Naor, Moni, Mitchell, … Springer Berlin Heidelberg	12 電子ブック Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings Hutchison, David, Sudan, Madhu, Kanade, Takeo, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg