Suchergebnisse - Checking Java programs

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

[1]
Vorheriger
1
2

21

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Beyer, Dirk (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

E-Book

22

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

E-Book

23

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Silva, Alexandra (Herausgeber)

1st ed. 2021

Cham : Springer International Publishing, 2021

E-Book

24

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II

Sankaranarayanan, Sriram (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

E-Book

25

Learning RxJava

Nield, Thomas (Verfasser)

1st edition

[Erscheinungsort nicht ermittelbar] : Packt Publishing, 2017

E-Book

26

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

E-Book

27

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Liu, Shaoying (Herausgeber)

1st ed. 2025

Singapore : Springer Nature Singapore, 2025

E-Book

28

Testing Software and Systems : 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings

Menéndez, Héctor D (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

E-Book

29

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Groote, Jan Friso (Herausgeber)

1st ed. 2021

Cham : Springer International Publishing, 2021

E-Book

30

XML in a nutshell : [covers XML Schema ; a desktop quick reference]

Harold, Elliotte Rusty (Verfasser)

2. ed.

Beijing : O'Reilly, 2002

Buch

31

ML for the working programmer

Paulson, Lawrence C.

1. paperback ed. (with corrections)

Cambridge : Univ. Press, 1992

Buch

32

Practical computing for biologists

Haddock, Steven H. D.

1. ed.

Sunderland : Sinauer, 2011

Buch

33

Pentaho solutions : business intelligence and data warehousing with Pentaho and MySQL

Bouman, Roland

Indianapolis, Ind. : Wiley, 2009

Buch

34

Algorithms and data structures : the basic toolbox

Mehlhorn, Kurt

Berlin [u.a.] : Springer, 2008

Buch

35

Software evolution

Mens, Tom (Herausgeber)

Berlin : Springer, 2008

Buch

[1]
Vorheriger
1
2