Ergebnisse der Suche nach 'se,phr:"Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report"' › Campusbibliothek für Informatik und Mathematik

Ergebnisse
	1.	Proceedings of the 1st workshop on abstraction, analogy and metareasoning, May 2-3, 1996 Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1996 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9607-13. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Ixodes ricinus (acari: ixodidae) infestation on roe deer (capreolus capreolus) in Trentino, Italian alps von Chemini, C Furlanello, C Genchi, C Merler, S Rizzoli, A Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9704-03. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	A model based decision procedure for common sense temporal resoning von Cimatti, A Giunchiglia, E Giunchiglia, F Traverso, P Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9702-05. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Formal validation of an interlocking system for large railway stations: a case study von Cimatti, A Giunchiglia, F Mongardi, G Pietra, B Romano, D Torielli, F Traverso, P Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-01. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Context based semantics for federated databases von Ghidini, C Serafini, L Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-03. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	A provably correct embedded verifier for the certification of safety critical software von Cimatti, A Giunchiglia, F Pecchiari, P Pietra, B Profeta, J Romano, D Traverso, P Yu, B Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-04. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	A modular text planning architecture for a multilingual setting von Not, E Pianta, E Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-06. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Local models semantics, or contextual reasoning = locality + compatibility von Ghidini, C Giunchiglia, F Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-07. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Extending local learners with error-correcting output codes von Aha, D. W Ricci, F Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-08. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Sistema antiintrusione basato su elaborazione visiva von Boninsegna, M Bozzoli, A Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-09. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Local models semantics for information integration von Ghidini, C Serafini, L Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9702-04. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Augmented space: bringing the physical dimension into play von Not, E Petrelli, D Stock, O Strapparava, C Zancanaro, M Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9702-08. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	Model checking safety critical software with SPIN: an application to a railway interlocking system von Cimatti, A Giunchiglia, F Mongardi, G Romano, D Torielli, F Traverso, P Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9702-09. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Program understanding and maintenance with the CANTO environment von Antoniol, G Fiutem, R Lutteri, G Merlo, E Tonella, P Zanfei, S Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9703-02. Vormerken Zum Korb hinzufügen (Entfernen)
	15.	Looking at Alfresco from the standard reference model viewpoint von Stock, O Strapparava, C Zancanaro, M Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9703-06. Vormerken Zum Korb hinzufügen (Entfernen)
	16.	Networks with trainable width of activation function von Trentin, E Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9703-08. Vormerken Zum Korb hinzufügen (Entfernen)
	17.	Formalizing and reasoning about constraints in federated databases von Ghidini, C Serafini, L Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9704-01. Vormerken Zum Korb hinzufügen (Entfernen)
	18.	A foundation for metareasoning, part I: the proof theory von Criscuolo, G Giunchiglia, F Serafini, L Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9704-02. Vormerken Zum Korb hinzufügen (Entfernen)
	19.	Biodiversity and stress level in four forests of the Italian alps von Ambrosi, P Bonavita, P Chemini, C Furlanello, C Minerbi, S Salvatori, C Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9704-04. Vormerken Zum Korb hinzufügen (Entfernen)
	20.	On the future trends of hands-free ASR: variabilities in the environmental conditions and in the acoustics transduction von Omologo, M Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9704-07. Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche

Verfügbarkeit

Verfasser

Sammlungen

Aktuelle Bibliotheken

Medientypen

Standorte

Reihen

Ihre Suche erzielte 75 Treffer.