Die Suche ergab 33 Treffer

von ToKaM
23. Jul 2013 10:43
Forum: Archiv
Thema: Klausurvorbereitung
Antworten: 1
Zugriffe: 335

Re: Klausurvorbereitung

Vermutlich ist Foliensatz 9 Klausurunrelevant - ansonsten kann ich mir nicht erklären, warum er hier fehlt:
http://www.informatik.tu-darmstadt.de/d ... ep-ws1213/
von ToKaM
22. Jul 2013 12:43
Forum: Archiv
Thema: Klausurvorbereitung
Antworten: 1
Zugriffe: 335

Klausurvorbereitung

Es würde mich freuen auf diesem Wege Studenten zu finden, mit denen ich mich zur Klausur austauschen kann.

Gerne möchte ich morgen oder am Mittwoch in einem begrenzten Zeitraum die Inhalte gemeinsam besprechen und offene Fragen klären.

Gruß,
Jakob
von ToKaM
17. Jun 2013 13:02
Forum: Computer Vision
Thema: alte Klausuren
Antworten: 5
Zugriffe: 1895

Re: alte Klausuren

Du sprichst von "beschreiben". Musste man also tatsächlich einen erklärenden Text verfassen?

Gibt es mitlerweile einen Upload der Beispiele?
von ToKaM
20. Apr 2013 15:21
Forum: Archiv
Thema: Suche Gruppe(nmittglieder) für Projekt robolympia.de
Antworten: 0
Zugriffe: 843

Suche Gruppe(nmittglieder) für Projekt robolympia.de

Mein Ziel ist es das Web-Projekt (robolympia) von Herrn Gallenbacher zügig und sehr gut abzuschließen. Hierzu suche ich noch motivierte Gruppenmitglieder anschluss an eine Gruppe. Mich qualifiziert für dieses Projekt mehrjährige Berufserfahrung im Bereich Webanwendungsentwicklung (selbständig). Grun...
von ToKaM
18. Apr 2013 10:29
Forum: Archiv
Thema: Klausur: Wie lief's
Antworten: 12
Zugriffe: 1957

Re: Klausur: Wie lief's

Wann & wo erfahre ich vorläufige Klausurergbnisse & den Termin zur Einsicht.

Falls jemand etwas weiß würde ich mich über ein private message freuen.
von ToKaM
24. Feb 2013 18:21
Forum: Archiv
Thema: KeY EnsuresPost Task laden klappt nicht
Antworten: 3
Zugriffe: 339

Re: KeY EnsuresPost Task laden klappt nicht

Nach der Installation von libnetx-java lässt sich die JNLP Datei mit der verlinkten Key Version 1.65 unter Ubuntu starten.

Damit funktioniert das starten des Beweises.
von ToKaM
22. Feb 2013 17:52
Forum: Archiv
Thema: KeY EnsuresPost Task laden klappt nicht
Antworten: 3
Zugriffe: 339

KeY EnsuresPost Task laden klappt nicht

Wenn ich für die Maze.java z.B. die Move Methode im Prover wähle und dann den EnsuresPost Task laden möchte reagiert KeY einfach nicht. Es zeigt zwar an über die Java GUI, dass auf den Button geklickt wurde, es erscheint aber keine Fehlermeldung oder ein Open-Task in KeY. Auch schließt der Modulare ...
von ToKaM
22. Okt 2012 12:48
Forum: Archiv
Thema: Gruppensuche
Antworten: 9
Zugriffe: 777

Re: Gruppensuche

Wer eine Gruppe sucht oder einen weiteren Mitarbeiter kann sich bei mir melden.

Meine Übungszeit ist Mittwochs um 9:50 - 11:30
von ToKaM
24. Jul 2012 23:23
Forum: Archiv
Thema: Suche Lernpartner
Antworten: 0
Zugriffe: 421

Suche Lernpartner

Hi, ich suche jemanden um Fragen per E-Mail auszutauschen und Lösungen für die Übungsaufgaben zu vergleichen.

Bitte schickt einfach eine E-Mail an jakob@altergear.net
von ToKaM
24. Jul 2012 02:12
Forum: Jobs
Thema: Webentwickler (PHP) gesucht & Webdesigner gesucht
Antworten: 0
Zugriffe: 224

Webentwickler (PHP) gesucht & Webdesigner gesucht

Hallo, auf diesem Wege suche ich PHP Freelancern oder Studenten die weitere Erfahrungen in diesem Bereich sammeln möchten. Natürlich erhaltet Ihr eine gute Bezahlung und eventuell Wissen und Erfahrung zu neuen State of the Art Technologien. Konkreter Antrieb für das Gesuch ist ein Forschungsprojekt ...
von ToKaM
4. Feb 2012 17:54
Forum: Archiv
Thema: Simple Condition Coverage
Antworten: 3
Zugriffe: 634

Re: Simple Condition Coverage

Sollte man eine Bedingung wie a <= b hier in zwei Bedingungen a < b || a == b zerlegen? Angenommen ein Entwickler prüft in einer <= Bedingung versehentlich zwei Double Werte auf Gleichheit, besteht eine höhere Chance diesen Fehler zu finden, wenn man die Bedingung in zwei Bedingugen zerlegt. Wie ist...
von ToKaM
22. Okt 2011 15:48
Forum: Suche / Biete
Thema: Kaufe Bücher
Antworten: 1
Zugriffe: 1244

Kaufe Bücher

Ich habe interesse folgende Bücher zu kaufen. Preis ist verhandelbar. Bitte schickt eine PN an mich.

UML 2 glasklar: Praxiswissen für die UML-Modellierung

Modellierung: Grundlagen und formale Methoden [Taschenbuch]

VG Jakob
von ToKaM
29. Sep 2011 12:33
Forum: Archiv
Thema: Zwei Gruppenmitglieder gesucht (erledigt)
Antworten: 2
Zugriffe: 726

Re: Zwei Gruppenmitglieder gesucht

Welches Praktikum bearbeitet Ihr? Ich suche noch eine Gruppe für die Eclipse Plug-in Entwicklung und ich habe auch schon Erfahrungen in diesem Bereich
von ToKaM
21. Aug 2011 19:30
Forum: Archiv
Thema: WS-Klausur
Antworten: 4
Zugriffe: 1230

Re: WS-Klausur

Gleiches interessiert mich auch. Vorallem Klausuren die von Professor Gallenbacher entworfen sind.
von ToKaM
21. Aug 2011 19:26
Forum: Archiv
Thema: Übungsleistungen
Antworten: 3
Zugriffe: 744

Re: Übungsleistungen

Zur erweiterten Suche