Refine your search

Your search returned 7476 results.

Sort
Results
401.
Negation and control in prolog by Naish Lee by Series: Lecture notes in computer science; 238
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92Pr M6.

402.
Semantics of digital circuits by Kloos Carlos Delgado by Series: Lecture notes in computer science; 285
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(P:4) M7.

403.
Optimale fahrplane by Vebe Gotz by Series: Lecture notes in operations research and mathematical systems; 20
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893 113L01.

404.
Distributed intelligent systems:a coordination perspective by Bedrouni Abdellah; Mittu Ranjeev; Boukhtouta Abdeslem; Berger Jean by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer Verlag 2009
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(S:72) P9 cc6.

405.
Ergodic properties of algebraic fields by Linnik Yu V; Keane M S Tr. by Series: Ergebnisse der mathematik und ihrer grenzgebiete; 45
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 K8.

406.
Proceeding on surface studies with lasers by Aussenegg F R Ed.; Leitner A Ed.; Lippitsch M E Ed. by Series: Springer series in chemical physics; 33
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1983
Availability: Items available for loan: Central Science Library (1)Collection, call number: C5:3-72 M3.

407.
Game theory: decisions, interaction and evolution by Webb James N by Series: Springer undergraduate matheamtics series
Edition: 3
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: London Springer-Verlag 2007
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2891 P7.

408.
Ripples in mathematics: the discrete wavelet transform by Jensen A; Cour-Harbo A.la by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 2001
Availability: Items available for loan: Central Science Library (1)Collection, call number: B36M P1;3.

409.
Chemical sensors: An introduction for scientists and engineers by Grundler Peter by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: Central Science Library (1)Collection, call number: E:3e P7 TE.

410.
Proceeding on the theory and application of cryptographic techniques by Pichler Franz Ed. by Series: Lecture notes in computer science; 219
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N85 M6.

411.
Proceeding on two-dimensional hetero-structures and superlattices by Bauer G Ed.; Kuchar F Ed.; Heinrich H Ed. by Series: Springer series in solid state sciences; 53
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1984
Availability: Items available for loan: Central Science Library (1)Collection, call number: Cp1,N84 M4.

412.
Programming language ada: reference manual by A N S I by Series: Lecture notes in computer science; 155
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92g M3.

413.
Proceeding on theoretical aspects of computer science by Moneien B Ed.; Vidal-Naquet G Ed. by Series: Lecture notes in computer science; 210
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N86 M6.

414.
Computational intelligence for modelling and prediction by Halgamuge Saman K Ed.; Wang Lipo Ed. by Series: Studies in computational intelligence; 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berling Springer-Verlag 2005
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(S:72) P5 TD.

415.
Proceeding on conpar 86 by Handler Wolfgang Ed.; Haupt D Ed. by Series: Lecture notes in computer science; 237
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N866 M6.

416.
Proceeding on recursion theory week by Ebbinghaus H D Ed.; Muller G H Ed. by Series: Lecture notes in mathematics; 1141
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N84 M5.

417.
Proceedings on automata, languages and programming by Kott Laurent Ed. by Series: Lecture notes in computer sciences; 226
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N86 M6.

418.
Proceeding on advances in cryptology by Blakley G R Ed.; Chaum David Ed. by Series: Lecture notes in computer science; 196
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N84 M5.

419.
Proceeding on mathematical foundations of computer science by Gruska J Ed.; Rovan B Ed. by Series: Lecture notes in computer science; 233
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N86 M6.

420.
Algorithms in real algebraic geometry by Basu Saugata; Pollack Richard; Roy Marie-Francoise by Series: Algorithms and computation in mathematics; 10
Edition: 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2006
Availability: Items available for loan: Central Science Library (1)Collection, call number: B6:2 P6 TB.

421.
Proceeding on automated deduction by Siekmann Jorg H Ed. by Series: Lecture notes in computer science; 230
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N86 M6.

422.
Proceedings on logic programming by Shapiro Ehud Ed. by Series: Lecture notes in computer science; 225
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N86 M6.

423.
Variational methods applied to problems of differusion and reaction by Strieder W; Aris R by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1973
Availability: Items available for loan: Central Science Library (1)Collection, call number: E:(B42( L3.

424.
Proceeding on numerical treatment of differential equations in applications by Ansorge R Ed.; Toring W Ed. by Series: Lecture notes in mathematics; 679
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for loan: Central Science Library (1)Collection, call number: B35p1,N77 L8.

425.
Excimer lasers by Rhodes K Ed. by Series: Topocism Applied Physics; 30
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for loan: Central Science Library (1)Collection, call number: D66,8(C5:72) L9.

426.
Supramolecular chemistry-undamentals and applications: Advanced textbook by Ariga Katsuhiko; Kunitake Toyoki by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2006
Availability: Items available for loan: Central Science Library (1)Collection, call number: E5:218 P6;1 TE.

427.
Proceeding on the future of college mathematics by Ralston Anthony Ed.; Young Gail S Ed. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1983
Availability: Items available for loan: Central Science Library (1)Collection, call number: Bp1,N82 M3.

428.
Lectures on Amenability by Runde Volker by Series: Lectures notes in mathematics; 1774
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2002
Availability: Items available for loan: Central Science Library (1)Collection, call number: B37:1 P2 TB.

429.
Lectures on Amenability by Runde Volker by Series: Lectures Notes in Mathematics; 1774
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 2002
Availability: No items available.

430.
Proceeding on logic programming by Wada Eiiti Ed. by Series: Lectuer notes in computer science; 221
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N85 M6.

431.
Proceeding on research and development in informantion retrievel by Salton Gerard Ed.; Schneider Hans-Jochen Ed. by Series: Lecture notes in computer science; 146
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(2:55)p1,N82 M3.

432.
Trends in supply chain design and management:technologies and methodologies by Jung Hosang Ed.; Chen F Frank Ed.; Jeong Bongju Ed. by Series: Springer Series in Advanced Manufacturing
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: London Springer-Verlag 2007
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2T0b8E2 P7 TOR.

433.
Fourier and wavelet analysis by Bachman George; Narici Lawrence; Beckenstein Edward by Series: Universitext
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 2000
Availability: Items available for loan: Central Science Library (1)Collection, call number: B36M P0;4.

434.
Vorlesungen uber eutwicklungs physiologie by Kuhn Alfred by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Heidelberg Springer-Verlag 1955
Availability: Items available for loan: Central Science Library (1)Collection, call number: G:3 113J5.

435.
Proceeding on foundations of software technology and theoretical computer science by Maheshwari S N Ed. by Series: Lecture notes in computer science; 206
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N85 M5.

436.
Analytically uniform spaces and their applications to convolution equations by Berenstein Carlos A; Dostal Milos A by Series: Lecture notes in mathematics; 256
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1972
Availability: Items available for loan: Central Science Library (1)Collection, call number: B36M L2.

437.
Optimale instandhaltungspolitiken in einfachen systemen by Wolff Manfred by Series: Lecture notes in operation research; 18
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2811 113L0.

438.
Riemannsche hilbertmannigfaltigkeiten periodische geodatische by Flaschel P; Klingenberg W by Series: Lecture notes in mathematics; 282
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1972
Availability: Items available for loan: Central Science Library (1)Collection, call number: B313N 113L2.

439.
Formal category theory: Adjointness for 2 categories by Gray John W by Series: Lecture notes in mathematics; 391
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2-316 L4.

440.
Procceding on seminaire d`algebre pual dubreil by Malliavin M P Ed. by Series: Lecture notes in mathematics; 740
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for loan: Central Science Library (1)Collection, call number: B25p1,N77 L9.

441.
Multidimensional inverse problems for differental equations by Vasiliev L.R. by Series: Lecture notes in mathematics; 167
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B33 L0.

442.
Proceeding on thermomechanics in solids by Nowacki W Ed.; Sneddon I M Ed. by Series: International centre for mechanical science courses and lecture; 223
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Wien Springer-verlag 1972
Availability: Items available for loan: Central Science Library (1)Collection, call number: C210r4p1,N74 L2.

443.
Large sparse numerical optimization by Coleman Thomas F by Series: Lecture notes in computer science; 165
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0bB28931 M4.

444.
Proceeding on global differentiable dynamics by Lohwater A.J. Ed.; Hajek O. Ed. by Series: Lecture notes in mathematics; 235
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1971
Availability: Items available for loan: Central Science Library (1)Collection, call number: B33p1,N69 L1.

445.
Proceeding on differential equtions and dynamical systems by Chillingworth D Ed. by Series: Lecture notes in mathematics; 206
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1971
Availability: Items available for loan: Central Science Library (1)Collection, call number: B33p1,N69 K9.

446.
Lecture notes in mathematics by Dold Ed.; Heidelberg Ed.; Eckmann Ed. by Series: Lecture notes in mathematics; 71
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-VErlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B3 122K8.

447.
Fundamentals of artifical intelligence: Advanced course by Bibel W Ed.; Jorrand Ph Ed. by Series: Lecture notes in computer science; 232
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M6.

448.
Collection of informal reports and seminears by Roggenkamp Klaus W by Series: Lecture notes in mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1970
Availability: Items available for loan: Central Science Library (1)Collection, call number: B29M15 L01.2.

449.
Study of the queuing systems MCG/I and GI/M/I by Bhat Narayan U. by Series: Lecture notes in operattions research & mathematical & eco.; 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893Q K81;3.

450.
Study of the queuing systems M/G/I and GI/M/I by Bhat U Narayan by Series: Lectures notes in operation research & mathematical economics; 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-verlag 1968
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893Q K81;2.