Ihre Suche erzielte 7 Treffer.

Ergebnisse
	1.	Self-testing/correcting with applications to numerical problems Manuel Blum; Michael Luby; Ronitt Rubinfeld von Blum, Manuel [aut] Luby, Michael [aut] Rubinfeld, Ronitt [aut] Reihen: ; 1990041 \| International Computer Science Institute TR / International Computer Science Institute ; 1990041 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berkeley, Calif. International Computer Science Inst. 1990 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) Berkeley ICSI TR-90-041. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Designing programs to check their work Manuel E. Blum von Blum, Manuel E [aut] Reihen: ; 1988009 \| International Computer Science Institute TR / International Computer Science Institute ; 1988009 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berkeley, Calif. International Computer Science Inst. 1988 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) Berkeley ICSI TR-88-009. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Software reliability via run-time result-checking Manuel Blum; Hal Wasserman von Blum, Manuel [aut] Wasserman, Hal [aut] Reihen: ; 1994053 \| International Computer Science Institute TR / International Computer Science Institute ; 1994053 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berkeley, Calif. ICSI 1994 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) Berkeley ICSI TR-94-053. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Proceedings / 32nd Annual Symposium on Foundations of Computer Science San Juan, Puerto Rico, October 1 - 4, 1991 von Symposium on Foundations of Computer Science 32 1991 San Juan, Puerto Rico [aut] Sipser, Michael [HerausgeberIn] Aggarwal, Alok, 1959- [VeranstalterIn] Blum, Manuel [VeranstalterIn] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Pr. 1991 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) FOCS 1991 32. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Proceedings / 33rd Annual Symposium on Foundations of Computer Science October 24 - 27, 1992, Pittsburgh, Pennsylvania von Symposium on Foundations of Computer Science 33 1992 Pittsburgh, Pa [aut] Luby, Michael George [HerausgeberIn] Miller, Gary L [VeranstalterIn] Blum, Manuel [VeranstalterIn] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1992 Online-Ressourcen: Inhaltsverzeichnis 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) FOCS 1992 33. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Self-testing/correcting with applications to numerical problems (revised version) von Blum, Manuel E Luby, Michael Reihen: International Computer Science Institute (ICSI) <Berkeley, Calif.> : Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: ICSI 1991 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) Berkeley ICSI TR-91-062. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Checking approximate computations over the reals von Ar, Sigal Blum, Manuel Codenotti, Bruno Reihen: International Computer Science Institute (ICSI) <Berkeley, Calif.> : Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: ICSI 1992 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) Berkeley ICSI TR-92-030. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha