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

Computer Communication Networks AND Logic design

Reset Filters

Show filters (2)

Computer Communication Networks AND Logic design

Ask a Librarian

Books & more: Hits 1 - 20 of 278

sort by

Select all titles on this page

Select result number 1

1

SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /

E-Book

SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /

Ober, Iulian.
2012

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Transactions on High-Performance Embedded Architectures and Compilers III [E-Book] /

E-Book

Transactions on High-Performance Embedded Architectures and Compilers III [E-Book] /

Stenström, Per.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /

E-Book

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /

Liu, Weiru.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /

E-Book

Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykja...

Bruni, Roberto.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

E-Book

Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

Aceto, Luca
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Software Engineering, Business Continuity, and Education [E-Book] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /

E-Book

Software Engineering, Business Continuity, and Education [E-Book] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology C...

Adeli, Hojjat
2011

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Transactions on High-Performance Embedded Architectures and Compilers IV [E-Book] /

E-Book

Transactions on High-Performance Embedded Architectures and Compilers IV [E-Book] /

Stenström, Per.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /

E-Book

Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /

Barthe, Gilles.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Formal Modeling: Actors, Open Systems, Biological Systems [E-Book] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

E-Book

Formal Modeling: Actors, Open Systems, Biological Systems [E-Book] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

Agha, Gul A.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /

E-Book

Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /

Klügl, Franziska.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

E-Book

Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

Gleizes, Marie-Pierre.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Theory and Practice of Model Transformations [E-Book] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings /

E-Book

Theory and Practice of Model Transformations [E-Book] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings /

Cabot, Jordi.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /

E-Book

Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /

Loucopoulos, Pericles.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /

E-Book

Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /

Book, Matthias.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Automated Technology for Verification and Analysis [E-Book] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings /

E-Book

Automated Technology for Verification and Analysis [E-Book] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings /

Bultan, Tevfik.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /

E-Book

Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /

Ågotnes, Thomas
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 17

17

ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /

E-Book

ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /

Mezini, Mira.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Reliable Software Technologies - Ada-Europe 2011 [E-Book] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /

E-Book

Reliable Software Technologies - Ada-Europe 2011 [E-Book] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings...

Romanovsky, Alexander.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Foundations of Security Analysis and Design VI [E-Book] : FOSAD Tutorial Lectures /

E-Book

Foundations of Security Analysis and Design VI [E-Book] : FOSAD Tutorial Lectures /

Aldini, Alessandro
2011

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

System Analysis and Modeling: About Models [E-Book] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /

E-Book

System Analysis and Modeling: About Models [E-Book] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /

Herrmann, Peter.
2011

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
[14]

Narrow Search Results

Electronic Edition 278

Conference Publication 237

From:

To:

Nierstrasz, Oscar 11 Vardi, Moshe Y. 11 Hutchison, David 10 Kanade, Takeo 10 Kittler, Josef 10 Kleinberg, Jon M. 10 more ... Mattern, Friedemann 10 Mitchell, John C. 10 Pandu Rangan, C. 10 Steffen, Bernhard 10 Sudan, Madhu 10 Terzopoulos, Demetri 10 Tygar, Doug 10 Weikum, Gerhard 10 Naor, Moni 9 Gorrieri, Roberto 5 Stafford, Judith A. 5 Aldini, Alessandro 4 Baldoni, Matteo 4 Dix, Jürgen 4 Jacko, Julie A. 4 Katoen, Joost-Pieter. 4 Reussner, Ralf 4 Stenström, Per 4 Ungerer, Theo 4 Bordini, Rafael H. 3 Crnkovic, Ivica 3 Dastani, Mehdi 3 Dignum, Frank. 3 Liu, Zhiming 3 see all ... less ...

Computer Communication Networks Logic design Computer science 234 Software engineering 219 Artificial intelligence 83 Information systems 39 more ... Operating systems (Computers) 37 Information Systems 35 Information storage and retrieval systems 28 Computer software 21 Multimedia systems 17 Computer system performance 16 Data encryption (Computer science) 14 Data transmission systems 13 Database management 10 Management information systems 8 Data protection 7 Computational complexity 5 Computer simulation 5 Computer aided design 4 Data structures (Computer science) 4 Data mining 3 Telecommunication 3 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 ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...