Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 101 - 120 of 6,030

101

Computer Science and its Applications: CSA 2012
Yeo, Sang-Soo. ; Pan, Yi. ; Lee, Yang Sun. ; et al.

Multimedia systems. Information Systems Appl... Computer science. Computer network archite... Software engineering. Telecommunication.
Book
Save to List
102

Operational Semantics and Verification of Security Protocols
Cremers, Cas. ; Mauw, Sjouke. ; Cremers, Cas.

Computer science. Data structures (Compute... Computer network archite... Software engineering. Data Structures, Cryptol... Computer Systems Organiz...
Book
Save to List
103

Protocol Engineering
König, Hartmut. ; König, Hartmut.

Computer science. Computer networks. Software engineering. Computer Communication N... Software Engineering/Pro...
Book
Save to List
104

A Primer on Scientific Programming with Python
Langtangen, Hans Petter. ; Langtangen, Hans Petter.

Mathematics. Software engineering. Computer science. Computational Science an... Programming Techniques. Software Engineering/Pro...
Book
Save to List
105

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Chakraborty, Supratik. ; Mukund, Madhavan. ; Chakraborty, Supratik.

Software engineering. Computer science. Computer networks. Logic design. Programming Techniques. Computer Communication N...
Book
Save to List
106

ICT as Key Technology against Global Warming: Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
Auweter, Axel. ; Kranzlmüller, Dieter. ; Tahamtan, Amirreza. ; et al.

Climatic changes. Information Systems Appl... Computer science. Software engineering. Software Engineering/Pro... Computer Appl. in Admini...
Book
Save to List
107

Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Dennis, Louise. ; Boissier, Olivier. ; Bordini, Rafael H. ; et al.

Software engineering. Artificial Intelligence... Computer science. Artificial intelligence. Computer vision. Programming Languages, C...
Book
Save to List
108

Progress in VLSI Design and Test: 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Rahaman, Hafizur. ; Chattopadhyay, Sanatan. ; Chattopadhyay, Santanu. ; et al.

Logic design. Computer science. Data structures (Compute... Computer networks. Software engineering. Computer software.
Book
Save to List
109

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Bernardo, Marco. ; Cortellessa, Vittorio. ; Pierantonio, Alfonso. ; et al.

Information Systems Appl... Software engineering. Computer science. Software Engineering/Pro... Mathematical Logic and F... Programming Languages, C...
Book
Save to List
110

Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Sirjani, Marjan. ; Sirjani, Marjan.

Information Systems Appl... Software engineering. Computer science. Computer networks. Programming Techniques. Software Engineering/Pro...
Book
Save to List
111

Systems, Software and Services Process Improvement: 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings
Winkler, Dietmar. ; O’Connor, Rory V. ; Messnarz, Richard. ; et al.

Information Systems Appl... Software engineering. Computer science. Management of Computing... Computer Appl. in Admini... Software Engineering/Pro...
Book
Save to List
112

Facing the Multicore - Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing
Keller, Rainer. ; Kramer, David. ; Weiss, Jan-Philipp. ; et al.

Computer science. Software engineering. Computer software. Electronic data processi... Computer vision. Computer science -- Math...
Book
Save to List
113

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Arbab, Farhad. ; Sirjani, Marjan. ; Arbab, Farhad.

Computer science. Software engineering. Logic design. Software Engineering/Pro... Logics and Meanings of P... Programming Techniques.
Book
Save to List
114

Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Collier, Rem. ; Novak, Peter. ; Dix, Jürgen. ; et al.

Software engineering. Artificial Intelligence... Computer science. Computer networks. Artificial intelligence. Computer simulation.
Book
Save to List
115

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Goodloe, Alwyn E. ; Person, Suzette. ; Goodloe, Alwyn E.

Software engineering. Computer science. Operating systems (Compu... Logic design. Programming Languages, C... Operating Systems.
Book
Save to List
116

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
Barthe, Gilles. ; Livshits, Benjamin. ; Scandariato, Riccardo. ; et al.

Computer science. Data encryption (Compute... Data structures (Compute... Computer networks. Software engineering. Computer Communication N...
Book
Save to List
117

Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Jónasson, Kristján. ; Jónasson, Kristján.

Computer science. Computer networks. Software engineering. Computer software. Computer science -- Math... Physics.
Book
Save to List
118

Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Gheorghe, Marian. ; Păun, Gheorghe. ; Rozenberg, Grzegorz. ; et al.

Computer science. Computer networks. Software engineering. Computer simulation. Bioinformatics. Computation by Abstract...
Book
Save to List
119

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Aichernig, Bernhard K. ; Boer, Frank S. ; Bonsangue, Marcello M. ; et al.

Software engineering. Computer science. Operating systems (Compu... Logic design. Programming Languages, C... Operating Systems.
Book
Save to List
120

Computer Architecture: ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
Varbanescu, Ana Lucia. ; Molnos, Anca. ; Nieuwpoort, Rob. ; et al.

Computer science. Computer network archite... Software engineering. Computer software. Algorithm Analysis and P... Computer Systems Organiz...
Book
Save to List

Filter