Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Mathematics Mechanization and Applications
2000
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Elimination methods
Texts and monographs in symbolic computation
2001
Signatur: TDS2003
    Datensatz exportieren als...
  • BibTeX
Symbolic-Numeric Computation [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Gröbner Bases in Symbolic Analysis
[2011]
    Datensatz exportieren als...
  • BibTeX
Differential Equations with Symbolic Computation [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Differential Equations with Symbolic Computation [Elektronische Ressource]
Trends in Mathematics
2005
    Datensatz exportieren als...
  • BibTeX
Symbolic-Numeric Computation [Elektronische Ressource]
Trends in Mathematics
2007
    Datensatz exportieren als...
  • BibTeX
Distributed MIMO and cell-free mobile communication
1st ed. 2021, [2021]
    Datensatz exportieren als...
  • BibTeX
Distributed MIMO and Cell-Free Mobile Communication
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Mathematics mechanization and applications
c2000
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings [electronic resource]
1st ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Large-Scale Wind Power Grid Integration : technological and regulatory issues
2016
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Lecture Notes in Artificial Intelligence : 11110
2018
    Datensatz exportieren als...
  • BibTeX
Large-Scale Wind Power Grid Integration
2016-02-19
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers [electronic resource]
1st ed. 1997, 1997
    Datensatz exportieren als...
  • BibTeX
ISSAC 2007 : July 29-August, 2007, University of Waterloo, Waterloo, Ontario, Canada : proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation
2007
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers [electronic resource]
1st ed. 2001, 2001
    Datensatz exportieren als...
  • BibTeX
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
1st ed. 1999, [1999]
1 – 25 von 25
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen