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

English

Computer science. AND Programming languages (Electronic computers).

Reset Filters

Show filters (4)

Electronic Edition

English

Computer science. AND Programming languages (Electronic computers).

Ask a Librarian

Books & more: Hits 1 - 20 of 114

sort by

Select all titles on this page

Select result number 1

1

Computer Science [E-Book] : The Hardware, Software and Heart of It /

E-Book

Computer Science [E-Book] : The Hardware, Software and Heart of It /

Aho, Alfred V.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Handbook of Open Source Tools [E-Book] /

E-Book

Handbook of Open Source Tools [E-Book] /

Koranne, Sandeep
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Programming Languages: Principles and Paradigms [E-Book] /

E-Book

Programming Languages: Principles and Paradigms [E-Book] /

Gabbrielli, Maurizio
2010

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Guide to Assembly Language Programming in Linux [E-Book] /

E-Book

Guide to Assembly Language Programming in Linux [E-Book] /

Dandamudi, Sivarama P.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Semantics, Logics, and Calculi [E-Book] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /

E-Book

Semantics, Logics, and Calculi [E-Book] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /

Hankin, Chris.
2016

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /

E-Book

Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /

Davis, Martin.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Practical Aspects of Declarative Languages [E-Book] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /

E-Book

Practical Aspects of Declarative Languages [E-Book] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /

Gavanelli, Marco
2016

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Software Engineering [E-Book] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /

E-Book

Software Engineering [E-Book] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /

Meyer, Bertrand
2015

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Programming Languages and Systems [E-Book] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /

E-Book

Programming Languages and Systems [E-Book] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /

Feng, Xinyu.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Verification, Model Checking, and Abstract Interpretation [E-Book] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /

E-Book

Verification, Model Checking, and Abstract Interpretation [E-Book] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /

Jobstmann, Barbara.
2016

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Information Security [E-Book] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /

E-Book

Information Security [E-Book] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /

Desmedt, Yvo.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

E-Book

Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

Meyer, Roland.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Software Architecture [E-Book] : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings /

E-Book

Software Architecture [E-Book] : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings /

Crnkovic, Ivica.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Runtime Verification [E-Book] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /

E-Book

Runtime Verification [E-Book] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /

Bartocci, Ezio.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Programming Languages [E-Book] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /

E-Book

Programming Languages [E-Book] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /

Pardo, Alberto.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Fundamentals of Software Engineering [E-Book] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /

E-Book

Fundamentals of Software Engineering [E-Book] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /

Dastani, Mehdi.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Computer Safety, Reliability, and Security [E-Book] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /

E-Book

Computer Safety, Reliability, and Security [E-Book] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /

Koornneef, Floor.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

OpenMP: Heterogenous Execution and Data Movements [E-Book] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /

E-Book

OpenMP: Heterogenous Execution and Data Movements [E-Book] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /

Chapman, Barbara M.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

SDL 2015: Model-Driven Engineering for Smart Cities [E-Book] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /

E-Book

SDL 2015: Model-Driven Engineering for Smart Cities [E-Book] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /

Fischer, Joachim.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Foundations of Programming Languages [E-Book] /

E-Book

Foundations of Programming Languages [E-Book] /

Lee, Kent D.
2017

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
5
6
Next
[6]

Narrow Search Results

Electronic Edition

Conference Publication 85 Handbook, Textbook 4

From:

To:

Chechik, Marsha 3 Steffen, Bernhard 3 de Supinski, Bronis R. 3 Bitsch, Friedemann 2 Chapman, Barbara M. 2 De Nicola, Rocco 2 more ... Igarashi, Atsushi 2 Johnsen, Einar Broch 2 Lee, Kent D. 2 Liu, Shaoying 2 Margaria, Tiziana 2 Meyer, Bertrand 2 Müller, Matthias S. 2 Wąsowski, Andrzej 2 Ábrahám, Erika 2 Aho, Alfred V. 1 Ahrendt, Wolfgang 1 Aichernig, Bernhard K. 1 Arbel, Eli 1 Babar, Ali 1 Baldoni, Matteo 1 Bansal, Nikhil. 1 Barlas, Gerassimos. 1 Bartocci, Ezio. 1 Beckert, Bernhard 1 Bernardo, Marco 1 Bernhaupt, Regina 1 Bertogna, Marko 1 Biro, Miklos 1 Blazy, Sandrine 1 see all ... less ...

Computer science. Programming languages (Electronic computers). Software engineering. 92 Computer logic. 65 Mathematical logic. 49 Computer programming. 45 more ... Artificial intelligence. 26 Algorithms. 17 Computers. 17 Management information systems. 17 Computer communication systems. 15 Special purpose computers. 10 Computer simulation. 9 Application software. 7 Computer system failures. 6 Computer science 5 Architecture, Computer. 4 Computer networks . 4 Computer organization. 4 Operating systems (Computers). 4 Computer engineering. 3 Computer security. 3 Computer systems. 3 Logic design. 3 Microprocessors. 3 Computer hardware. 2 Expert systems (Computer science). 2 Microprogramming . 2 Natural language processing (Computer science). 2 Numerical analysis. 2 see all ... less ...

DOL - Programming language - Python 2 DAE - Information technology - general 1 DIAC - Compiler, interpreter 1 DMA - Programming 1 DOFC - Programming language - C plus-plus 1 DUAL - Typesetting - TeX/LaTeX 1

English

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...