top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Formal approaches to agent-based systems : Second International workshop, FAABS 2002 : Greenbelt, MD, USA, October 29-31, 2002 : revised papers / Michael G. Hinchey ... [et al.] (Eds.)
Formal approaches to agent-based systems : Second International workshop, FAABS 2002 : Greenbelt, MD, USA, October 29-31, 2002 : revised papers / Michael G. Hinchey ... [et al.] (Eds.)
Autore International workshop FAABS 2002 <2. ; 2002 ; Greenbelt, USA>
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2003
Descrizione fisica IX, 295 p. : ill. ; 24 cm
Disciplina 006.3
Collana Lecture notes in artificial intelligence
Soggetto non controllato Intelligenza artificiale - Congressi - 2002
Sistemi esperti - Congressi - 2002
ISBN 3-540-40665-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001868000203316
International workshop FAABS 2002 <2. ; 2002 ; Greenbelt, USA>  
Berlin [etc.] : Springer, copyr. 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal methods and software engineering : 9th International conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : Proceedings / Michael Butler, Michael G. Hinchey, Marìa M. Larrondo-Petrie (Eds.)
Formal methods and software engineering : 9th International conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : Proceedings / Michael Butler, Michael G. Hinchey, Marìa M. Larrondo-Petrie (Eds.)
Autore International conference on formal engineering methods, ICFEM 2007 : <9; : 2007; >
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2007
Descrizione fisica X, 386 p. : ill. ; 24 cm
Disciplina 004.01
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Programmazione - Congressi - Boca Raton - 2007
Soggetto non controllato Software
ISBN 978-3-540-76648-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003086530203316
International conference on formal engineering methods, ICFEM 2007 : <9; : 2007; >  
Berlin [etc.] : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Innovative concepts for agent-based systems : 2nd international workshop on radical agent concepts, WRAC 2005 : Greenbelt, MD, USA, Sptember 20-22, 2005 : revised papers / Michael G. Hinchey (Eds.)
Innovative concepts for agent-based systems : 2nd international workshop on radical agent concepts, WRAC 2005 : Greenbelt, MD, USA, Sptember 20-22, 2005 : revised papers / Michael G. Hinchey (Eds.)
Autore International workshop on radical agent concepts : <2. ; : 2005
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2007
Descrizione fisica IX, 389 p. : ill. ; 24 cm.
Disciplina 006.3
Collana Lecture notes in artificial intelligence
Lecture notes in computer science
Soggetto topico Intelligenza artificiale - Congressi - Greenbelt - 2005
ISBN 3-540-69265-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002966430203316
International workshop on radical agent concepts : <2. ; : 2005  
Berlin [etc.] : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui