年 〜
年

検索結果 12 件

Logics for concurrency : structure versus automata

Logics for concurrency : structure versus automata
紙図書
Faron Moller, Graham Birtwistle, (eds.)Springer-Verlagc1996
全国の図書館
  • 著者標目Moller, Faron Birtwistle, G. M. (Graham M.)

Asynchronous digital circuit design : gw : us

Asynchronous digital circuit design : gw : us
紙図書
G. Birtwistle and A. Davis, edsSpringer-Verlagc1995
全国の図書館
  • 著者標目Birtwistle, G. M. (Graham M.) Davis, A. (Alan Lynn) British...

Asger Jorn : 1914-1973 : softcover

Asger Jorn : 1914-1973 : softcover
紙図書
Troels Andersen, Graham Birtwistle, Johannes GachnangStedelijk Museum Amsterdamc1994
全国の図書館
  • 著者標目Jorn, Asger Andersen, Troels Birtwistle, G. M. (Graham M.) Gachnang, Johannes Amsterdam ...

IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10-14 September 1990 : uk : us

IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10-14 September 1990 : uk : us
紙図書
Graham Birtwistle (ed.)Springer-Verlagc1991
全国の図書館
  • 著者標目Higher Order Workshop Birtwistle, G. M. (Graham M.)

VLSI and parallel computation

VLSI and parallel computation
紙図書
edited by Robert Suaya and Graham BirtwistleMorgan Kaufmannc1990
全国の図書館
  • 著者標目Suaya, Robert Birtwistle, G. M. (Graham M.)

Current trends in hardware verification and automated theorem proving : u.s. : g.w.

Current trends in hardware verification and automated theorem proving : u.s. : g.w.
紙図書
G. Birtwistle, P.A. Subrahmanyam, editorsSpringer-Verlagc1989
全国の図書館
  • 著者標目Subrahmanyam, P. A. Birtwistle, G. M. (Graham M.)

VLSI specification, verification, and synthesis

VLSI specification, verification, and synthesis
紙図書
edited by Graham Birtwistle and P.A. SubrahmanyamKluwer Academic Publishersc1988
全国の図書館
  • 著者標目Birtwistle, G. M. (Graham M.) Subrahmanyam, P. A.

AI, graphics and simulation

AI, graphics and simulation
紙図書
edited by Graham BirtwistleSociety for Computer Simulationc1985
全国の図書館
  • 著者標目Birtwistle, G. M. (Graham M.)

Simulation and AI : proceedings of the Conference on AI and Simulation : 14-16 January 1987, San Diego, California

Simulation and AI : proceedings of the Conference on AI and Simulation : 14-16 January 1987, San Diego, California
紙図書
edited by Paul A. Luker and Graham BirtwistleSimulation Councilsc1987
全国の図書館
  • 著者標目...Luker, Paul A. Birtwistle, G. M. (Graham M.) Society for Computer Simulati...

Simula b̲e̲g̲i̲n̲ Swedish German 2nd ed

Simula b̲e̲g̲i̲n̲ Swedish German 2nd ed
紙図書
Graham M. Birtwistle ... [et al.]Studentlitteraturc1979
全国の図書館
  • 著者標目Birtwistle, G. M. (Graham M.)

A system for discrete event modelling on SIMULA pbk.

A system for discrete event modelling on SIMULA pbk.
紙図書
G. M. BirtwistleMacmillan1979
全国の図書館
  • 著者標目Birtwistle, G. M. (Graham M.)

Simula begin

Simula begin
紙図書
G. M. Birtwistle ... [et al.]Studentlitteratur1973
全国の図書館
  • 著者標目Birtwistle, G. M. (Graham M.)

検索結果は以上です。