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 software AND Logic design

English

Reset Filters

Show filters (3)

Computer software AND Logic design

English

Ask a Librarian

Books & more: Hits 1 - 20 of 126

sort by

Select all titles on this page

Select result number 1

1

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 2

2

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 3

3

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 4

4

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 5

5

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 6

6

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 7

7

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 8

8

Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /

E-Book

Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /

Kivinen, Jyrki.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Algorithms and Computation [E-Book] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings /

E-Book

Algorithms and Computation [E-Book] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings /

Dong, Yingfei
2009

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

E-Book

Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

Van der Aalst, Wil M. P.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

E-Book

Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

Franceschinis, Giuliana
2009

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Applications of Graph Transformations with Industrial Relevance [E-Book] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings /

E-Book

Applications of Graph Transformations with Industrial Relevance [E-Book] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings /

Münch, Manfred.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /

E-Book

Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Rev...

Böhlen, Boris.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

E-Book

Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009...

Gorton, Ian
2009

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

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 16

16

Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

E-Book

Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Liu, Zhiming
2009

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

E-Book

Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Ma...

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Computer Science Logic [E-Book] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

E-Book

Computer Science Logic [E-Book] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

Dawar, Anuj
2010

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

E-Book

Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

Ablayev, Farid
2010

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /

E-Book

Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /

Kulikov, Alexander.
2011

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
5
6
7
Next
[7]

Narrow Search Results

Electronic Edition 126

Conference Publication 126

From:

To:

Hutchison, David 8 Kanade, Takeo 8 Kittler, Josef 8 Kleinberg, Jon M. 8 Mattern, Friedemann 8 Mitchell, John C. 8 more ... Naor, Moni 8 Nierstrasz, Oscar 8 Pandu Rangan, C. 8 Steffen, Bernhard 8 Sudan, Madhu 8 Terzopoulos, Demetri 8 Tygar, Doug 8 Vardi, Moshe Y. 8 Weikum, Gerhard 8 Calude, Cristian S. 3 Feitelson, Dror G. 3 Kučera, Antonín 3 Rossi, Francesca 3 Rudolph, Larry 3 Schwiegelshohn, Uwe 3 Chen, Jianer 2 Dawar, Anuj 2 Frachtenberg, Eitan 2 Margenstern, Maurice. 2 Nagl, Manfred. 2 Potapov, Igor 2 Rozenberg, Grzegorz 2 Rozenberg, Grzegorz. 2 Rudolph, Larry. 2 see all ... less ...

Computer software Logic design Computer science 116 Computational complexity 45 Software engineering 44 Artificial intelligence 26 more ... Data structures (Computer science) 26 Computer Communication Networks 18 Information theory 11 Operating systems (Computers) 8 Algorithms 7 Electronic data processing 7 Algebra 6 Computer simulation 3 Computer system performance 3 Data protection 3 Information systems 3 Translators (Computer programs) 3 Bioinformatics 2 Computer network architectures 2 Data mining 2 Database management 2 Information Systems 2 Information storage and retrieval systems 2 Text processing (Computer science 2 Coding theory 1 Logic, Symbolic and mathematical 1 Optical pattern recognition 1 see all ... less ...

English

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...