Lukas - PDFSEARCH.IO - Document Search Engine

Lukas
Results: 1034

#	Item
521	2007 Winners Menno Buyl & Stijn Jansen Hogeschool Sint-Lukas Brussel Friday, 26 June 10–10:45am Debussy Theatre Add to Reading List Source URL: www.futurelions.com - Date: 2015-04-15 05:57:46
522	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2011-09-06 10:36:13 Logic in computer science Formal methods Automated theorem proving Isabelle Proof assistant Vampire Curry ACL2 HOL Theoretical computer science Mathematics Applied mathematics
523	Who will Trade with Whom? Predicting Buyer-Seller Interactions in Online Trading Platforms through Social Networks Christoph Trattner1 , Denis Parra2 , Lukas Eberhard1 and Xidao Wen3 1 Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2014-08-17 22:37:52 Networks Network theory Social information processing Community building Recommender system Social networking service Logistic regression Social network Virtual world Science Statistics Structure
524	What’s New in the Linux Network Stack? Lukas M. Märdian Advisors: Paul Emmerich, Daniel Raumer Seminar Future Internet, Winter TermChair for Network Architectures and Services Department for Computer Science, T Add to Reading List Source URL: blog.slyon.de Language: English - Date: 2014-10-15 10:57:34 Software Netfilter Iptables Firewall Stateful firewall Berkeley Packet Filter Denial-of-service attack Transmission Control Protocol SYN cookies System software Computing Computer network security
525	Roland Voit , cantor won his first prize as a nine-year old in a national competition and after completion of his secondary education, he studied organ at Professors Viktor Lukas, Helmut Weinrebe and Peter Degenhardt at Add to Reading List Source URL: www.australien.diplo.de Language: English - Date: 2015-03-29 23:45:24 Organ repertoire Partita Great Eighteen Chorale Preludes Wolfgang Rübsam Music Classical music Johann Sebastian Bach
526	Roland Voit , cantor won his first prize as a nine-year old in a national competition and after completion of his secondary education, he studied organ at Professors Viktor Lukas, Helmut Weinrebe and Peter Degenhardt at Add to Reading List Source URL: www.australien.diplo.de Language: English - Date: 2015-03-29 23:45:26 Organ repertoire Partita Great Eighteen Chorale Preludes Wolfgang Rübsam Music Classical music Johann Sebastian Bach
527	1984 by George Orwell Lukas Prokop 24. April 2009 Inhaltsverzeichnis 1 Author Add to Reading List Source URL: lukas-prokop.at Language: English - Date: 2009-04-24 16:35:27 Ingsoc Thoughtcrime Telescreen The Theory and Practice of Oligarchical Collectivism Thought Police Doublethink Julia Big Brother Inner Party Nineteen Eighty-Four Fiction Literature
528	NZEB scenarios and methodologies in selected Member States and EU-28 Lukas Kranzl Energy Economics Group Institute of Energy Systems and Electrical Drives Add to Reading List Source URL: www.wsed.at Language: English - Date: 2015-03-03 08:25:21 Pediatrics Reader-response criticism Peer review Science Knowledge Academia Academic literature Academic publishing Scientific method
529	Kerngebiet Algorithmen Lukas Prokop 1. – 11. Juni 2009 Dank an Prof. Schmidhofer Add to Reading List Source URL: lukas-prokop.at Language: German - Date: 2009-06-11 21:46:15
530	Spezialthema Kryptologie Lukas Prokop 19. November 2010 Dank an Prof. Schmidhofer & Prof. Egger Add to Reading List Source URL: lukas-prokop.at Language: German - Date: 2010-11-18 20:21:27

UPDATE