|
wneuper@145
|
1 |
@book{Paulson:Isa94,
|
|
wneuper@145
|
2 |
title={Isabelle: a generic theorem prover},
|
|
wneuper@145
|
3 |
author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
|
|
wneuper@145
|
4 |
volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
|
|
wneuper@145
|
5 |
note={With contributions by Topias Nipkow},
|
|
wneuper@145
|
6 |
status={},source={},location={-}
|
|
wneuper@145
|
7 |
}
|
|
wneuper@223
|
8 |
|
|
wneuper@223
|
9 |
@book{Mason:E-Learning,
|
|
wneuper@223
|
10 |
author = {Robin Mason and Frank Rennie},
|
|
wneuper@223
|
11 |
title = {E-Learning: The Key Concepts (Routledge Key Guides)},
|
|
wneuper@223
|
12 |
year = {2006},
|
|
wneuper@223
|
13 |
isbn = {0415373077},
|
|
wneuper@223
|
14 |
publisher = {Routledge},
|
|
wneuper@223
|
15 |
}
|
|
wneuper@223
|
16 |
|
|
wneuper@223
|
17 |
@book{Buschmann:Patterns,
|
|
wneuper@223
|
18 |
author = {Frank Buschmann, Regine Meunier, Hans Rohnert and Peter Sommerlad},
|
|
wneuper@223
|
19 |
title = {A System of Patterns. Pattern-Oriented Software Architecture.: 1},
|
|
wneuper@223
|
20 |
year = {1996},
|
|
wneuper@223
|
21 |
isbn = {0471958697},
|
|
wneuper@223
|
22 |
publisher = {Wiley \& Sons},
|
|
wneuper@223
|
23 |
}
|
|
wneuper@223
|
24 |
|
|
wneuper@223
|
25 |
@Misc{dojo,
|
|
wneuper@223
|
26 |
author = { {Dojo Foundation } },
|
|
wneuper@223
|
27 |
title = {dojo the javascript toolkit},
|
|
wneuper@223
|
28 |
howpublished = {http://www.dojotoolkit.org/},
|
|
wneuper@223
|
29 |
}
|
|
wneuper@223
|
30 |
|
|
wneuper@223
|
31 |
@Misc{mathml,
|
|
wneuper@223
|
32 |
author = { {W3C } },
|
|
wneuper@223
|
33 |
title = {What is MathML},
|
|
wneuper@223
|
34 |
howpublished = {http://www.w3.org/Math/},
|
|
wneuper@223
|
35 |
}
|
|
wneuper@223
|
36 |
|
|
wneuper@223
|
37 |
@Misc{apache,
|
|
wneuper@223
|
38 |
author = { {The Apache Software Foundation } },
|
|
wneuper@223
|
39 |
title = {The Apache MyFaces Project},
|
|
wneuper@223
|
40 |
howpublished = {http://myfaces.apache.org/},
|
|
wneuper@223
|
41 |
}
|
|
wneuper@223
|
42 |
|
|
wneuper@223
|
43 |
@book{Marinscheck:jsf,
|
|
wneuper@223
|
44 |
author = {Martin Marinscheck, Gerald Müllan and Anrea Schnabl},
|
|
wneuper@223
|
45 |
title = {JSF @ Work. JavaServer Faces und Apache MyFaces erfolgreich einsetzen)},
|
|
wneuper@223
|
46 |
year = {2007},
|
|
wneuper@223
|
47 |
isbn = {3898644014},
|
|
wneuper@223
|
48 |
publisher = {dpunkt.verlag},
|
|
wneuper@223
|
49 |
}
|
|
wneuper@223
|
50 |
|
|
wkandlba@238
|
51 |
@Misc{assembla,
|
|
wkandlba@243
|
52 |
author = {Assembla}
|
|
wkandlba@238
|
53 |
title = {assembla -- Tools, Talent, and How-to for agile teams and rapid app development},
|
|
wkandlba@238
|
54 |
howpublished = {http://www.assembla.com/},
|
|
wkandlba@238
|
55 |
}
|
|
wkandlba@238
|
56 |
|
|
wkandlba@243
|
57 |
@Misc{div,
|
|
wkandlba@243
|
58 |
author = {W3c},
|
|
wkandlba@243
|
59 |
Ttitle = {The global structure of an HTML document},
|
|
wneuper@244
|
60 |
howpublished = {http://www.w3.org/TR/html401/struct/global.html\#h-7.5.4},
|
|
wkandlba@243
|
61 |
}
|
|
wkandlba@243
|
62 |
|