1
by Bramer, Max., Bramer, Max.
Published 2005
Table of Contents: ... and Output -- Loops -- Preventing Backtracking -- Changing the Prolog Database -- List Processing -- String...
View full text
Electronic eBook
2
by Bramer, Max., Bramer, Max.
Published 2013
Table of Contents: ... and Arithmetic -- Input and Output -- Loops -- Preventing Backtracking -- Changing the Prolog Database -- List...
View full text
Electronic eBook
3
Table of Contents: ...Introducing Ajax -- Atlas: Taking Ajax to the Next Level -- Atlas: Making Client-Side Java...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Development -- A Model-Driven Approach for Developing Adaptive Software Systems -- Model-Based Performance...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...
View full text
Electronic eBook
10
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
View full text
Electronic eBook