Tražili ste Najposuđivanije u posljednjih 365 dana. Suzili ste status: za posudbu poništi sužavanje nakladnik: Springer poništi sužavanje godina: 2005 poništi sužavanje 
4 rezultata
1
Finite element methods and their applications / Zhangxin Chen
Finite element methods and their applications / Zhangxin Chen
Chen, Zhangxin  
Springer ; Berlin [etc.], 2005
Knjiga Knjiga
Za posudbuZa posudbuBroj posudbi 7
2
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Poernomo, Iman Hafiz  
New York : Springer, 2005
Knjiga Knjiga
Za posudbuZa posudbuBroj posudbi 3
3
Abstract computing machines : a lambda calculus perspective / W. Kluge
Abstract computing machines : a lambda calculus perspective / W. Kluge
Kluge, Werner  
Berlin, Heidelberg : Springer, 2005
Knjiga Knjiga
Za posudbuZa posudbuBroj posudbi 1
4
Logic programming with Prolog / Max Bramer
Logic programming with Prolog / Max Bramer
Bramer, Max A.  
[s.l.] : Springer, 2005
Knjiga Knjiga
Za posudbuZa posudbuBroj posudbi 1
e izvori
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.