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

Conference Publication

Logic design

Reset Filters

Show filters (3)

Electronic Edition

Conference Publication

Logic design

Ask a Librarian

Books & more: Hits 1 - 20 of 890

sort by

Select all titles on this page

Select result number 1

1

Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

E-Book

Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

Börger, Egon.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Abstract State Machines 2004. Advances in Theory and Practice [E-Book] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

E-Book

Abstract State Machines 2004. Advances in Theory and Practice [E-Book] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

Thalheim, Bernhard.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

E-Book

Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

Frappier, Marc
2010

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

E-Book

Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

Gurevich, Yuri.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Abstraction, Reformulation, and Approximation [E-Book] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings /

E-Book

Abstraction, Reformulation, and Approximation [E-Book] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings /

Choueiry, Berthe Y.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Abstraction, Reformulation and Approximation [E-Book] / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

E-Book

Abstraction, Reformulation and Approximation [E-Book] / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Saitta, Lorenza.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Abstraction, Reformulation, and Approximation [E-Book] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

E-Book

Abstraction, Reformulation, and Approximation [E-Book] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

Miguel, Ian
2007

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [E-Book] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /

E-Book

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [E-Book] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents a...

Guessoum, Zahia
2008

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /

E-Book

Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /

Müller, Peter
2010

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Advances in Agent Communication [E-Book] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 /

E-Book

Advances in Agent Communication [E-Book] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 /

Dignum, Frank.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [E-Book] / 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006

E-Book

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [E-Book] / 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao...

Coelho, Helder
2006

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [E-Book] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /

E-Book

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [E-Book] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected...

Okada, Mitsu
2008

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Advances in Computer Science – ASIAN 2007. Computer and Network Security [E-Book] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /

E-Book

Advances in Computer Science – ASIAN 2007. Computer and Network Security [E-Book] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /

Cervesato, Iliano
2007

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Advances in Computer Science - ASIAN 2009. Information Security and Privacy [E-Book] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /

E-Book

Advances in Computer Science - ASIAN 2009. Information Security and Privacy [E-Book] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /

Datta, Anupam
2009

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Advances in Computer Systems Architecture [E-Book] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /

E-Book

Advances in Computer Systems Architecture [E-Book] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /

Cho, Sangyeun
2007

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Advances in Computer Systems Architecture [E-Book] : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings /

E-Book

Advances in Computer Systems Architecture [E-Book] : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings /

Omondi, Amos.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Advances in Computer Systems Architecture (vol. # 3740) [E-Book] / 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

E-Book

Advances in Computer Systems Architecture (vol. # 3740) [E-Book] / 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Chang, Chip-Hong
2005

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Advances in Computer Systems Architecture (vol. # 4186) [E-Book] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

E-Book

Advances in Computer Systems Architecture (vol. # 4186) [E-Book] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

Egan, Colin
2006

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Advances in Computing Science — ASIAN 2000 [E-Book] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /

E-Book

Advances in Computing Science — ASIAN 2000 [E-Book] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /

Jifeng, He.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation [E-Book] : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /

E-Book

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation [E-Book] : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003...

Saraswat, Vijay A.
2003

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

Narrow Search Results

Electronic Edition

Conference Publication

From:

To:

Vardi, Moshe Y. 38 Nierstrasz, Oscar 37 Steffen, Bernhard 37 Hutchison, David 36 Kanade, Takeo 36 Kittler, Josef 36 more ... Kleinberg, Jon M. 36 Mattern, Friedemann 36 Mitchell, John C. 36 Pandu Rangan, C. 36 Sudan, Madhu 36 Terzopoulos, Demetri 36 Tygar, Doug 36 Weikum, Gerhard 36 Naor, Moni 35 Bonsangue, Marcello M. 8 Stafford, Judith A. 7 Voronkov, Andrei 7 Voronkov, Andrei. 7 Peled, Doron A. 6 Dix, Jürgen 5 Reed, Rick 5 Rossi, Francesca 5 Baldoni, Matteo 4 Barthe, Gilles. 4 Boer, Frank S. 4 Davies, Jim. 4 Governatori, Guido 4 Graf, Susanne 4 Graf, Susanne. 4 see all ... less ...

Logic design Computer science 819 Software engineering 593 Artificial intelligence 293 Computer Communication Networks 237 Computer software 126 more ... Computational complexity 75 Operating systems (Computers) 73 Information Systems 72 Information systems 53 Algebra 49 Data structures (Computer science) 38 Information storage and retrieval systems 38 Computer simulation 31 Computer system performance 29 Logic, Symbolic and mathematical 29 Database management 25 Information theory 23 Multimedia systems 21 Computer aided design 15 Coding theory 12 Computer hardware 12 Electronic data processing 11 Management information systems 11 Computer network architectures 10 Algorithms 9 Data encryption (Computer science) 9 Data protection 9 Data transmission systems 9 Engineering 8 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...