Tražili ste klasifikacijska oznaka: 68N30
37 rezultata
1
Head first design patterns / Eric Freeman ; Elisabeth Robson. 2nd release
Head first design patterns / Eric Freeman ; Elisabeth Robson. 2nd release.
Freeman, Eric  
Beijing [etc.] : O'Reilly, 2014
Knjiga Knjiga
3
Object-oriented analysis and design with applications / Grady Booch...[et al.]. 3rd ed
Object-oriented analysis and design with applications / Grady Booch...[et al.]. 3rd ed.
Upper Saddle River, N.J..[etc.] : Addison-Wesley : Pearson Education, 2007
Knjiga Knjiga
e izvori
5
Software engineering 2 : specifiation of systems and languages / Dines Bjorner ; with contributions from Christian Krog Madsen
Software engineering 2 : specifiation of systems and languages / Dines Bjorner ; with contributions from Christian Krog Madsen
Bjorner, Dines  
Berlin [etc.] : Springer-Verlag, 2006
7
A practical introduction to PSL / Cindy Eisner, Dana Fisman
A practical introduction to PSL / Cindy Eisner, Dana Fisman
Eisner, Cindy  
New York [etc.] : Springer Science+Business Media, 2006
11
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
12
Assertion-based design / Harry Foster, Adam Krolik, David Lacey. 2nd ed
Assertion-based design / Harry Foster, Adam Krolik, David Lacey. 2nd ed.
Foster, Harry  
New York : Springer Science+Business Media, 2004
13
Head first design patterns / Eric Freeman ; Elisabeth Freeman with Kathy Sierra, Bert Bates
Head first design patterns / Eric Freeman ; Elisabeth Freeman with Kathy Sierra, Bert Bates
Freeman, Eric  
Beijing [etc.] : O'Reilly, 2004
Knjiga Knjiga
14
Business component-based software engineering / edited by Franck Barbier
Business component-based software engineering / edited by Franck Barbier
Dordrecht; Boston; London : Kluwer Academic Publishers, 2003
15
Systems and software verification : model-checking techniques and tools / B. Berard ... (et al.) ; translated with the help of Pierre McKenzie
Systems and software verification : model-checking techniques and tools / B. Berard ... (et al.) ; translated with the help of Pierre McKenzie
Berlin [etc.] : Springer, 2001
Knjiga Knjiga
16
Systems and software verification : model-checking techniques and tools / B. Berard ...[et al.] ; [translated with the help of Pierre McKenzie]. softcover reprint of hardcover 1st ed.
Systems and software verification : model-checking techniques and tools / B. Berard ...[et al.] ; [translated with the help of Pierre McKenzie]. softcover reprint of hardcover 1st ed.
Berlin ; Heidelberg : Springer, 2001
Knjiga Knjiga
17
Multimedia software engineering / by Shi-Kuo Chang ; foreword by Dieter Rombach
Multimedia software engineering / by Shi-Kuo Chang ; foreword by Dieter Rombach
Chang, Shi-Kuo  
Bosto; Dordrecht; London : Kluwer Academic Publishers, 2000
18
Validation and verification of knowledge based systems : theory, tools and practice / edited by Anca Vermesan and Frans Coenen
Validation and verification of knowledge based systems : theory, tools and practice / edited by Anca Vermesan and Frans Coenen
Boston ; Dordrecht ; London : Kluwer Academic Publishers, 1999
19
Softversko inženjerstvo / Robert Manger
Manger, Robert  
Zagreb : Element, 2016
Knjiga Knjiga
20
An introduction to the analysis of algorithms / Michael Soltys
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.