Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 81 - 100 von 1.974

81

Fundamentals of Computation Theory: 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Walukiewicz, Igor, editor. ; Kosowski, Adrian, editor.

Software engineering. Computer science. Computer Communication N... Computer software. Logic design. Computational complexity...
Buch
82

Advanced Intelligent Computing Theories and Applications: 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
Han, Kyungsook, editor. ; Huang, De-Shuang, editor.

Information retrieval. Information organization... Information Systems Appl... Artificial Intelligence... Computer science. Computer software.
Buch
83

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Zhang, Xingyuan, editor. ; Urban, Christian, editor.

Software engineering. Artificial Intelligence... Computer science. Data protection. Computer software. Logic design.
Buch
84

Information and Communications Security: 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers
Yiu, S. M., editor. ; Shi, Elaine, editor. ; Qing, S. H., editor. ; et al.

Computer science. Data encryption (Compute... Computer Communication N... Data protection. Computer software. Information Systems.
Buch
85

Computational Complexity of Solving Equation Systems
Broniek, Przemysław, author. ; Broniek, Przemysław, author.

Logic. Computer science. Computer software. Logic, Symbolic and math... Algorithm Analysis and P... Mathematical Logic and F...
Buch
86

Parameterized Algorithms
Cygan, Marek, author. ; Saurabh, Saket, author. ; Pilipczuk, Michał, author. ; et al.

Algorithms. Computer science. Computer software. Algorithm Analysis and P...
Buch
87

Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers
Cheema, Muhammad Aamir, editor. ; Nutanong, Sarana, editor. ; Qian, Tieyun, editor. ; et al.

Information Systems Appl... Information retrieval. Information organization... Database management. Computer science. Computer software.
Buch
88

Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Versaci, Francesco, editor. ; Hunold, Sascha, editor. ; Träff, Jesper Larsson, editor.

Computer science. Operating systems (Compu... Computer network archite... Computer system performa... Software engineering. Computer software.
Buch
89

Advances in Cryptology -- CRYPTO 2015: 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I
Robshaw, Matthew, editor. ; Gennaro, Rosario, editor.

Computer science. Data encryption (Compute... Data protection. Computer software. Computational complexity... Data Encryption.
Buch
90

Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Drewes, Frank, editor.

Information retrieval. Information organization... Computer science. Data structures (Compute... Computer software. Information storage and...
Buch
91

Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Labiche, Yvan, editor. ; Barros, Márcio, editor.

Pattern perception. Software engineering. Computer science. Computer software. Optical pattern recognit... Algorithm Analysis and P...
Buch
92

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012
Dayal, Umeshwar, editor. ; Cuzzocrea, Alfredo, editor. ; Wagner, Roland, editor. ; et al.

Information retrieval. Information organization... Artificial Intelligence... Database management. Computer science. Computer software.
Buch
93

Big Data Computing and Communications: First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings
Li, Jianzhong, editor. ; Li, Xiangyang, editor. ; Argamon, Shlomo, editor. ; et al.

Information retrieval. Information organization... Information Systems Appl... Database management. Computer science. Computer Communication N...
Buch
94

DNA Computing and Molecular Programming: 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
Yin, Peng, editor. ; Phillips, Andrew, editor.

Artificial Intelligence... Computer science. Data structures (Compute... Computer software. Computational complexity... Artificial intelligence.
Buch
95

Parallel Computing Technologies: 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Malyshkin, Victor, editor.

Computer science. Operating systems (Compu... Computer network archite... Software engineering. Computer software. Electronic data processi...
Buch
96

Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
Stege, Ulrike, editor. ; Sack, Jörg-Rüdiger, editor. ; Dehne, Frank, editor.

Computer graphics. Computer science. Data structures (Compute... Computer Communication N... Computer software. Electronic data processi...
Buch
97

Wireless Algorithms, Systems, and Applications: 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Zhu, Haojin, editor. ; Xu, Kuai, editor.

Information Systems Appl... Computer science. Computer Communication N... Computer system performa... Computer software. Information Systems.
Buch
98

Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Potapov, Igor, editor.

Computer science. Computer software. Computational complexity... Computation by Abstract... Mathematical Logic and F... Algorithm Analysis and P...
Buch
99

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Middeldorp, Aart, editor. ; Felty, Amy P., editor.

Pattern perception. Information Systems Appl... Artificial Intelligence... Computer science. Computer software. Artificial intelligence.
Buch
100

Constructive Side-Channel Analysis and Secure Design: 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers
Poschmann, Axel Y., editor. ; Mangard, Stefan, editor.

Computer science. Data encryption (Compute... Computer Communication N... Data protection. Computer software. Computational complexity...
Buch

Filter