Zoeken

U zocht naar: Auteur Kerber Filter Auteur: Kerber weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
thumbnail
Full text!
Auteur:
Dubois, Catherine.; Kerber, Manfred
Uitgever:
Cham Springer 2023
Type:
e-book
2. The 2007 ESO Instrument Calibration Workshop
thumbnail
Full text!
Auteur:
Kaufer, Andreas; Kerber, Florian; Leibundgut, Brunoe
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
3. Intelligent Computer Mathematics
thumbnail
Full text!
Auteur:
Kerber; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker
Uitgever:
Springer International Publishing 2015
Type:
e-book
4. Towards Mechanized Mathematical Assistants
thumbnail
Full text!
Auteur:
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Siekmann, Jörg; Windsteiger, Wolfgang
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
5. Error-Correcting Linear Codes
thumbnail
Full text!
Auteur:
Betten, Anton; Braun, Michael; Eisenbud, David; Fripertinger, Harald; Kerber, Adalbert; Kohnert, Axel; Wassermann, Alfred; Sturmfels, Bernd
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book