Vor Memmo waren meine Notizen überall in PDFs verstreut. Jetzt sammelt ein Arbeitsbereich alles an einem Ort – ich sehe genau, was noch zu lernen ist.
Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Vor Memmo waren meine Notizen überall in PDFs verstreut. Jetzt sammelt ein Arbeitsbereich alles an einem Ort – ich sehe genau, was noch zu lernen ist.
Memmos Zusammenfassungen sind Gold wert vor Prüfungen. Ich muss nicht zwei Wochen vorher 800 Seiten neu lesen – nur die wichtigsten Teile.
Der KI-Chat hat mich schon mehr als einmal am Abend vor einer Prüfung gerettet. Ich frage einfach so lange, bis ich es kapiere – ohne auf eine Antwort in einer Lerngruppe warten zu müssen.
Die Quizzes treffen genau das, was ich wissen muss. Memmo merkt sich, wo ich Schwierigkeiten habe – so übe ich nur das, was sich lohnt.
Lernkarten mit Spaced Repetition sind Magie. Memmo weiß, wann ich etwas vergessen könnte und zeigt es mir wieder.
Die KI-Podcasts sind mein Favorit. Ich höre sie auf dem Weg zur Uni und bekomme eine Wiederholung, ohne am Computer sitzen zu müssen.
Handbok i kvalitativa metoder
281 kr
Hållbar utveckling: en introduktion för ingenjörer och andra problemlösare
334 kr
Brymans Samhällsvetenskapliga metoder
390 kr
Projektledning
491 kr
Den orättvisa hälsan: om socioekonomiska skillnader i hälsa och livslängd
326 kr
Organizational Leadership
429 kr
Vetenskapsteori för nybörjare
196 kr
På väg mot läraryrket
172 kr
Det sociala livet i skolan: Socialpsykologiska perspektiv
253 kr
Betygsättningens didaktik
151 kr
Personality
402 kr
Studying Leadership
404 kr
Managing Innovation
477 kr
Introduktion till samhällsvetenskaplig metod
347 kr
The Psychology of Sex and Gender
698 kr
Introduction to Leadership
605 kr
Evidens och kunskap för socialt arbete
207 kr