Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Distributed Simulation: A Model Driven Engineering ApproachTopçu, Okan ; Durak, Umut ; Oğuztüzün, Halit ; Yilmaz, LeventCham: Springer International Publishing AG 2016Texto completo disponível |
|
2 |
Material Type: Livro
|
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedingsSymposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie TisonBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1770 e.1 )(Acessar) |
|
3 |
Material Type: Livro
|
Why Programs Fail - A Guide to Systematic Debugging (2nd Edition)Zeller, AndreasSan Diego: Elsevier 2009Texto completo disponível |
|
4 |
Material Type: Livro
|
Baltic computer science selected papersBarzdin§, ëIìA. M. (ëIìAn Martynovich); D Bjørner 1937- (Dines)Berlin New York Springer-Verlag c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.502 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Trusted Cloud ComputingKrcmar, Helmut ; Reussner, Ralf ; Rumpe, Bernhard Rumpe, Bernhard ; Reussner, Ralf ; Krcmar, HelmutCham: Springer International Publishing AG 2014Texto completo disponível |
|
7 |
Material Type: Livro
|
Modern Software Tools for Scientific ComputingBruaset, A ; Arge, E ; Langtangen, Hans PetterBoston, MA: Birkhäuser Boston 1997Texto completo disponível |
|
8 |
Material Type: Livro
|
Basics of Software Engineering ExperimentationJuristo, Natalia ; Moreno, Ana MBoston, MA: Springer US 2001Texto completo disponível |
|
9 |
Material Type: Livro
|
Object-Oriented Application Development Using the Caché Postrelational DatabaseKirsten, Wolfgang ; Rudd, Anthony S ; Ihringer, Michael ; Röhrig, Bernhard ; Schulte, PeterBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
10 |
Material Type: Livro
|
The TSQL2 Temporal Query LanguageSnodgrass, Richard TNew York, NY: Springer 1995Texto completo disponível |