Suchergebnisse - Dévai, Gergely

1

The EDSL's Struggle for Their Sources von Dévai, Gergely, Leskó, Dániel, Tejfel, Máté

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Programming language elements for correctness proofs von Dévai, Gergely

Veröffentlicht in Acta cybernetica (Szeged)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Feldspar: A domain specific language for digital signal processing algorithms von Axelsson, Emil, Claessen, Koen, Dévai, Gergely, Horváth, Zoltán, Keijzer, Karin, Lyckegård, Bo, Persson, Anders, Sheeran, Mary, Svenningsson, Josef, Vajdax, András

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

An Introduction to the Lambda Calculus von Csörnyei, Zoltán, Dévai, Gergely

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Measuring the Overhead of C++ Standard Template Library Safe Variants von Pataki, Norbert, Szűgyi, Zalán, Dévai, Gergely

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Embedding a Proof System in Haskell von Dévai, Gergely

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

AUTOMATED TRAINING OF SERVICE QUALITY MODELS von DÉVAI, Gergely, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

NETWORK ANALYTICS SYSTEM WITH DATA LOSS DETECTION von DÉVAI, Gergely, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

ANALYTICS GENERATION IN A COMMUNICATION NETWORK von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Network Cell Classification for QoS Policy Optimization von Báder, Attila, Roeland, Dinand, Dévai, Gergely

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

NETWORK CELL CLASSIFICATION FOR QOS POLICY OPTIMIZATION von DÉVAI, Gergely, ROELAND, Dinand, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

ANOMALY DETECTION IN A WIRELESS COMMUNICATION SYSTEM von Báder, Attila, Zahemszky, András, Dévai, Gergely

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

ANALYTICS GENERATION IN A COMMUNICATION NETWORK von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

ANOMALY DETECTION IN A WIRELESS COMMUNICATION SYSTEM von ZAHEMSZKY, András, DÉVAI, Gergely, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

TRANSPORT REPORTING BY RADIO FOR ANALYTICS von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, SZÁSZ, Ferenc, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

TECHNIQUE FOR SUBSCRIBER NUMBER ESTIMATION IN A NETWORK ANALYTICS CONTEXT von DÉVAI, Gergely, ALMYRAS, Georgios, PIOTROWSKI, Rafal, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

NETWORK CELL CLASSIFICATION FOR QOS POLICY OPTIMIZATION von DÉVAI, Gergely, ROELAND, Dinand, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

ENHANCED REPORTING OF QUALITY-OF-EXPERIENCE (QOE) MEASUREMENTS von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, SZÁSZ, Ferenc, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

ANOMALY DETECTION IN A WIRELESS COMMUNICATION SYSTEM von ZAHEMSZKY, András, DÉVAI, Gergely, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

GENERATING AND AGGREGATING DATA FOR NETWORK MONITORING von DÉVAI, Gergely, MALA, József, SCHVARCZ-FEKETE, Peter, SOLYMOSI, Andras, WEILER, Virag, BÁDER, Attila

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

The EDSL's Struggle for Their Sources von Dévai, Gergely, Leskó, Dániel, Tejfel, Máté

Programming language elements for correctness proofs von Dévai, Gergely

Feldspar: A domain specific language for digital signal processing algorithms von Axelsson, Emil, Claessen, Koen, Dévai, Gergely, Horváth, Zoltán, Keijzer, Karin, Lyckegård, Bo, Persson, Anders, Sheeran, Mary, Svenningsson, Josef, Vajdax, András

An Introduction to the Lambda Calculus von Csörnyei, Zoltán, Dévai, Gergely

Measuring the Overhead of C++ Standard Template Library Safe Variants von Pataki, Norbert, Szűgyi, Zalán, Dévai, Gergely

Embedding a Proof System in Haskell von Dévai, Gergely

AUTOMATED TRAINING OF SERVICE QUALITY MODELS von DÉVAI, Gergely, BÁDER, Attila

NETWORK ANALYTICS SYSTEM WITH DATA LOSS DETECTION von DÉVAI, Gergely, BÁDER, Attila

ANALYTICS GENERATION IN A COMMUNICATION NETWORK von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, BÁDER, Attila

Network Cell Classification for QoS Policy Optimization von Báder, Attila, Roeland, Dinand, Dévai, Gergely

NETWORK CELL CLASSIFICATION FOR QOS POLICY OPTIMIZATION von DÉVAI, Gergely, ROELAND, Dinand, BÁDER, Attila

ANOMALY DETECTION IN A WIRELESS COMMUNICATION SYSTEM von Báder, Attila, Zahemszky, András, Dévai, Gergely

ANALYTICS GENERATION IN A COMMUNICATION NETWORK von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, BÁDER, Attila

ANOMALY DETECTION IN A WIRELESS COMMUNICATION SYSTEM von ZAHEMSZKY, András, DÉVAI, Gergely, BÁDER, Attila

TRANSPORT REPORTING BY RADIO FOR ANALYTICS von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, SZÁSZ, Ferenc, BÁDER, Attila

TECHNIQUE FOR SUBSCRIBER NUMBER ESTIMATION IN A NETWORK ANALYTICS CONTEXT von DÉVAI, Gergely, ALMYRAS, Georgios, PIOTROWSKI, Rafal, BÁDER, Attila

NETWORK CELL CLASSIFICATION FOR QOS POLICY OPTIMIZATION von DÉVAI, Gergely, ROELAND, Dinand, BÁDER, Attila

ENHANCED REPORTING OF QUALITY-OF-EXPERIENCE (QOE) MEASUREMENTS von DÉVAI, Gergely, SCHVARCZ-FEKETE, Peter, SZÁSZ, Ferenc, BÁDER, Attila

ANOMALY DETECTION IN A WIRELESS COMMUNICATION SYSTEM von ZAHEMSZKY, András, DÉVAI, Gergely, BÁDER, Attila

GENERATING AND AGGREGATING DATA FOR NETWORK MONITORING von DÉVAI, Gergely, MALA, József, SCHVARCZ-FEKETE, Peter, SOLYMOSI, Andras, WEILER, Virag, BÁDER, Attila

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle