Tražili ste klasifikacijska oznaka: 03B70
19 rezultata
1
Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz
Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz
Dordrecht; Boston; London : Kluwer Academic Publishers, 2003
e izvori
5
A theory of objects / Martin Abadi, Luca Cardelli
A theory of objects / Martin Abadi, Luca Cardelli
Abadi, Martin  
New York : Springer, 1996
6
Sintez logičeskih ustrojstv i ego avtomatizacija / Ž.Florin ; perev. s fr. E.V.Babičevoj, pod red. P.P.Parhomenko
Florine, Jean  
Moskva : Mir, 1966
Knjiga Knjiga
7
The little prover / Daniel P. Friedman, Carl Eastlund ; Drawings by Duane Bibby ; Foreword by Strother Moore, afterword by Matthias Felleisen
The little prover / Daniel P. Friedman, Carl Eastlund ; Drawings by Duane Bibby ; Foreword by Strother Moore, afterword by Matthias Felleisen
Friedman, Daniel P.  
Cambridge, Mass.; London, England : The MIT Press, 2015
Knjiga Knjiga
8
Logic and complexity / Richard Lassaigne ; and Michel de Rougemont
Logic and complexity / Richard Lassaigne ; and Michel de Rougemont
Lassaigne, Richard  
London : Springer Science + Business Media, 2004
Knjiga Knjiga
12
VHDL: a logic synthesis approach / David Naylor and Simon Jones
VHDL: a logic synthesis approach / David Naylor and Simon Jones
Naylor, David  
London [etc.] : Chapman & Hall, 1997
13
ALGEBRE de Boole et machines logiques / sous la direction de J.Kuntzmann, P. Naslin
Pariz : Dunod, 1967
14
Logic in games / Johan van Benthem
Logic in games / Johan van Benthem
Benthem, Johan van  
Cambridge, MA; London, UK : MIT press, 2014
Knjiga Knjiga
15
Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
Dordrecht : Springer, 2007
Knjiga Knjiga
16
Mathematical logic  for computer science / Lu Zhongwan. 2nd ed
Mathematical logic for computer science / Lu Zhongwan. 2nd ed.
Lu, Zhongwan  
Singapore : World Scientific, 1998
Knjiga Knjiga
17
Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone ; Eugenio Omodeo, Alberto Policriti; foreword by Jacob T. Schwartz
Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone ; Eugenio Omodeo, Alberto Policriti; foreword by Jacob T. Schwartz
Cantone, Domenico  
New York [etc.] : Springer Science + Business Media, 2001
Knjiga Knjiga
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.