Jump to main content

yr 〜
yr

Search results 18

Algorithmics : the spirit of computing : hbk. 3rd ed

Algorithmics : the spirit of computing : hbk. 3rd ed
Paper図書
David Harel with Yishai FeldmanSpringer2012
Other Libraries in Japan
  • Author HeadingHarel, David Feldman, Yishai A.

Obedience, struggle & revolt : lectures on theatre : pbk

Obedience, struggle & revolt : lectures on theatre : pbk
Paper図書
David HareFaber and Faber2007, c2005
Other Libraries in Japan
  • Author HeadingHarel, David

Obedience, struggle & revolt : lectures on theatre : hbk

Obedience, struggle & revolt : lectures on theatre : hbk
Paper図書
David HareFaber and Faber2005
Other Libraries in Japan
  • Author HeadingHarel, David

Computers Ltd. : what they really can't do : pbk

Computers Ltd. : what they really can't do : pbk
Paper図書
David HarelOxford University Press2003, c2000
Other Libraries in Japan
  • Author HeadingHarel, David

Algorithmics : the spirit of computing 3rd ed

Algorithmics : the spirit of computing 3rd ed
Paper図書
David Harel with Yishai FeldmanAddison Wesleyc2004
Other Libraries in Japan
  • Author HeadingHarel, David Feldman, Yishai A.

Come, let's play : scenario-based programming using LSCs and the play-engine

Come, let's play : scenario-based programming using LSCs and the play-engine
Paper図書
David Harel, Rami MarellySpringer2003
Other Libraries in Japan
  • Author HeadingHarel, David Marelly, R.

Computers Ltd. : what they really can't do

Computers Ltd. : what they really can't do
Paper図書
David HarelOxford University Press2000
Other Libraries in Japan
  • Author HeadingHarel, David

Dynamic logic

Dynamic logic
Paper図書
David Harel, Dexter Kozen, Jerzy TiurynMIT Press2000
Other Libraries in Japan
  • Author HeadingHarel, David Kozen, Dexter Tiuryn, Jerzy

Modeling reactive systems with statecharts : the statemate approach

Modeling reactive systems with statecharts : the statemate approach
Paper図書
David Harel and Michal PolitiMcGraw-Hillc1998
Other Libraries in Japan
  • Author HeadingHarel, David Politi, Michal

Computers Ltd. : what they really can't do / David Harel.

Computers Ltd. : what they really can't do / David Harel.
Paper図書
Oxford University Press2000.<M159-B2>
National Diet Library
  • Author HeadingHarel, David, 1950-

Logica of Programs Axiomatics and Desciptive Power

Logica of Programs Axiomatics and Desciptive Power
Microform博士論文
Harel, David.Massachusetts Institute of Technology1978.<LS-DI-MIT-78-114>
National Diet Library
  • Author HeadingHarel, David.

Algorithmics : the spirit of computing 2nd ed

Algorithmics : the spirit of computing 2nd ed
Paper図書
David Harel with the technical assistance of Roni Rosner on the exercises and solutionsAddison-Wesleyc1992
Other Libraries in Japan
  • Author HeadingHarel, David Rosner, Roni

The science of computing : exploring the nature and power of algorithms

The science of computing : exploring the nature and power of algorithms
Paper図書
David HarelAddison-Wesley Pub. Co.c1989
Other Libraries in Japan
  • Author HeadingHarel, David

Algorithmics : the spirit of computing : pbk

Algorithmics : the spirit of computing : pbk
Paper図書
David HarelAddison-Wesleyc1987
Other Libraries in Japan
  • Author HeadingHarel, David

First-order dynamic logic : gw : us

First-order dynamic logic : gw : us
Paper図書
David HarelSpringer-Verlag1979
Other Libraries in Japan
  • Author HeadingHarel, David

Logics of programs : axiomatics and descriptive power

Logics of programs : axiomatics and descriptive power
Paper図書
by David HarelLaboratory for Computer Science, Massachusetts Institute of Technology1978
Other Libraries in Japan
  • Author HeadingHarel, David

First-order dynamic logic / David Harel. (Lecture notes in computer science ; 68)

First-order dynamic logic / David Harel. (Lecture notes in computer science ; 68)
Paper図書
Springer-Verlag1979.<M159-95>
National Diet Library
  • Author HeadingHarel, David, 1950-

Jewish aged in the United States and Israel : diversity, programs, and services

Jewish aged in the United States and Israel : diversity, programs, and services
Paper図書
Zev Harel, David E. Biegel, David Guttmann, editorsSpringer Pub. Co.c1994
Other Libraries in Japan

Reached to the end of result.

RSS