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

Programming and Computer Software

Ausgabe 3/2015

Inhalt (6 Artikel)

Comparative trace semantics of time Petri nets

D. I. Bushin, I. B. Virbitskaite

Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms

N. O. Garanina, E. A. Sidorova

Proving properties of functional programs by equality saturation

S. A. Grechanik

Computer Algebra, Applied Logic, Circuit Synthesis

Algorithmic issues of AND-decomposition of boolean formulas

P. G. Emelyanov, D. K. Ponomaryov

Computer Algebra, Applied Logic, Circuit Synthesis

Supercompilation for Martin-Lof’s type theory

I. G. Klyuchnikov, S. A. Romanenko

Computer Algebra, Applied Logic, Circuit Synthesis

Pattern-based environment modeling for static verification of Linux kernel modules

I. S. Zakharov, V. S. Mutilin, A. V. Khoroshilov

Mär 15
Ausgabe: 2/2015
Jul 15
Ausgabe: 4/2015

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise