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

Reset Filters

Show filters (1)

Computer software

Ask a Librarian

Books & more: Hits 1,701 - 1,720 of 1,852

sort by

Select all titles on this page

Select result number 1701

1701

Summary of a workshop on software certification and dependability / [E-Book]

E-Book

Summary of a workshop on software certification and dependability / [E-Book]

2004

Full text

Favorites

Saved in:

QR Code

Select result number 1702

1702

Super-Recursive Algorithms [E-Book] /

E-Book

Super-Recursive Algorithms [E-Book] /

Burgin, Mark.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 1703

1703

Sustainable Internet [E-Book] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings /

E-Book

Sustainable Internet [E-Book] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings /

Fdida, Serge
2007

Full text

Favorites

Saved in:

QR Code

Select result number 1704

1704

Swarm, Evolutionary, and Memetic Computing [E-Book] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings /

E-Book

Swarm, Evolutionary, and Memetic Computing [E-Book] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 201...

Das, Swagatam.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 1705

1705

Swarm, Evolutionary, and Memetic Computing [E-Book] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part I /

E-Book

Swarm, Evolutionary, and Memetic Computing [E-Book] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part I...

Das, Swagatam.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 1706

1706

Swarm, Evolutionary, and Memetic Computing [E-Book] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part II /

E-Book

Swarm, Evolutionary, and Memetic Computing [E-Book] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part II...

Das, Swagatam.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 1707

1707

Swarm Robotics [E-Book] / SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

E-Book

Swarm Robotics [E-Book] / SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

Sahin, Erol.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 1708

1708

Swarm Robotics [E-Book] : Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers /

E-Book

Swarm Robotics [E-Book] : Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers /

Sahin, Erol
2007

Full text

Favorites

Saved in:

QR Code

Select result number 1709

1709

System Modeling and Optimization [E-Book] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers /

E-Book

System Modeling and Optimization [E-Book] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers /

Korytowski, Adam.
2009

Full text

Favorites

Saved in:

QR Code

Select result number 1710

1710

Systems Biology and Computational Proteomics : Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers [E-Book] /

E-Book

Systems Biology and Computational Proteomics : Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Rev...

Bafna, Vineet
2007

Full text

Favorites

Saved in:

QR Code

Select result number 1711

1711

Systems Biology and Regulatory Genomics [E-Book] : Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers /

E-Book

Systems Biology and Regulatory Genomics [E-Book] : Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 200...

Eskin, Eleazar
2006

Full text

Favorites

Saved in:

QR Code

Select result number 1712

1712

Taschenbuch der Algorithmen [E-Book] /

E-Book

Taschenbuch der Algorithmen [E-Book] /

Vöcking, Berthold
2008

Full text

Favorites

Saved in:

QR Code

Select result number 1713

1713

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 result number 1714

1714

Technologies for Advanced Heterogeneous Networks [E-Book] / First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings

E-Book

Technologies for Advanced Heterogeneous Networks [E-Book] / First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings

Cho, Kenjiro
2005

Full text

Favorites

Saved in:

QR Code

Select result number 1715

1715

Technologies for Advanced Heterogeneous Networks II [E-Book] / Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006, Proceedings

E-Book

Technologies for Advanced Heterogeneous Networks II [E-Book] / Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006, Proceedings

Cho, Kenjiro
2006

Full text

Favorites

Saved in:

QR Code

Select result number 1716

1716

Testing and quality assurance for component-based software / [E-Book]

E-Book

Testing and quality assurance for component-based software / [E-Book]

Gao, Jerry.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 1717

1717

Testing IT : an off-the-shelf software testing process [E-Book] /

E-Book

Testing IT : an off-the-shelf software testing process [E-Book] /

Watkins, John
2001

Full text

Favorites

Saved in:

QR Code

Select result number 1718

1718

Testing of Software and Communication Systems [E-Book] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings /

E-Book

Testing of Software and Communication Systems [E-Book] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherla...

Baker, Paul
2009

Full text

Favorites

Saved in:

QR Code

Select result number 1719

1719

Tests and Proofs [E-Book] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings /

E-Book

Tests and Proofs [E-Book] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings /

Fraser, Gordon
2010

Full text

Favorites

Saved in:

QR Code

Select result number 1720

1720

Theorem Proving in Higher Order Logics [E-Book] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

E-Book

Theorem Proving in Higher Order Logics [E-Book] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Berghofer, Stefan
2009

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
81
82
83
84
85
86
87
88
89
90
91
Next
[93]

Narrow Search Results

Electronic Edition 1,852

Conference Publication 1,465 Handbook, Textbook 7 Theses 1

From:

To:

Kittler, Josef 67 Naor, Moni 66 Hutchison, David 65 Kanade, Takeo 65 Kleinberg, Jon M. 65 Mattern, Friedemann 65 more ... Mitchell, John C. 65 Nierstrasz, Oscar 65 Pandu Rangan, C. 65 Steffen, Bernhard 65 Terzopoulos, Demetri 65 Tygar, Doug 65 Vardi, Moshe Y. 65 Weikum, Gerhard 65 Sudan, Madhu 64 Yung, Moti 15 Kim, Tai-hoon 14 Adeli, Hojjat 12 Dongarra, Jack 11 Yang, Laurence T. 11 Jansen, Klaus. 10 Nagamalai, Dhinaharan. 10 Prasanna, Viktor K. 10 Apduhan, Bernady O. 9 Gervasi, Osvaldo 9 Huang, Xiong. 9 Murgante, Beniamino 9 Taniar, David 9 Calude, Cristian S. 8 Jansen, Klaus 8 see all ... less ...

Computer software Computer science 1,327 Computer Communication Networks 673 Artificial intelligence 608 Computational complexity 498 Software engineering 371 more ... Information systems 331 Data encryption (Computer science) 308 Information Systems 267 Data structures (Computer science) 239 Optical pattern recognition 237 Computer graphics 216 Information storage and retrieval systems 203 Electronic data processing 202 Computer vision 176 Operating systems (Computers) 175 Database management 154 Logic design 141 Bioinformatics 136 Data protection 116 Algorithms 109 Data mining 97 Computer simulation 81 Information theory 69 Combinatorics 65 Coding theory 64 Computer network architectures 55 Algebra 52 Computer system performance 31 Biology 28 see all ... less ...

English 1,664 German 8 Italian 1

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...