Katalog der Deutschen Nationalbibliothek

Neuigkeiten Mittwoch, 20. November 2019 (Buß- und Bettag): Die Deutsche Nationalbibliothek in Leipzig und die Ausstellungen des Deutschen Buch- und Schriftmuseums sind geschlossen. // Wednesday, 20 November 2019 (Penance Day): The German National Library in Leipzig and the exhibitions of the German Museum of Books and Writing will be closed.
 
 

Ergebnis der Suche nach: nid=159179920



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/159179920
Name Cruz-Filipe, Luís
Andere Namen Filipe, Luís Cruz-
Publikationen von Autoren mit diesem Namen 1 Publikation
  1. Formally Proving Size Optimality of Sorting Networks
    In: Journal of automated reasoning Bd. 59, 1.2.2017, Nr. 4, date:12.2017: 425-454
Beteiligt an 1 Publikation
  1. Optimizing sorting algorithms by using sorting networks
    In: Formal aspects of computing Bd. 29, 4.11.2016, Nr. 3, date:5.2017: 559-579





Treffer 1 von 1
< < > <


E-Mail-IconAdministration