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.
Vivid logic : Knowledge-based reasoning with two kinds of negation / Gerd Wagner
Vivid logic : Knowledge-based reasoning with two kinds of negation / Gerd Wagner
Autore Wagner, Gerd <1957- >
Pubbl/distr/stampa Berlin [etc.] : Springer, c1994
Descrizione fisica XII, 148 p. ; 24 cm
Disciplina 006.3
006.33
Collana Lecture notes in computer science, Lecture notes in artificial intelligence
Soggetto topico Sistema esperto
Logica simbolica
Logica matematica
ISBN 0387576045
3540576045
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10005707
Wagner, Gerd <1957- >  
Berlin [etc.] : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Vladimir I. Arnold-collected works / Vladimir I. Arnold ; Alexander B. Givental ... [et al.] editors
Vladimir I. Arnold-collected works / Vladimir I. Arnold ; Alexander B. Givental ... [et al.] editors
Autore Arnold, Vladimir I.
Pubbl/distr/stampa Berlin : Springer, 2009-2014
Descrizione fisica volumi : ill. ; 24 cm.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0104116
Arnold, Vladimir I.  
Berlin : Springer, 2009-2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search [Risorsa elettronica] / by Simone Frintrop
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search [Risorsa elettronica] / by Simone Frintrop
Autore Frintrop, Simone
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture notes in computer science, Lecture notes in artificial intelligence
ISBN 9783540327608
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009247270403321
Frintrop, Simone  
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Vocus:a visual attention system for object detection and goal-directed search / Simone Frintrop
Vocus:a visual attention system for object detection and goal-directed search / Simone Frintrop
Autore FRINTROP, Simone
Pubbl/distr/stampa Berlin : Springer, copyr. 2006
Descrizione fisica XII, 216 p. : ill. ; 24 cm
Disciplina 006.3
Collana Lectures Notes in Artificial Intelligence
Soggetto non controllato Intelligenza artificiale
ISBN 3-540-32759-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003067030203316
FRINTROP, Simone  
Berlin : Springer, copyr. 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Voice, speech, and language in the child : development nd disorder / John Antony Michael Martin
Voice, speech, and language in the child : development nd disorder / John Antony Michael Martin
Autore MARTIN, John Antony Michael
Pubbl/distr/stampa Wien [etc.] : Springer, copyr. 1981
Descrizione fisica XVI, 210 p. : ill. ; 20 cm
Disciplina 618.92
Collana Disordes of human communication
Soggetto topico Pediatria
Linguaggio infantile - Sviluppo
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001783400203316
MARTIN, John Antony Michael  
Wien [etc.] : Springer, copyr. 1981
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Vol. 1 / Kurt Jensen
Vol. 1 / Kurt Jensen
Edizione [2. ed.]
Pubbl/distr/stampa Berlin [etc.] : Springer, 2010
Descrizione fisica XII, 234 p. ; 24 cm
Disciplina 511.3
511.35
Collana Monographs in theoretical computer science
Soggetto topico Reti di Petri
ISBN 9783642082436
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-NAP0512985
Berlin [etc.] : Springer, 2010
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Vol. 1 / Francisco Facchinei, Jong-Shi Pang
Vol. 1 / Francisco Facchinei, Jong-Shi Pang
Pubbl/distr/stampa New York : Springer, ©2003
Descrizione fisica XXXIII, 624, 69 p. ; 25 cm.
ISBN 0387955801
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UFE0241912
New York : Springer, ©2003
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Vol. 1 / Kurt Jensen
Vol. 1 / Kurt Jensen
Pubbl/distr/stampa Berlin [etc.] : Springer, 1992
Descrizione fisica X, 234 p. ; 25 cm
Disciplina 511
511.35
Collana EATCS monographs on theoretical computer science
Soggetto topico Reti di Petri
ISBN 0387555978
3540555978
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10029827
Berlin [etc.] : Springer, 1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Vol. 1 / Richard Courant, Fritz John
Vol. 1 / Richard Courant, Fritz John
Pubbl/distr/stampa New York [etc.] : Springer, c1989
Descrizione fisica XXIII, 661 p. ; 24 cm.
Disciplina 515
Soggetto topico Analisi matematica
Calcolo
ISBN 0387971513
3540971513
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-MIL0022535
New York [etc.] : Springer, c1989
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
vol. 1. / Randy E. Ellis, Terry M. Peters (Eds.)
vol. 1. / Randy E. Ellis, Terry M. Peters (Eds.)
Autore International conference in medical image computing and computer assisted intervention <6. ; 2003 ; Montréal, Canada>
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2003
Descrizione fisica XXXIII, 819 p. : ill. ; 24 cm.
Disciplina 616.07
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici - Impiego in medicina - Congressi - 2003
Elaborazione distribuita - Congressi - 2003
ISBN 3-540-20462-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001857430203316
International conference in medical image computing and computer assisted intervention <6. ; 2003 ; Montréal, Canada>  
Berlin [etc.] : Springer, copyr. 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...