Search Results

Your Search for 005.1 returned 40 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 Algebraic specification [Monograph ] Series:ACM Press frontier series		1989	Shelf Location: 005.1 ALG. Collections: General. Number of Holdings: 1.
2	Select this title Complementarity: Applications, Algorithms and Extensions [Ebook] Series:Applied Optimization,Volume:50		2001	Shelf Location: Online resource: Springer.
3	Select this title Developments in Global Optimization [Ebook] Series:Nonconvex Optimization and Its Applications,Volume:18		1997	Shelf Location: Online resource: Springer.
4	Select this title Global Optimization in Engineering Design [Ebook] Series:Nonconvex Optimization and Its Applications,Volume:9		1996	Shelf Location: Online resource: Springer.
5	Select this title Intersensory Perception and Sensory Integration [Ebook] Series:Perception and Perceptual Development, A Critical Review Series		1981	Shelf Location: Online resource: Springer.
6	Select this title From Local to Global Optimization [Ebook] Series:Nonconvex Optimization and Its Applications,Volume:53		2001	Shelf Location: Online resource: Springer.
7	Select this title Logic programming [Monograph ] Series:A.P.I.C. studies in data processingVolume:no. 16		1982	Shelf Location: 005.1 LOG. Collections: General. Number of Holdings: 1.
8	Select this title New Trends in Mathematical Programming: Homage to Steven Vajda [Ebook] Series:Applied OptimizationVolume:13		1998	Shelf Location: Online resource: Springer.
9	Select this title Operations Research in Space and Air [Ebook] Series:Applied Optimization,Volume:79		2003	Shelf Location: Online resource: Springer.
10	Select this title Optimization and Related Topics [Ebook] Series:Applied Optimization,Volume:47		2001	Shelf Location: Online resource: Springer.
11	Select this title Optimization in Computational Chemistry and Molecular Biology: Local and Global Approaches / [Ebook] Series:Nonconvex Optimization and Its Applications,Volume:40		2000	Shelf Location: Online resource: Springer.
12	Select this title Optimization Methods and Applications [Ebook] Series:Applied Optimization,Volume:52		2001	Shelf Location: Online resource: Springer.
13	Select this title Semi-Infinite Programming: Recent Advances [Ebook] Series:Nonconvex Optimization and Its ApplicationsVolume:57		2001	Shelf Location: Online resource: Springer.
14	Select this title Semi-Infinite Programming [Ebook] Series:Nonconvex Optimization and Its Applications,Volume:25		1998	Shelf Location: Online resource: Springer.
15	Select this title Structure and interpretation of computer programs [Monograph ] Series:The MIT electrical engineering and computer science series	Abelson, Harold	1985	Shelf Location: 005.1 ABE. Collections: General. Number of Holdings: 1.
16	Select this title Code Generation with Templates [Ebook] Series:Atlantis Studies in ComputingVolume:1	Arnoldus, Jeroen	2012	Shelf Location: Online Resource: Atlantis Press.
17	Select this title Synthese des automates microprogrammes [Monograph ]	Baranov, Sergei	1983	Shelf Location: 005.1 BAR. Collections: General. Number of Holdings: 1.
18	Select this title The theory of computer science: a programming approach [Monograph ] Series:Science paperbacksVolume:130	Brady, John M.	1977	Shelf Location: 005.1 BRA. Collections: General. Number of Holdings: 1.
19	Select this title Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineering and Economics [Ebook] Series:Nonconvex Optimization and Its ApplicationsVolume:10	Demyanov, Vladimir Fedorovich, 1938-	1996	Shelf Location: Online resource: Springer.
20	Select this title Fundamentals of algebraic specification 1: equations and initial semantics [Monograph ] Series:EATCS monographs on theoretical computer scienceVolume:6	Ehrig, Hartmut	1985	Shelf Location: 005.1 EHR. Collections: General. Number of Holdings: 1.
21	Select this title Logic for computer science: foundations of automatic theorem proving [Monograph ]	Gallier, Jean H.	1987	Shelf Location: 005.1 GAL. Collections: General. Number of Holdings: 1.
22	Select this title Mathematics for the Analysis of Algorithms [Ebook] Series:Progress in Computer Science and Applied Logic (PCS) ;Volume:1	Greene, Daniel H. 1955-	1990	Shelf Location: Online resource: Springer.
23	Select this title Confluent string rewriting [Monograph ] Series:EATCS monographs on theoretical computer scienceVolume:14	Jantzen, Matthias	1988	Shelf Location: 005.1 JAN. Collections: General. Number of Holdings: 1.
24	Select this title Temporal logic of programming [Monograph ] Series:EATCS monographs on theoretical computer scienceVolume:8	Kroeger, Fred	1987	Shelf Location: 005.1 KRO. Collections: General. Number of Holdings: 1.
25	Select this title Foundations of logic programming [Monograph ] Series:Symbolic computation.	Lloyd, John Wylie	1987	Shelf Location: 005.1 LLO. Collections: General. Number of Holdings: 1.
26	Select this title Version control with Git [powerful tools and techniques for collaborative software development] [Monograph ]	Loeliger, Jon	2013	Shelf Location: 005.12 LOE. Collections: General. Number of Holdings: 1.
27	Select this title Analysis and Enumeration: Algorithms for Biological Graphs [Ebook] Series:Atlantis Studies in ComputingVolume:6	Marino, Andrea	2015	Shelf Location: Online resource: Springer.
28	Select this title Data algorithms with Spark: recipes and design patterns for scaling up using PySpark [Monograph ]	Parsian, Mahmoud	2022	Shelf Location: 005.111 PAR. Collections: General. Number of Holdings: 1.
29	Select this title Logic for computer science [Monograph ] Series:International computer science series	Reeves, Steve 1957-	1990	Shelf Location: 005.1 REE. Collections: General. Number of Holdings: 1.
30	Select this title Petri nets: an introduction [Monograph ] Series:EATCS monographs on theoretical computer scienceVolume:4	Reisig, Wolfgang	1985	Shelf Location: 005.1 REI. Collections: General. Number of Holdings: 1.
31	Select this title A connotational theory of program structure [Monograph ] Series:Lecture notes in computer scienceVolume:273	Royer, James S.	1987	Shelf Location: 005.1 ROY. Collections: General. Number of Holdings: 1.
32	Select this title Concepts of programming languages [Monograph ]	Sebesta, Robert W.	1989	Shelf Location: 005.1 SEB. Collections: General. Number of Holdings: 1.
33	Select this title Statistical Methods in Software Engineering: Reliability and Risk / [Ebook] Series:Springer Series in Statistics,	Singpurwalla, Nozer D.	1999	Shelf Location: Online resource: Springer.
34	Select this title The algorithm design manual [Monograph ]	Skiena, Steven S.	1998	Shelf Location: 005.1 SKI. Collections: General. Number of Holdings: 2.
35	Select this title Think like a programmer: an introduction to creative problem solving [Monograph ]	Spraul, V. Anton	2012	Shelf Location: 005.1 SPR c.1-c.3. Collections: General. Number of Holdings: 3.
36	Select this title Languages and machines: an introduction to the theory of computer science [Monograph ] Series:Addison-Wesley series in computer science	Sudkamp, Thomas A.	1988	Shelf Location: 005.1 SUD. Collections: General. Number of Holdings: 1.
37	Select this title Large-scale Optimization — Problems and Methods [Ebook] Series:Applied Optimization,Volume:51	Tsurkov, Vladimir	2001	Shelf Location: Online resource: Springer.
38	Select this title Insight through computing: a MATLAB introduction to computational science and engineering [Ebook] Series:Other Titles in Applied Mathematics	Van Loan, Charles F.	2010	Shelf Location: Online Resource : Society for Industrial and Applied Mathematics.
39	Select this title Solving Hyperbolic Equations with Finite Volume Methods [Ebook] Series:UNITEXT,Volume:90	Vázquez-Cendón, M. Elena	2015	Shelf Location: Online resource: Springer.
40	Select this title Filter Design With Time Domain Mask Constraints: Theory and Applications [Ebook] Series:Applied Optimization,Volume:56	Vo, Ba-Ngu	2001	Shelf Location: Online resource: Springer.