JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

English

Computer Communication Networks AND Logic design

Reset Filters

Show filters (3)

English

Computer Communication Networks AND Logic design

Ask a Librarian

Books & more: Hits 1 - 20 of 242

sort by

Select all titles on this page

Select result number 1

1

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [E-Book] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings /

E-Book

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [E-Book] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China...

Luo, Qi.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /

E-Book

Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selecte...

Horváth, Zoltán.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

The Semantic Web - ISWC 2006 [E-Book] / 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings

E-Book

The Semantic Web - ISWC 2006 [E-Book] / 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings

Allemang, Dean
2006

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Cryptographic Hardware and Embedded Systems - CHES 2007 [E-Book] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings /

E-Book

Cryptographic Hardware and Embedded Systems - CHES 2007 [E-Book] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings /

Paillier, Pascal
2007

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

E-Book

Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

Ghose, Aditya
2009

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /

E-Book

Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, P...

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

E-Book

Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

Bruni, Roberto
2009

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /

E-Book

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proc...

Wolter, Katinka
2007

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Theoretical Aspects of Computing – ICTAC 2007 [E-Book] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

E-Book

Theoretical Aspects of Computing – ICTAC 2007 [E-Book] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

Jones, Cliff B.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Trustworthy Global Computing [E-Book] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /

E-Book

Trustworthy Global Computing [E-Book] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /

Bruni, Roberto
2007

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Intelligent Agents IV: Agent Theories, Architectures, and Languages [E-Book] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /

E-Book

Intelligent Agents IV: Agent Theories, Architectures, and Languages [E-Book] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /

Rao, Anand
1998

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

System Analysis and Modeling: Language Profiles [E-Book] / 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

E-Book

System Analysis and Modeling: Language Profiles [E-Book] / 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

Gotzhein, Reinhard
2006

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Declarative Agent Languages and Technologies IV [E-Book] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

E-Book

Declarative Agent Languages and Technologies IV [E-Book] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Baldoni, Matteo
2006

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

High Performance Embedded Architectures and Compilers [E-Book] : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /

E-Book

High Performance Embedded Architectures and Compilers [E-Book] : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /

Bosschere, Koen
2007

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Interactive Systems. Design, Specification, and Verification [E-Book] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /

E-Book

Interactive Systems. Design, Specification, and Verification [E-Book] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /

Blandford, Ann
2007

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

E-Book

Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

Kordon, Fabrice
2007

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.

E-Book

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and...

Grumberg, Orna
2007

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [E-Book] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

E-Book

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [E-Book] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedin...

Gorrieri, Roberto
2006

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Distributed Applications and Interoperable Systems (vol. # 4025) [E-Book] / 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006

E-Book

Distributed Applications and Interoperable Systems (vol. # 4025) [E-Book] / 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006

Eliassen, Frank
2006

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

E-Book

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedi...

Horváth, András
2006

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
5
6
7
8
9
10
11
Next
[13]

Narrow Search Results

Electronic Edition 242

Conference Publication 237

From:

To:

Nierstrasz, Oscar 10 Vardi, Moshe Y. 10 Hutchison, David 9 Kanade, Takeo 9 Kittler, Josef 9 Kleinberg, Jon M. 9 more ... Mattern, Friedemann 9 Mitchell, John C. 9 Pandu Rangan, C. 9 Steffen, Bernhard 9 Sudan, Madhu 9 Terzopoulos, Demetri 9 Tygar, Doug 9 Weikum, Gerhard 9 Naor, Moni 8 Stafford, Judith A. 5 Baldoni, Matteo 4 Dix, Jürgen 4 Jacko, Julie A. 4 Katoen, Joost-Pieter. 4 Reussner, Ralf 4 Ungerer, Theo 4 Bordini, Rafael H. 3 Crnkovic, Ivica 3 Dastani, Mehdi 3 Margaria, Tiziana. 3 Meyer, John-Jules Ch. 3 Paar, Christof. 3 Seghrouchni, Amal El Fallah 3 Steffen, Bernhard. 3 see all ... less ...

Computer Communication Networks Logic design Computer science 202 Software engineering 195 Artificial intelligence 71 Information systems 33 more ... Operating systems (Computers) 31 Information Systems 30 Information storage and retrieval systems 26 Computer software 18 Multimedia systems 17 Computer system performance 15 Data transmission systems 10 Database management 10 Data encryption (Computer science) 9 Data protection 6 Management information systems 6 Computer simulation 5 Computer aided design 4 Data structures (Computer science) 4 Telecommunication 3 Computational complexity 2 Data mining 2 Biology_xData processing 1 Computer engineering 1 Computer network architectures 1 Electronics 1 Information theory 1 Memory management (Computer science) 1 Monoclonal antibodies 1 see all ... less ...

English

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...