@Incollection{Abramsky.19922000,
  author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
  title  = {Logic and algebraic methods},

  year   = {1992-2000},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{becker1995,
  author = {{Mario} Becker and {Reinhard} Haberfellner and {Georg} Liebetrau},
  title  = {EDV-Wissen für Anwender : das Informatik-Handbuch für die Praxis},

  year   = {1995},
  number = {},
  url    = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+186126808&sourceid=fbw_bibsonomy},

  const  = {\ text}
}
@Book{büttemeyer1995,
  author = {{Wilhelm} Büttemeyer},
  title  = {Wissenschaftstheorie für Informatiker},

  year   = {1995},
  number = {},
  url    = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+187269025&sourceid=fbw_bibsonomy},

  const  = {\ text}
}
@Book{coffman*1934-*1992,
  author = {{Edward Grady} Coffman*1934-* and {E. G.} Coffman [Hrsg.]},
  title  = {Computing},

  year   = {1992},
  number = {},
  url    = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+111661994&sourceid=fbw_bibsonomy},

  const  = {\ text}
}
@Book{deininger2005studienarbeiten,
  author = {Markus Deininger and Horst Lichter and Jochen Ludewig and Kurt Schneider},
  title  = {Studien-Arbeiten: ein Leitfaden zur Vorbereitung, Durchführung und Betreuung von Studien-, Diplom- Abschluss- und Doktorarbeiten am Beispiel Informatik},

  year   = {2005},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{hanker1990,
  author = {{Jens} Hanker},
  title  = {Die strategische Bedeutung der Informatik für Organisationen : industrieökonomische Grundlagen des strategischen Informatikmanagements},

  year   = {1990},
  number = {},
  url    = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+025574604&sourceid=fbw_bibsonomy},

  const  = {\ text}
}
@Book{lehner1993,
  author = {{Franz} Lehner},
  title  = {Informatik-Strategien : Entwicklung, Einsatz und Erfahrungen},

  year   = {1993},
  number = {},
  url    = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+126909229&sourceid=fbw_bibsonomy},

  const  = {\ text}
}
@Book{MacKay2003,
  author = {David J.C. MacKay},
  title  = {Information Theory, Inference, and Learning Algorithms},

  year   = {2003},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{pieper2005,
  author = {{Christine} Pieper and {Helmuth} Albrecht},
  title  = {Neue Disziplinen als Innovationsmotor? Der Einfluss der Hochschulen auf den Innovationsprozess durch die Etablierung neuer Disziplinen in Deutschland nach 1945 : Endbericht ; BMBF-Forschungsverbund "Innovationskultur in Deutschland"},

  year   = {2005},
  number = {},
  url    = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+526652578&sourceid=fbw_bibsonomy},

  const  = {\ text}
}
@Book{3827410053,
  author = {Uwe Schöning},
  title  = {Logik für Informatiker},

  year   = {2000},
  number = {},
  url    = {http://www.amazon.de/Logik-f%C3%BCr-Informatiker-Sav-Informatik/dp/3827410053},

  const  = {\ text}
}