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

Electronic Edition

Computer Communication Networks AND Logic design AND Software engineering

Reset Filters

Show filters (4)

Electronic Edition

Computer Communication Networks AND Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 1 - 20 of 219

sort by

Select all titles on this page

Select result number 1

1

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 2

2

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 3

3

Agent Communication II [E-Book] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /

E-Book

Agent Communication II [E-Book] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Select...

Carbonell, Jaime G.
2006

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [E-Book] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

E-Book

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [E-Book] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Donzeau-Gouge, Véronique Viguié
2006

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

E-Book

Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

Indulska, Jadwiga
2007

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

E-Book

Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Bonsangue, Marcello M.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Human-Computer Interaction. Interaction Design and Usability [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I /

E-Book

Human-Computer Interaction. Interaction Design and Usability [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I...

Jacko, Julie A.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Human-Computer Interaction. Interaction Platforms and Techniques [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II /

E-Book

Human-Computer Interaction. Interaction Platforms and Techniques [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Pa...

Jacko, Julie A.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III /

E-Book

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007,...

Jacko, Julie A.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Human-Computer Interaction. HCI Applications and Services [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV /

E-Book

Human-Computer Interaction. HCI Applications and Services [E-Book] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV /

Jacko, Julie A.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Component-Based Software Engineering [E-Book] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /

E-Book

Component-Based Software Engineering [E-Book] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /

Crnkovic, Ivica
2007

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

ECOOP 2007 – Object-Oriented Programming [E-Book] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /

E-Book

ECOOP 2007 – Object-Oriented Programming [E-Book] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /

Ernst, Erik
2007

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Tests and Proofs [E-Book] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /

E-Book

Tests and Proofs [E-Book] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /

Gurevich, Yuri
2007

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Objects, Models, Components, Patterns [E-Book] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /

E-Book

Objects, Models, Components, Patterns [E-Book] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /

Bishop, Judith.
2011

Full text 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

Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

E-Book

Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, Oct...

Margaria, Tiziana.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /

E-Book

Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, Oct...

Margaria, Tiziana.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

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 20

20

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 all titles on this page

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

Narrow Search Results

Electronic Edition

Conference Publication 192

From:

To:

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

Computer Communication Networks Logic design Software engineering Computer science 184 Artificial intelligence 66 Information Systems 27 more ... Information systems 27 Operating systems (Computers) 27 Computer software 16 Computer system performance 16 Information storage and retrieval systems 14 Multimedia systems 13 Data encryption (Computer science) 7 Database management 7 Computational complexity 5 Computer simulation 5 Management information systems 5 Telecommunication 3 Data mining 2 Data protection 2 Computer network architectures 1 Monoclonal antibodies 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...