Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Mathematics in Computer Science

Ausgabe 4/2012

Constraint Solving and Complex Systems

Inhalt (9 Artikel)

Foreword

Stefan Ratschan, Thomas Sturm

Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots

Luc Jaulin

Rational General Solutions of Trivariate Rational Differential Systems

Yanli Huang, L. X. Châu Ngô, Franz Winkler

The Non-Archimedean Theory of Discrete Systems

Vladimir Anashin

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

Jiang Liu, Naijun Zhan, Hengjun Zhao

Superposition as a Decision Procedure for Timed Automata

Arnaud Fietzke, Christoph Weidenbach

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Evgeny Kruglov, Christoph Weidenbach

On Solving Parametric Polynomial Systems

Marc Moreno Maza, Bican Xia, Rong Xiao

A Calculus for Generic, QoS-Aware Component Composition

L. S. Barbosa, Sun Meng

Sep 12
Ausgabe: 3/2012
Special Focus on Mathematics and Algorithms for CAM and CNC
Mär 13
Ausgabe: 1/2013
Near Set Theory and Applications

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr