Suchergebnisse - A Refinement Method for 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
3
4
5
6
7
Nächster
[7]

61

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

62

Computer Algebra in Scientific Computing CASC’99 : Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31 – June 4, 1999

Ganža, Viktor G. (Herausgeber)

Berlin, Heidelberg : Springer Berlin Heidelberg, 1999

E-Book

63

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 I

Groote, Jan Friso (Herausgeber)

1st ed. 2021

Cham : Springer International Publishing, 2021

E-Book

64

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

65

Clean code : a handbook of agile software craftsmanship

Martin, Robert C. (Verfasser)

Boston : Addison Wesley, 2009

Buch

66

A survey of computational physics : introductory computational science

Landau, Rubin H. (Verfasser)

Princeton, NJ : Princeton Univ. Press, 2008

Buch

67

Microeconometrics using Stata

Cameron, Adrian Colin

Rev. ed.

College Station, Tex. : Stata Press, 2010

Buch

68

Microeconometrics using Stata

Cameron, Adrian Colin

College Station, Tex. : Stata Press, 2009

Buch

69

Beginning Scala : [learn the powerful Scala functional-object language in a fun, interactive way]

Pollak, David

New York : Apress, 2009

Buch

70

Introduction to Maple

Heck, André

3. ed.

New York [u.a.] : Springer, 2003

Buch

71

Mastering Python Design Patterns : A guide to creating smart, efficient, and reusable software

Ayeva, Kamon (Verfasser)

2. Auflage

Birmingham : Packt Publishing Limited, 2018

E-Book

72

Numerical mathematics : with 45 tables

Quarteroni, Alfio (Verfasser)

Second edition

Berlin : Springer, 2007

Buch

73

Internet-based workflow management : toward a semantic web

Marinescu, Dan C.

New York [u.a.] : Wiley-Interscience, 2002

Buch

74

Supply chain planning : quantitative decision support and advanced planning solutions

Günther, Hans-Otto

1. Auflage

Berlin : Springer, 2009

Buch

75

Software engineering : a practitioner's approach

Pressman, Roger S.

2. ed., intern. ed.

New York [u.a.] : McGraw-Hill, 1987

Buch

76

Aspect-oriented software development

Filman, Robert E. (Hrsg.)

Boston [u.a.] : Addison-Wesley, 2005

Buch

77

Linear algebra

Wilkinson, James H. (Mitarb.)

Berlin [u.a.] : Springer, 1971

Buch

78

Programming in Scala

Odersky, Martin (Verfasser)

Third edition

Walnut Creek, California : artima, 2016

Buch

79

Problem-solving methods in artificial intelligence

Nilsson, Nils J.

New York [u.a.] : McGraw-Hill, 1971

Buch

80

Language design and programming methodology : proceedings of a symposium, held in Sydney, Australia, 10 - 11, September, 1979

Tobias, Jeffrey M. (Hrsg.)

Berlin [u.a.] : Springer, 1980

Buch

[1]
Vorheriger
1
2
3
4
5
6
7
Nächster
[7]