Search Results

Your Search for PROGRAMMING LANGUAGES ELECTRONIC COMPUTERS returned 42 Items

Sort Preference Search Result Page: . 1 . . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Search Results
Result	Title	Author	Year	Holding Information
1	Select this title Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 / [Ebook]		2000	Shelf Location: Online resource: Springer.
2	Select this title Developments in Reliable Computing [Ebook]		1999	Shelf Location: Online resource: Springer.
3	Select this title Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / [Ebook] Series:Theoretical Computer Science and General Issues ;Volume:12077		2020	Shelf Location: Online resource: Springer.
4	Select this title Galois Connections and Applications [Ebook] Series:Mathematics and Its Applications ;Volume:565		2004	Shelf Location: Online resource: Springer.
5	Select this title Modeling Languages in Mathematical Optimization [Ebook] Series:Applied Optimization,Volume:88		2004	Shelf Location: Online resource: Springer.
6	Select this title New Essays in Free Logic: In Honour of Karel Lambert / [Ebook] Series:Applied Logic Series,Volume:23		2001	Shelf Location: Online resource: Springer.
7	Select this title Perspectives on Enclosure Methods [Ebook]		2001	Shelf Location: Online resource: Springer.
8	Select this title Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 / [Ebook]		1995	Shelf Location: Online resource: Springer.
9	Select this title Algorithmic language and program development [Monograph ] Series:Texts and monographs in computer science	Bauer, Friedrich L.	1982	Shelf Location: 005.11 BAU. Collections: General. Number of Holdings: 1.
10	Select this title Data abstraction in programming languages [Monograph ] Series:International computer science series	Bishop, Judi M. 1951-	1986	Shelf Location: 005.114 BIS. Collections: General. Number of Holdings: 1.
11	Select this title Programming Rust: fast, safe systems development [Monograph ]	Blandy, Jim	c2018	Shelf Location: 005.1 BLA. Collections: General. Number of Holdings: 1.
12	Select this title Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics [Ebook] Series:Mathematics and its applicationsVolume:72	Brackx, Fred	1991	Shelf Location: Online resource: Springer.
13	Select this title Advanced Relational Programming [Ebook] Series:Mathematics and Its Applications ;Volume:371	Cacace, Filippo	1996	Shelf Location: Online resource: Springer.
14	Select this title Statistical Regression Modeling with R: Longitudinal and Multi-level Modeling / [Ebook] Series:Emerging Topics in Statistics and Biostatistics ,	Chen, Ding-Geng (Din)	2021	Shelf Location: Online resource: Springer.
15	Select this title Lancelot: A Fortran Package for Large-Scale Nonlinear Optimization (Release A) [Ebook] Series:Springer Series in Computational MathematicsVolume:17	Conn, Andrew R.	1992	Shelf Location: Online resource: Springer.
16	Select this title Essential Maple 7: An Introduction for Scientific Programmers [Ebook]	Corless, Robert M.	2002	Shelf Location: Online resource: Springer.
17	Select this title Modern Optimization with R [Ebook] Series:Use R!,	Cortez, Paulo	2021	Shelf Location: Online resource: Springer.
18	Select this title Introduction to Discrete Mathematics with ISETL [Ebook]	Fenton, William E.	1996	Shelf Location: Online resource: Springer.
19	Select this title Object-oriented : metodologie, strumenti, applicazioni [Monograph ]	Forni, Andrea	1992	Shelf Location: 005.114 FOR. Collections: General. Number of Holdings: 1.
20	Select this title Goal-Directed Proof Theory [Ebook] Series:Applied Logic Series,Volume:21	Gabbay, Dov M.	2000	Shelf Location: Online resource: Springer.
21	Select this title Solving Problems in Scientific Computing Using Maple and Matlab® [Ebook]	Gander, Walter	1993	Shelf Location: Online resource: Springer.
22	Select this title Solving Problems in Scientific Computing Using Maple and MATLAB® [Ebook]	Gander, Walter	1995	Shelf Location: Online resource: Springer.
23	Select this title Solving Problems in Scientific Computing Using Maple and MATLAB® [Ebook]	Gander, Walter	1997	Shelf Location: Online resource: Springer.
24	Select this title An Introduction to Programming with Mathematica® [Ebook]	Gaylord, Richard J.	1996	Shelf Location: Online resource: Springer.
25	Select this title The denotational description of programming languages: an introduction [Monograph ]	Gordon, Michael J.C.	1979	Shelf Location: 005.1 GOR. Collections: General. Number of Holdings: 1.
26	Select this title Software Prototyping in Data and Knowledge Engineering [Ebook] Series:Mathematics and Its Applications ;Volume:497	Guida, Giovanni	1999	Shelf Location: Online resource: Springer.
27	Select this title An Introduction to Statistics with Python: With Applications in the Life Sciences / [Ebook] Series:Statistics and Computing,	Haslwanter, Thomas	2016	Shelf Location: Online resource: Springer.
28	Select this title Mathematica®: A Problem-Centered Approach [Ebook] Series:Springer Undergraduate Mathematics Series,	Hazrat, Roozbeh	2015	Shelf Location: Online resource: Springer.
29	Select this title Linear Programming [Ebook] Series:Modern Birkhäuser classics	Karloff, Howard. 1961-	1991	Shelf Location: Online Resource: Birkhäuser.
30	Select this title Introduction to College Mathematics with A Programming Language [Ebook] Series:Undergraduate Texts in Mathematics,	LeCuyer, Edward J.	1978	Shelf Location: Online resource: Springer.
31	Select this title Essentials of Excel VBA, Python, and R: Volume II: Financial Derivatives, Risk Management and Machine Learning / [Ebook]	Lee, John	2023	Shelf Location: Online resource: Springer.
32	Select this title Algebraic approaches to program semantics [Monograph ] Series:Texts and monographs in computer science	Manes, Ernest G. 1943-	1986	Shelf Location: 005.1 MAN. Collections: General. Number of Holdings: 1.
33	Select this title An introduction to formal language theory [Monograph ] Series:The AKM series in theoretical computer science	Moll, Robert N.	1988	Shelf Location: 005.1 MOL. Collections: General. Number of Holdings: 1.
34	Select this title Handbook of Floating-Point Arithmetic [Ebook]	Muller, Jean-Michel	2018	Shelf Location: Online resource: Springer.
35	Select this title Mixed-Effects Models in S and S-PLUS [Ebook] Series:Statistics and Computing,	Pinheiro, José C.	2000	Shelf Location: Online resource: Springer.
36	Select this title The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook] Series:Applied Logic SeriesVolume:26	Pym, David J.	2002	Shelf Location: Online resource: Springer.
37	Select this title Concepts of programming languages [Monograph ]	Sebesta, Robert W.	1989	Shelf Location: 005.1 SEB. Collections: General. Number of Holdings: 1.
38	Select this title Semantics of type theory: correctness, completeness, and indipendence results [Monograph ] Series:Progress in theoretical computer science	Streicher, Thomas 1958-	1991	Shelf Location: 006.3 STR. Collections: General. Number of Holdings: 1.
39	Select this title APL Programs for the Mathematics Classroom [Ebook]	Thomson, Norman D.	1989	Shelf Location: Online resource: Springer.
40	Select this title APL2 in Depth [Ebook]	Thomson, Norman D.	1995	Shelf Location: Online resource: Springer.
41	Select this title The Mathematica GuideBook for Programming [Ebook]	Trott, Michael	2004	Shelf Location: Online resource: Springer.
42	Select this title High-level languages and their compilers [Monograph ] Series:International computer science series	Watson, Des	1989	Shelf Location: 005.44 WAT. Collections: General. Number of Holdings: 1.