Mijn boeken
← Catalogus
The Complexity of Bisimilarity by Partition Refinement
J.J.M. Martens

The Complexity of Bisimilarity by Partition Refinement lowerbounds, distinguishing formulas, and parallel algorithms

J.J.M. Martens
PaperbackEngelsSerie →
In het kort
ISBN-13
9789038661209
Uitgever
Technische Universiteit Eindhoven
Verschenen
25 september 2024
NUR
993 · Theoretische informatica
Serie
Proefschriftenreeks TU Eindhoven
Imprint
Technische Universiteit Eindhoven

Lijkt op dit boek

Omslag van Agentic AI and the Rise of the Digital Colleague
Agentic AI and the Rise of the Digital Colleague
Omslag van Mnemomatica
Mnemomatica
Omslag van Mnemomatica
Mnemomatica
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Modelling and analysis of real-time coordination patterns
Modelling and analysis of real-time coordination patterns
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Zaakgericht werken: koude en warme digitale dossiers
Zaakgericht werken: koude en warme digitale dossiers
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Het midoffice
Het midoffice
NSTC 501599153 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
The Complexity of Bisimilarity by Partition Refinement
J.J.M. Martens

The Complexity of Bisimilarity by Partition Refinement

lowerbounds, distinguishing formulas, and parallel algorithms
J.J.M. Martens
PaperbackEngelsSerie: Proefschriftenreeks TU Eindhoven →
Bestel bij bol →
In het kort
ISBN-13
9789038661209
Uitgever
Technische Universiteit Eindhoven
Verschenen
25 september 2024
NUR
993 · Theoretische informatica
Serie
Proefschriftenreeks TU Eindhoven
Imprint
Technische Universiteit Eindhoven

Lijkt op dit boek

Alles bekijken →
Omslag van Agentic AI and the Rise of the Digital Colleague
Agentic AI and the Rise of the Digital Colleague
Omslag van Mnemomatica
Mnemomatica
Aldemar Verstolen
Omslag van Mnemomatica
Mnemomatica
Aldemar Verstolen
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Veerle Fack
Omslag van Modelling and analysis of real-time coordination patterns
Modelling and analysis of real-time coordination patterns
Stephanie Kemper
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Veerle Fack
NSTC 501599153 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026