Die Suche ergab 224 Treffer
- 13. Nov 2006 21:22
- Forum: Archiv
- Thema: Praktikum 2: Sieht das Männchen bei euch auch so aus?
- Antworten: 44
- Zugriffe: 6992
Also ich finde, die Aufgabe, liest sich sehr deutlich so, dass man nicht sagen kann: "Dein Apfelmännchen ist falsch!" oder "Dein Apfelmännchen ist richtig!" Da steht doch, dass sich die angegebenen Werte EIGNEN und das mit den 5 ASCII-Zeichen scheint mir auch nur ein Beispiel zu sein. Man kann vermu...
- 13. Nov 2006 18:33
- Forum: Archiv
- Thema: Praktikum_2
- Antworten: 4
- Zugriffe: 1493
- 13. Nov 2006 10:00
- Forum: Archiv
- Thema: Praktikum 1.2
- Antworten: 12
- Zugriffe: 1507
- 12. Nov 2006 18:33
- Forum: Archiv
- Thema: Praktikum 1.2
- Antworten: 12
- Zugriffe: 1507
zur Ergänzung des Eintrages von bagotios: Wir kommen mit der Aufgabe auch nicht klar. Haben das ganze jetzt im Stil von dem Dijkstra-Beispiel modeliert und wollten jetzt mit XSpin verifizieren. Beim Verhungern wollten wir mit als LTL-Formel ([] <> p) && ([] <> q) verwenden, wobei die Variablen p und...
- 3. Nov 2006 23:31
- Forum: Archiv
- Thema: xspin unter Windows
- Antworten: 22
- Zugriffe: 2913
- 3. Nov 2006 18:13
- Forum: Archiv
- Thema: xspin unter Windows
- Antworten: 22
- Zugriffe: 2913
Hmm, ok die Verknüpfung damit hatte ich auch schon probiert. Ja, den Pfad hab ich auch entsprechend angepasst bzw. den Standard-Pfad verwendet. Ich erhalte in der cmd folgende Fehlermeldung, wenn ich die Datei direkt von dort aus öffne: 'invalid command name "option" while executing "option add *Scr...
- 3. Nov 2006 15:34
- Forum: Archiv
- Thema: xspin unter Windows
- Antworten: 22
- Zugriffe: 2913
xspin unter Windows
Ich habe jetzt Spin wie hier - http://spinroot.com/spin/Man/README.html - beschrieben installiert und das funktioniert auch alles so weit. Jetzt wollte ich noch XSpin lauffähig machen. Hab dazu also, wie dort beschrieben im cygwin\bin-Ordner nen neuen Unterordner xspin angelegt und dort die tcl-date...
- 2. Nov 2006 15:21
- Forum: Archiv
- Thema: Länge des Eingabetextes / Reseten des Speichers
- Antworten: 1
- Zugriffe: 906
Länge des Eingabetextes / Reseten des Speichers
Hallo, zwei Fragen sind bei uns aufgetaucht: Wie lange soll der Eingabetext sein können? Also, wieviel Platz sollen wir im Speicher dafür reservieren? Soll der Speicher und die Register gleich nach dem ersten Ablauf des Programmes wieder geleert werden oder ist das egal? Weil eine Nichtleerung ja zu...
- 26. Okt 2006 07:13
- Forum: Archiv
- Thema: FAQ Nachprüfungen
- Antworten: 33
- Zugriffe: 5562
- 31. Mai 2006 15:00
- Forum: Ankündigungen
- Thema: Studiengebühren, die Dritte
- Antworten: 87
- Zugriffe: 24550
Aha, jetzt wird tatsächlich auch die andere Seite beachtet:
http://www.echo-online.de/suedhessen/te ... ?id=376656
http://www.echo-online.de/suedhessen/te ... ?id=376656
- 18. Mai 2006 15:42
- Forum: Offtopic
- Thema: Neuland Darmstadt: Baumarkt?
- Antworten: 6
- Zugriffe: 773
Also ob das der nächste ist, weiß ich nicht, aber es gibt auf jeden Fall den Farbenkrauth. Der ist in der Heidelberger Str. 195. (mit der 6/7/8 vom Luisenplatz aus (Richtung Hbf) bis zur Landskronstr. Da musst du dann noch ca. 200m geradeaus in die Richtung laufen, in die die Straßenbahn auch fährt,...
Übungen
Hat jemand nen Plan, ob in der ersten Vorlesungswoche tatsächlich schon Übungen anfangen, so wie es im VV drin steht?
Wie ist da so die Erfahrung aus den letzten Jahren?
Wie ist da so die Erfahrung aus den letzten Jahren?
- 23. Mär 2006 18:06
- Forum: Offtopic
- Thema: sitzplaetze audimax
- Antworten: 6
- Zugriffe: 1161
- 6. Mär 2006 22:47
- Forum: Offtopic
- Thema: WLAN USB Stick
- Antworten: 10
- Zugriffe: 1542
Also ich nutze das Fritz-Teil, was für dich wie Billigschrott aussieht ^^, zu Hause und hatte noch keinerlei Probleme, auch Funkkontakt zwischen Erdgeschoss und Keller, wo ja ne dicke Bodenplatte dazwischen is, stellen kein Problem bei mir da, wenn man den Router erstmal richtig positioniert hat, da...