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

Artificial intelligence. AND Software engineering. AND Programming languages (Electronic computers).

Electronic Edition

Reset Filters

Show filters (4)

Artificial intelligence. AND Software engineering. AND Programming languages (Electronic computers).

Electronic Edition

Ask a Librarian

Books & more: Hits 1 - 20 of 29

sort by

Select all titles on this page

Select result number 1

1

AIxIA 2020 - Advances in Artificial Intelligence [E-Book] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers /

E-Book

AIxIA 2020 - Advances in Artificial Intelligence [E-Book] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2...

Baldoni, Matteo
2021

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Artificial Intelligence and Soft Computing [E-Book] : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II /

E-Book

Artificial Intelligence and Soft Computing [E-Book] : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II /

Korytkowski, Marcin
2021

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

E-Book

Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

Olivetti, Nicola
2016

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

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 5

5

Deductive Software Verification – The KeY Book [E-Book] : From Theory to Practice /

E-Book

Deductive Software Verification – The KeY Book [E-Book] : From Theory to Practice /

Ahrendt, Wolfgang
2016

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /

E-Book

Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /

King, Andy
2016

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Functional and Logic Programming [E-Book] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /

E-Book

Functional and Logic Programming [E-Book] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /

Hanus, Michael
2022

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

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 9

9

Genetic Programming [E-Book] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /

E-Book

Genetic Programming [E-Book] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /

Medvet, Eric
2022

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Hardware and Software: Verification and Testing [E-Book] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /

E-Book

Hardware and Software: Verification and Testing [E-Book] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /

Piterman, Nir.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Hardware and Software: Verification and Testing [E-Book] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /

E-Book

Hardware and Software: Verification and Testing [E-Book] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /

Arbel, Eli
2016

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

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 13

13

Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /

E-Book

Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /

Zhu, Hu
2024

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Intelligent Computer Mathematics [E-Book] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /

E-Book

Intelligent Computer Mathematics [E-Book] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /

Johansson, Moa
2016

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /

E-Book

Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Gre...

Margaria, Tiziana
2021

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

E-Book

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu,...

Margaria, Tiziana
2016

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

E-Book

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October...

Margaria, Tiziana
2016

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

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 19

19

Model-Driven Engineering and Software Development [E-Book] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers /

E-Book

Model-Driven Engineering and Software Development [E-Book] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, M...

Hammoudi, Slimane
2023

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Provenance and Annotation of Data and Processes [E-Book] : 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /

E-Book

Provenance and Annotation of Data and Processes [E-Book] : 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /

Alper, Pinar
2018

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
Next
[2]

Narrow Search Results

Electronic Edition

Conference Publication 25

From:

To:

Margaria, Tiziana 3 Steffen, Bernhard 3 Kalenkova, Anna 2 Yavorskiy, Rostislav 2 Ahrendt, Wolfgang 1 Alper, Pinar 1 more ... Arbel, Eli 1 Baldoni, Matteo 1 Bandini, Stefania 1 Beckert, Bernhard 1 Belhajjame, Khalid 1 Blazy, Sandrine 1 Bloem, Roderick 1 Bonsangue, Marcello 1 Bubel, Richard 1 Cavalli, Ana Rosa 1 Chechik, Marsha 1 Cimatti, Alessandro 1 Dastani, Mehdi. 1 Davis, Martin. 1 De Nicola, Rocco 1 Deng, Lizhen 1 Desmedt, Yvo. 1 Fehnker, Ansgar. 1 Gehani, Ashish 1 Gurfinkel, Arie 1 Hage, Jurriaan 1 Hammoudi, Slimane 1 Hanus, Michael 1 Hähnle, Reiner 1 see all ... less ...

Artificial intelligence. Programming languages (Electronic computers). Software engineering. Computer science. 22 Computer logic. 18 Mathematical logic. 16 more ... Computer programming. 12 Computers. 6 Application software. 4 Computer communication systems. 3 Algorithms. 2 Computer networks . 2 Computer systems. 2 Computer engineering. 1 Computer organization. 1 Computer science 1 Computer science -- Mathematics. 1 Computer science-Mathematics. 1 Computer security. 1 Computer simulation. 1 Computer system failures. 1 Computer vision. 1 Computers, Special purpose. 1 Database management. 1 Image processing -- Digital techniques. 1 Management information systems. 1 Optical data processing. 1 Special purpose computers. 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...