Computational Logic in Multi-Agent Systems [Risorsa elettronica] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite

• Record Nr.: UNINA990009249870403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2005
• ISBN: 9783540302001
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 3259
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Efficient Solvers for Incompressible Flow Problems : An Algorithmic and Computational Approach / Turek S.

• Record Nr.: UNINA990008001660403321
• Autore: Turek, Stefan
• Pubbl/distr/stampa: Berlino : Springer Verlag, 1999
• Edizione: [1.ed.]
• Disciplina: 620.1'064
• Locazione: DETEC
• Collocazione: 00 A2680
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia