Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: tit all "Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems."



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1295709023
Titel Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
Person(en) Greiner-Petter, André (Verfasser)
Cohl, Howard S. (Verfasser)
Youssef, Abdou (Verfasser)
Schubotz, Moritz (Verfasser)
Trost, Avi (Verfasser)
Dey, Rajen (Verfasser)
Aizawa, Akiko (Verfasser)
Gipp, Bela (Verfasser)
Fisman, Dana (Sonstige)
Rosu, Grigore (Sonstige)
Verlag Berlin - Heidelberg : Springer
Zeitliche Einordnung Erscheinungsdatum: 2022
Umfang/Format Online-Ressource
Persistent Identifier DOI: 10.34657/10673
URL https://oa.tib.eu/renate/handle/123456789/11640 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: Tools and Algorithms for the Construction and Analysis of Systems : Proceedings, Part I ; Lecture notes in computer science ; 13243
Datenlieferant: Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover)
Sachgruppe(n) 000 Allgemeines, Wissenschaft





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration