JuLib | Books & more - {"Netherlands"}

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 science AND Software engineering

Reset Filters

Show filters (2)

Computer science AND Software engineering

Ask a Librarian

Books & more: Hits 1 - 20 of 72

sort by

Select all titles on this page

Select result number 1

1

Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /

E-Book

Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /

Hage, Jurriaan.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Social Robotics [E-Book] : Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings /

E-Book

Social Robotics [E-Book] : Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings /

Bartneck, Christoph.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Ambient Intelligence [E-Book] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings /

E-Book

Ambient Intelligence [E-Book] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings /

Aghajan, Hamid
2011

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

E-Book

Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Swart, Harrie.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

E-Book

Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

Eekelen, Marko.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

E-Book

Software Language Engineering [E-Book] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /

Brand, Mark.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Human-Robot Personal Relationships [E-Book] : Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers /

E-Book

Human-Robot Personal Relationships [E-Book] : Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers /

Lamers, Maarten H.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

E-Book

Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Boer, Frank S.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Coordination Models and Languages [E-Book] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

E-Book

Coordination Models and Languages [E-Book] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

Agha, Gul A.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Formal Techniques for Distributed Systems [E-Book] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

E-Book

Formal Techniques for Distributed Systems [E-Book] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

Hatcliff, John
2010

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Euro-Par 2009 – Parallel Processing Workshops [E-Book] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers /

E-Book

Euro-Par 2009 – Parallel Processing Workshops [E-Book] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers /

Lin, Hai-Xiang
2010

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Distributed Applications and Interoperable Systems [E-Book] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

E-Book

Distributed Applications and Interoperable Systems [E-Book] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

Eliassen, Frank
2010

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Grid Economics and Business Models [E-Book] : 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings /

E-Book

Grid Economics and Business Models [E-Book] : 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings /

Altmann, Jörn
2009

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Euro-Par 2009 Parallel Processing [E-Book] : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings /

E-Book

Euro-Par 2009 Parallel Processing [E-Book] : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings /

Epema, Dick
2009

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

FM 2009: Formal Methods [E-Book] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

E-Book

FM 2009: Formal Methods [E-Book] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Cavalcanti, Ana
2009

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

E-Book

Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

Hartman, Alan
2009

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Architecture of Computing Systems – ARCS 2009 [E-Book] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /

E-Book

Architecture of Computing Systems – ARCS 2009 [E-Book] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /

Berekovic, Mladen
2009

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /

E-Book

Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /

Berg, Hans
2009

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /

E-Book

Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /

Glinz, Martin
2009

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Teaching Formal Methods [E-Book] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

E-Book

Teaching Formal Methods [E-Book] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Gibbons, Jeremy
2009

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
Next
[4]

Narrow Search Results

Electronic Edition 72

Conference Publication 63

From:

To:

Bonsangue, Marcello M. 5 Hutchison, David 4 Kanade, Takeo 4 Kittler, Josef 4 Kleinberg, Jon M. 4 Mattern, Friedemann 4 more ... Mitchell, John C. 4 Naor, Moni 4 Nierstrasz, Oscar 4 Pandu Rangan, C. 4 Steffen, Bernhard 4 Sudan, Madhu 4 Terzopoulos, Demetri 4 Tygar, Doug 4 Vardi, Moshe Y. 4 Weikum, Gerhard 4 Dongarra, Jack J. 3 Graf, Susanne 3 Hertzberger, Bob. 3 Hoekstra, Alfons G. 3 Sloot, Peter M. A. 3 Tan, C. J. Kenneth. 3 Aarts, Emile 2 Boer, Frank S. 2 Bubak, Marian. 2 Eggen, Berry 2 Graf, Susanne. 2 Lin, Hai-Xiang 2 Sloot, Peter. 2 Williams, Roy 2 see all ... less ...

Computer science Software engineering Computer Communication Networks 33 Logic design 28 Artificial intelligence 16 Information systems 14 more ... Computer software 13 Operating systems (Computers) 13 Engineering 7 Computer network architectures 6 Computer system performance 6 Information storage and retrieval systems 6 Computer simulation 5 Information theory 4 Systems engineering 4 Computational complexity 3 Computer science_xMathematics 3 Information Systems 3 Mathematical physics 3 Social sciences 3 Algebra 2 Electronics 2 Management information systems 2 Multimedia systems 2 Computer aided design 1 Computer engineering 1 Computer graphics 1 Computer hardware 1 Computer vision 1 Data protection 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...