THELIB
Kategorieregeln Regeln Anmelden
  • Bücher
  • Tag: formal methods

Bücher — formal methods

RU
Sicherheitsmodelle von Computersystemen: Lehrbuch

Sicherheitsmodelle von Computersystemen: Lehrbuch

A

Н. А. Богульская, М. М. Кучеров

Algorithmen und Theorie
RU
Modellierung paralleler Prozesse. Petri-Netze

Modellierung paralleler Prozesse. Petri-Netze

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

Algorithmen und Theorie
RU
Grundlagen der Programmierung

Grundlagen der Programmierung

A

Александр Степанов, Пол Мак-Джоунс

Algorithmen und Theorie
EN
Logik und Sprachmodelle für die Informatik

Logik und Sprachmodelle für die Informatik

A

Dana Richards, Henry Hamburger

Algorithmen und Theorie
THELIB

IT-Bibliothek mit Übersetzung in 8 Sprachen.

Katalog

  • Bücher
  • Kategorien
  • Regeln
  • Vereinbarung

Konto

  • Registrieren
  • Anmelden
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 Sprachen · KI-Übersetzung in Echtzeit