publication_title print_identifier online_identifier date_first_issue_online num_first_vol_online num_first_issue_online date_last_issue_online num_last_vol_online num_last_issue_online title_url first_author title_id embargo_info coverage_depth notes publisher_name publication_type date_monograph_published_print date_monograph_published_online monograph_volume monograph_edition first_editor parent_publication_title_id preceding_publication_title_id access_type International Symposium on Programming 978-3-540-09981-9 978-3-540-39233-0 https://link.springer.com/10.1007/3-540-09981-6 10.1007/3-540-09981-6 fulltext Springer Berlin Heidelberg monograph 1980 1980 83 1 Robinet 558 P Language Design and Programming Methodology 978-3-540-09745-7 978-3-540-38579-0 https://link.springer.com/10.1007/3-540-09745-7 10.1007/3-540-09745-7 fulltext Springer Berlin Heidelberg monograph 1980 1980 79 1 Tobias 558 P On the Integration of Algebraic Functions 978-3-540-10290-8 978-3-540-38431-1 https://link.springer.com/10.1007/3-540-10290-6 Davenport 10.1007/3-540-10290-6 fulltext Springer Berlin Heidelberg monograph 1981 1981 102 1 558 P Grammar and L Forms 978-3-540-10233-5 978-3-540-38310-9 https://link.springer.com/10.1007/3-540-10233-7 Wood 10.1007/3-540-10233-7 fulltext Springer Berlin Heidelberg monograph 1980 1980 91 1 558 P Directions in Human Factors for Interactive Systems 978-3-540-10574-9 978-3-540-38552-3 https://link.springer.com/10.1007/3-540-10574-3 Ledgard 10.1007/3-540-10574-3 fulltext Springer Berlin Heidelberg monograph 1981 1981 103 1 558 P Graph Theory and Algorithms 978-3-540-10704-0 978-3-540-38661-2 https://link.springer.com/10.1007/3-540-10704-5 10.1007/3-540-10704-5 fulltext Springer Berlin Heidelberg monograph 1981 1981 108 1 Saito 558 P Digital Image Processing Systems 978-3-540-10705-7 978-3-540-38665-0 https://link.springer.com/10.1007/3-540-10705-3 10.1007/3-540-10705-3 fulltext Springer Berlin Heidelberg monograph 1981 1981 109 1 Bolc 558 P L Systems 978-3-540-06867-9 978-3-540-37823-5 https://link.springer.com/10.1007/3-540-06867-8 10.1007/3-540-06867-8 fulltext Springer Berlin Heidelberg monograph 1974 1974 15 1 Rozenberg 558 P Computing Methods in Applied Sciences and Engineering 978-3-540-06769-6 978-3-540-38380-2 https://link.springer.com/10.1007/3-540-06769-8 10.1007/3-540-06769-8 fulltext Springer Berlin Heidelberg monograph 1974 1974 11 1 Glowinski 558 P Programming in Methodology 978-3-540-07131-0 978-3-540-37401-5 https://link.springer.com/10.1007/3-540-07131-8 10.1007/3-540-07131-8 fulltext Springer Berlin Heidelberg monograph 1975 1975 23 1 Hackl 558 P Automata Theory and Formal Languages 978-3-540-07407-6 978-3-540-37923-2 https://link.springer.com/10.1007/3-540-07407-4 10.1007/3-540-07407-4 fulltext Springer Berlin Heidelberg monograph 1975 1975 33 1 Brakhage 558 P ECI Conference 1976 978-3-540-07804-3 978-3-540-38215-7 https://link.springer.com/10.1007/3-540-07804-5 10.1007/3-540-07804-5 fulltext Springer Berlin Heidelberg monograph 1976 1976 44 1 Samelson 558 P Formal Aspects of Cognitive Processes 978-3-540-07016-0 978-3-540-37297-4 https://link.springer.com/10.1007/3-540-07016-8 10.1007/3-540-07016-8 fulltext Springer Berlin Heidelberg monograph 1975 1975 22 1 Storer 558 P The Vienna Development Method: The Meta-Language 978-3-540-08766-3 978-3-540-35836-7 https://link.springer.com/10.1007/3-540-08766-4 10.1007/3-540-08766-4 fulltext Springer Berlin Heidelberg monograph 1978 1978 61 1 Bjorner 558 P Computing in Systems Described by Equations 978-3-540-08531-7 978-3-540-35983-8 https://link.springer.com/10.1007/3-540-08531-9 O'Donnell 10.1007/3-540-08531-9 fulltext Springer Berlin Heidelberg monograph 1977 1977 58 1 558 P Automata, Languages and Programming 978-3-540-08342-9 978-3-540-37305-6 https://link.springer.com/10.1007/3-540-08342-1 10.1007/3-540-08342-1 fulltext Springer Berlin Heidelberg monograph 1977 1977 52 1 Salomaa 558 P Information Systems Methodology 978-3-540-08934-6 978-3-540-35731-5 https://link.springer.com/10.1007/3-540-08934-9 10.1007/3-540-08934-9 fulltext Springer Berlin Heidelberg monograph 1978 1978 65 1 Bracchi 558 P Functional Programming Languages and Computer Architecture 978-3-540-18317-4 978-3-540-47879-9 https://link.springer.com/10.1007/3-540-18317-5 10.1007/3-540-18317-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 274 1 Kahn 558 P Automata, Languages and Programming 978-3-540-10843-6 978-3-540-38745-9 https://link.springer.com/10.1007/3-540-10843-2 10.1007/3-540-10843-2 fulltext Springer Berlin Heidelberg monograph 1981 1981 115 1 Even 558 P Matrix Eigensystem Routines - EISPACK Guide 978-3-540-07546-2 978-3-540-38015-3 https://link.springer.com/10.1007/3-540-07546-1 Smith 10.1007/3-540-07546-1 fulltext Springer Berlin Heidelberg monograph 1976 1976 6 2 558 P Parallel Computing 1988 978-3-540-51604-0 978-3-540-46689-5 https://link.springer.com/10.1007/3-540-51604-2 10.1007/3-540-51604-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 384 1 Zee 558 P Experiences with Distributed Systems 978-3-540-19333-3 978-3-540-39194-4 https://link.springer.com/10.1007/3-540-19333-2 10.1007/3-540-19333-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 309 1 Nehmer 558 P Rewriting Techniques and Applications 978-3-540-17220-8 978-3-540-47421-0 https://link.springer.com/10.1007/3-540-17220-3 10.1007/3-540-17220-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 256 1 Lescanne 558 P Recent Trends in Data Type Specification 978-3-540-50325-5 978-3-540-45970-5 https://link.springer.com/10.1007/3-540-50325-0 10.1007/3-540-50325-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 332 1 Sannella 558 P Matrix Eigensystem Routines - EISPACK Guide Extension 978-3-540-08254-5 978-3-540-37343-8 https://link.springer.com/10.1007/3-540-08254-9 Garbow 10.1007/3-540-08254-9 fulltext Springer Berlin Heidelberg monograph 1977 1977 51 1 558 P ESEC '89 978-3-540-51635-4 978-3-540-46723-6 https://link.springer.com/10.1007/3-540-51635-2 10.1007/3-540-51635-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 387 1 Ghezzi 558 P Global Optimization 978-3-540-50871-7 978-3-540-46103-6 https://link.springer.com/10.1007/3-540-50871-6 Törn 10.1007/3-540-50871-6 fulltext Springer Berlin Heidelberg monograph 1989 1989 350 1 558 P Alternating Sequential-Parallel Processing 978-3-540-11194-8 978-3-540-38988-0 https://link.springer.com/10.1007/3-540-11194-8 Wallach 10.1007/3-540-11194-8 fulltext Springer Berlin Heidelberg monograph 1982 1982 127 1 558 P Problems and Methodologies in Mathematical Software Production 978-3-540-11603-5 978-3-540-39419-8 https://link.springer.com/10.1007/3-540-11603-6 10.1007/3-540-11603-6 fulltext Springer Berlin Heidelberg monograph 1982 1982 142 1 Messina 558 P Anaphora in Natural Language Understanding 978-3-540-10858-0 978-3-540-38772-5 https://link.springer.com/10.1007/3-540-10858-0 Hirst 10.1007/3-540-10858-0 fulltext Springer Berlin Heidelberg monograph 1981 1981 119 1 558 P Large Sparse Numerical Optimization 978-3-540-12914-1 978-3-540-38796-1 https://link.springer.com/10.1007/3-540-12914-6 Coleman 10.1007/3-540-12914-6 fulltext Springer Berlin Heidelberg monograph 1984 1984 165 1 558 P Portability of Numerical Software 978-3-540-08446-4 978-3-540-37071-0 https://link.springer.com/10.1007/3-540-08446-0 10.1007/3-540-08446-0 fulltext Springer Berlin Heidelberg monograph 1977 1977 57 1 Cowell 558 P The IOTA Programming System 978-3-540-12693-5 978-3-540-38684-1 https://link.springer.com/10.1007/3-540-12693-7 10.1007/3-540-12693-7 fulltext Springer Berlin Heidelberg monograph 1983 1983 160 1 Nakajima 558 P Simple Program Schemes and Formal Languages 978-3-540-06953-9 978-3-540-37197-7 https://link.springer.com/10.1007/3-540-06953-4 Engelfriet 10.1007/3-540-06953-4 fulltext Springer Berlin Heidelberg monograph 1974 1974 20 1 558 P Uncertainty in Knowledge-Based Systems 978-3-540-18579-6 978-3-540-48020-4 https://link.springer.com/10.1007/3-540-18579-8 10.1007/3-540-18579-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 286 1 Bouchon 558 P Distributed Systems - Architecture and Implementation 978-3-540-12116-9 978-3-540-69983-5 https://link.springer.com/10.1007/3-540-10571-9 Davies 10.1007/3-540-10571-9 fulltext Springer Berlin Heidelberg monograph 1981 1981 105 1 Lampson 558 P Pictorial Information Systems 978-3-540-09757-0 978-3-540-38634-6 https://link.springer.com/10.1007/3-540-09757-0 10.1007/3-540-09757-0 fulltext Springer Berlin Heidelberg monograph 1980 1980 80 1 Chang 558 P Computation Theory 978-3-540-16066-3 978-3-540-39748-9 https://link.springer.com/10.1007/3-540-16066-3 Skowron 10.1007/3-540-16066-3 fulltext Springer Berlin Heidelberg monograph 1985 1985 208 1 558 P Coding Theory and Applications 978-3-540-19368-5 978-3-540-39243-9 https://link.springer.com/10.1007/3-540-19368-5 10.1007/3-540-19368-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 311 1 Cohen 558 P NEWCAT: Parsing Natural Language Using Left-Associative Grammar 978-3-540-16781-5 978-3-540-39862-2 https://link.springer.com/10.1007/3-540-16781-1 Hausser 10.1007/3-540-16781-1 fulltext Springer Berlin Heidelberg monograph 1986 1986 231 1 558 P A Comparative Study of Very Large Data Bases 978-3-540-08653-6 978-3-540-35930-2 https://link.springer.com/10.1007/3-540-08653-6 Hill 10.1007/3-540-08653-6 fulltext Springer Berlin Heidelberg monograph 1978 1978 59 1 558 P RIMS Symposium on Software Science and Engineering II 978-3-540-16470-8 978-3-540-39809-7 https://link.springer.com/10.1007/3-540-16470-7 10.1007/3-540-16470-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 220 1 Goto 558 P Time Series Package (TSPACK) 978-3-540-15202-6 978-3-540-39314-6 https://link.springer.com/10.1007/3-540-15202-4 Chaghaghi 10.1007/3-540-15202-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 187 1 558 P Microcomputer System Design 978-3-540-13545-6 978-3-540-38949-1 https://link.springer.com/10.1007/3-540-11172-7 10.1007/3-540-11172-7 fulltext Springer Berlin Heidelberg monograph 1982 1982 126 1 Flynn 558 P Formal Techniques in Real-Time and Fault-Tolerant Systems 978-3-540-50302-6 978-3-540-45965-1 https://link.springer.com/10.1007/3-540-50302-1 10.1007/3-540-50302-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 331 1 Joseph 558 P Interactive Systems 978-3-540-08141-8 978-3-540-37386-5 https://link.springer.com/10.1007/3-540-08141-0 10.1007/3-540-08141-0 fulltext Springer Berlin Heidelberg monograph 1977 1977 49 1 Blaser 558 P Data Base Design Techniques I 978-3-540-11214-3 978-3-540-39051-0 https://link.springer.com/10.1007/3-540-11214-6 10.1007/3-540-11214-6 fulltext Springer Berlin Heidelberg monograph 1982 1982 132 1 Yao 558 P The Programming Language Ada 978-3-540-10693-7 978-3-540-38620-9 https://link.springer.com/10.1007/3-540-10693-6 Bull 10.1007/3-540-10693-6 fulltext Springer Berlin Heidelberg monograph 1980 1980 106 1 558 P International Symposium on Programming 978-3-540-11494-9 978-3-540-39184-5 https://link.springer.com/10.1007/3-540-11494-7 10.1007/3-540-11494-7 fulltext Springer Berlin Heidelberg monograph 1982 1982 137 1 Dezani-Ciancaglini 558 P Edinburgh LCF 978-3-540-09724-2 978-3-540-38526-4 https://link.springer.com/10.1007/3-540-09724-4 Gordon 10.1007/3-540-09724-4 fulltext Springer Berlin Heidelberg monograph 1979 1979 78 1 558 P Automata, Languages, and Programming 978-3-540-13345-2 978-3-540-38886-9 https://link.springer.com/10.1007/3-540-13345-3 10.1007/3-540-13345-3 fulltext Springer Berlin Heidelberg monograph 1984 1984 172 1 Paredaens 558 P A Concurrent Pascal Compiler for Minicomputers 978-3-540-08240-8 978-3-540-37374-2 https://link.springer.com/10.1007/3-540-08240-9 Hartmann 10.1007/3-540-08240-9 fulltext Springer Berlin Heidelberg monograph 1977 1977 50 1 558 P LUCAS Associative Array Processor 978-3-540-16445-6 978-3-540-39785-4 https://link.springer.com/10.1007/3-540-16445-6 Fernstrom 10.1007/3-540-16445-6 fulltext Springer Berlin Heidelberg monograph 1986 1986 216 1 558 P Future Parallel Computers 978-3-540-18203-0 978-3-540-47806-5 https://link.springer.com/10.1007/3-540-18203-9 10.1007/3-540-18203-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 272 1 Treleaven 558 P An Introduction to the PL/CV2 Programming Logic 978-3-540-11492-5 978-3-540-39179-1 https://link.springer.com/10.1007/3-540-11492-0 Constable 10.1007/3-540-11492-0 fulltext Springer Berlin Heidelberg monograph 1982 1982 135 1 558 P Foundations of Software Technology and Theoretical Computer Science 978-3-540-17179-9 978-3-540-47239-1 https://link.springer.com/10.1007/3-540-17179-7 Nori 10.1007/3-540-17179-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 241 1 558 P Logic Programming '85 978-3-540-16479-1 978-3-540-39820-2 https://link.springer.com/10.1007/3-540-16479-0 10.1007/3-540-16479-0 fulltext Springer Berlin Heidelberg monograph 1986 1986 221 1 Wada 558 P Computer Programs for Spelling Correction 978-3-540-10259-5 978-3-540-38381-9 https://link.springer.com/10.1007/3-540-10259-0 Peterson 10.1007/3-540-10259-0 fulltext Springer Berlin Heidelberg monograph 1980 1980 96 1 558 P A Review of Ada Tasking 978-3-540-18008-1 978-3-540-47241-4 https://link.springer.com/10.1007/3-540-18008-7 Burns 10.1007/3-540-18008-7 fulltext Springer Berlin Heidelberg monograph 1987 1987 262 1 558 P International Symposium on Theoretical Programming 978-3-540-06720-7 978-3-540-38012-2 https://link.springer.com/10.1007/3-540-06720-5 10.1007/3-540-06720-5 fulltext Springer Berlin Heidelberg monograph 1974 1974 5 1 Ershov 558 P Boolean Calculus of Differences 978-3-540-10286-1 978-3-540-38421-2 https://link.springer.com/10.1007/3-540-10286-8 Thayse 10.1007/3-540-10286-8 fulltext Springer Berlin Heidelberg monograph 1981 1981 101 1 558 P Operating Systems 978-3-540-09812-6 978-3-540-35880-0 https://link.springer.com/10.1007/3-540-08755-9 Flynn 10.1007/3-540-08755-9 fulltext Springer Berlin Heidelberg monograph 1978 1978 60 1 Bayer 558 P STACS 84 978-3-540-12920-2 978-3-540-38805-0 https://link.springer.com/10.1007/3-540-12920-0 10.1007/3-540-12920-0 fulltext Springer Berlin Heidelberg monograph 1984 1984 166 1 Fontet 558 P Non-Monotonic Reasoning 978-3-540-50701-7 978-3-540-46073-2 https://link.springer.com/10.1007/3-540-50701-9 10.1007/3-540-50701-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 346 1 Reinfrank 558 P Rewriting Techniques and Applications 978-3-540-15976-6 978-3-540-39679-6 https://link.springer.com/10.1007/3-540-15976-2 10.1007/3-540-15976-2 fulltext Springer Berlin Heidelberg monograph 1985 1985 202 1 Jouannaud 558 P Semantics of Digital Circuits 978-3-540-18540-6 978-3-540-48012-9 https://link.springer.com/10.1007/3-540-18540-2 Delgado Kloos 10.1007/3-540-18540-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 285 1 558 P Verifying Concurrent Processes Using Temporal Logic 978-3-540-11205-1 978-3-540-39034-3 https://link.springer.com/10.1007/3-540-11205-7 Hailpern 10.1007/3-540-11205-7 fulltext Springer Berlin Heidelberg monograph 1982 1982 129 1 558 P Programs as Data Objects 978-3-540-16446-3 978-3-540-39786-1 https://link.springer.com/10.1007/3-540-16446-4 10.1007/3-540-16446-4 fulltext Springer Berlin Heidelberg monograph 1986 1986 217 1 Ganzinger 558 P From Logic Design to Logic Programming 978-3-540-18217-7 978-3-540-47811-9 https://link.springer.com/10.1007/3-540-18217-9 Snyers 10.1007/3-540-18217-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 271 1 558 P An Optimized Translation Process and Its Application to ALGOL 68 978-3-540-07545-5 978-3-540-38083-2 https://link.springer.com/10.1007/3-540-07545-3 Branquart 10.1007/3-540-07545-3 fulltext Springer Berlin Heidelberg monograph 1976 1976 38 1 Hansen 558 P DIANA. An Intermediate Language for Ada 978-3-540-12695-9 978-3-540-38685-8 https://link.springer.com/10.1007/3-540-12695-3 10.1007/3-540-12695-3 fulltext Springer Berlin Heidelberg monograph 1983 1983 161 1 Goos 558 P Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 978-3-540-17906-1 978-3-540-47926-0 https://link.springer.com/10.1007/3-540-17906-2 10.1007/3-540-17906-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 255 1 Brauer 558 P EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings 978-3-540-15983-4 978-3-540-39684-0 https://link.springer.com/10.1007/3-540-15983-5 10.1007/3-540-15983-5 fulltext Springer Berlin Heidelberg monograph 1985 1985 203 1 Buchberger 558 P Algebraic Semantics 978-3-540-10284-7 978-3-540-38417-5 https://link.springer.com/10.1007/3-540-10284-1 Guessarian 10.1007/3-540-10284-1 fulltext Springer Berlin Heidelberg monograph 1981 1981 99 1 558 P VDM '88. VDM - The Way Ahead 978-3-540-50214-2 978-3-540-45955-2 https://link.springer.com/10.1007/3-540-50214-9 10.1007/3-540-50214-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 328 1 Bloomfield 558 P Mathematical Models for the Semantics of Parallelism 978-3-540-18419-5 978-3-540-47960-4 https://link.springer.com/10.1007/3-540-18419-8 10.1007/3-540-18419-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 280 1 Venturini Zilli 558 P Ada Software Tools Interfaces 978-3-540-13878-5 978-3-540-39071-8 https://link.springer.com/10.1007/3-540-13878-1 10.1007/3-540-13878-1 fulltext Springer Berlin Heidelberg monograph 1984 1984 180 1 Wallis 558 P Y12M Solution of Large and Sparse Systems of Linear Algebraic Equations 978-3-540-10874-0 978-3-540-38784-8 https://link.springer.com/10.1007/3-540-10874-2 Zlatev 10.1007/3-540-10874-2 fulltext Springer Berlin Heidelberg monograph 1981 1981 121 1 558 P ANNA A Language for Annotating Ada Programs 978-3-540-17980-1 978-3-540-47202-5 https://link.springer.com/10.1007/3-540-17980-1 Luckham 10.1007/3-540-17980-1 fulltext Springer Berlin Heidelberg monograph 1987 1987 260 1 558 P Mathematical Foundations of Computer Science 1989 978-3-540-51486-2 978-3-540-48176-8 https://link.springer.com/10.1007/3-540-51486-4 10.1007/3-540-51486-4 fulltext Springer Berlin Heidelberg monograph 1989 1989 379 1 Kreczmar 558 P Advanced Programming Environments 978-3-540-17189-8 978-3-540-47347-3 https://link.springer.com/10.1007/3-540-17189-4 10.1007/3-540-17189-4 fulltext Springer Berlin Heidelberg monograph 1986 1986 244 1 Conradi 558 P International Symposium on Programming 978-3-540-12925-7 978-3-540-38809-8 https://link.springer.com/10.1007/3-540-12925-1 10.1007/3-540-12925-1 fulltext Springer Berlin Heidelberg monograph 1984 1984 167 1 Paul 558 P Systems of Reductions 978-3-540-18598-7 978-3-540-48026-6 https://link.springer.com/10.1007/3-540-18598-4 Benninghofen 10.1007/3-540-18598-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 277 1 558 P Attribute Grammar Inversion and Source-to-source Translation 978-3-540-19072-1 978-3-540-39079-4 https://link.springer.com/10.1007/3-540-19072-4 Yellin 10.1007/3-540-19072-4 fulltext Springer Berlin Heidelberg monograph 1988 1988 302 1 558 P Recent Issues in Pattern Analysis and Recognition 978-3-540-51815-0 978-3-540-46815-8 https://link.springer.com/10.1007/3-540-51815-0 10.1007/3-540-51815-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 399 1 Cantoni 558 P Readings on Cognitive Ergonomics, Mind and Computers 978-3-540-13394-0 978-3-540-38944-6 https://link.springer.com/10.1007/3-540-13394-1 10.1007/3-540-13394-1 fulltext Springer Berlin Heidelberg monograph 1984 1984 178 1 Veer 558 P Using Sophisticated Models in Resolution Theorem Proving 978-3-540-10231-1 978-3-540-38306-2 https://link.springer.com/10.1007/3-540-10231-0 Sandford 10.1007/3-540-10231-0 fulltext Springer Berlin Heidelberg monograph 1980 1980 90 1 558 P Third International Conference on Logic Programming 978-3-540-16492-0 978-3-540-39831-8 https://link.springer.com/10.1007/3-540-16492-8 10.1007/3-540-16492-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 225 1 Shapiro 558 P Group-Theoretic Algorithms and Graph Isomorphism 978-3-540-11493-2 978-3-540-39182-1 https://link.springer.com/10.1007/3-540-11493-9 Hoffmann 10.1007/3-540-11493-9 fulltext Springer Berlin Heidelberg monograph 1982 1982 136 1 558 P TEMPO 978-3-540-09085-4 978-3-540-35635-6 https://link.springer.com/10.1007/3-540-09085-1 Jones 10.1007/3-540-09085-1 fulltext Springer Berlin Heidelberg monograph 1978 1978 66 1 558 P Automata, Languages and Programming 978-3-540-16761-7 978-3-540-39859-2 https://link.springer.com/10.1007/3-540-16761-7 10.1007/3-540-16761-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 226 1 Kott 558 P Logic and Machines: Decision Problems and Complexity 978-3-540-13331-5 978-3-540-38856-2 https://link.springer.com/10.1007/3-540-13331-3 10.1007/3-540-13331-3 fulltext Springer Berlin Heidelberg monograph 1984 1984 171 1 Börger 558 P VDM '87. VDM - A Formal Method at Work 978-3-540-17654-1 978-3-540-47740-2 https://link.springer.com/10.1007/3-540-17654-3 10.1007/3-540-17654-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 252 1 Bjørner 558 P Algorithms for Parallel Polygon Rendering 978-3-540-51394-0 978-3-540-46204-0 https://link.springer.com/10.1007/3-540-51394-9 Theoharis 10.1007/3-540-51394-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 373 1 558 P Category Theory and Computer Programming 978-3-540-17162-1 978-3-540-47213-1 https://link.springer.com/10.1007/3-540-17162-2 10.1007/3-540-17162-2 fulltext Springer Berlin Heidelberg monograph 1986 1986 240 1 Pitt 558 P The Munich Project CIP 978-3-540-18779-0 978-3-540-48179-9 https://link.springer.com/10.1007/3-540-18779-0 10.1007/3-540-18779-0 fulltext Springer Berlin Heidelberg monograph 1987 1987 292 1 558 P Optimization Techniques. Modeling and Optimization in the Service of Man 1 978-3-540-07622-3 978-3-540-38144-0 https://link.springer.com/10.1007/3-540-07622-0 10.1007/3-540-07622-0 fulltext Springer Berlin Heidelberg monograph 1976 1976 40 1 Cea 558 P Logics of Programs 978-3-540-15648-2 978-3-540-39527-0 https://link.springer.com/10.1007/3-540-15648-8 10.1007/3-540-15648-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 193 1 Parikh 558 P Database Machine Performance: Modeling Methodologies and Evaluation Strategies 978-3-540-17942-9 978-3-540-47140-0 https://link.springer.com/10.1007/3-540-17942-9 10.1007/3-540-17942-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 257 1 Cesarini 558 P Category Theory and Computer Science 978-3-540-18508-6 978-3-540-48006-8 https://link.springer.com/10.1007/3-540-18508-9 10.1007/3-540-18508-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 283 1 Pitt 558 P CSL '87 978-3-540-50241-8 978-3-540-45960-6 https://link.springer.com/10.1007/3-540-50241-6 10.1007/3-540-50241-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 329 1 Börger 558 P Graph-Theoretic Concepts in Computer Science 978-3-540-50728-4 978-3-540-46076-3 https://link.springer.com/10.1007/3-540-50728-0 10.1007/3-540-50728-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 344 1 Leeuwen 558 P Computer Algebra 978-3-540-12868-7 978-3-540-38756-5 https://link.springer.com/10.1007/3-540-12868-9 10.1007/3-540-12868-9 fulltext Springer Berlin Heidelberg monograph 1983 1983 162 1 Hulzen 558 P Rewriting Techniques and Applications 978-3-540-51081-9 978-3-540-46149-4 https://link.springer.com/10.1007/3-540-51081-8 10.1007/3-540-51081-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 355 1 Dershowitz 558 P Categorical Methods in Computer Science 978-3-540-51722-1 978-3-540-46787-8 https://link.springer.com/10.1007/3-540-51722-7 10.1007/3-540-51722-7 fulltext Springer Berlin Heidelberg monograph 1989 1989 393 1 Ehrig 558 P Synthesizing Synchronous Systems by Static Scheduling in Space-Time 978-3-540-51156-4 978-3-540-46172-2 https://link.springer.com/10.1007/3-540-51156-3 Lisper 10.1007/3-540-51156-3 fulltext Springer Berlin Heidelberg monograph 1989 1989 362 1 558 P The Concurrency Control Problem for Database Systems 978-3-540-10845-0 978-3-540-38747-3 https://link.springer.com/10.1007/3-540-10845-9 Casanova 10.1007/3-540-10845-9 fulltext Springer Berlin Heidelberg monograph 1981 1981 116 1 558 P Semantics of Data Types 978-3-540-13346-9 978-3-540-38891-3 https://link.springer.com/10.1007/3-540-13346-1 10.1007/3-540-13346-1 fulltext Springer Berlin Heidelberg monograph 1984 1984 173 1 Kahn 558 P RIMS Symposium on Software Science and Engineering 978-3-540-11980-7 978-3-540-39442-6 https://link.springer.com/10.1007/3-540-11980-9 10.1007/3-540-11980-9 fulltext Springer Berlin Heidelberg monograph 1983 1983 147 1 Goto 558 P Automata on Infinite Words 978-3-540-15641-3 978-3-540-39505-8 https://link.springer.com/10.1007/3-540-15641-0 10.1007/3-540-15641-0 fulltext Springer Berlin Heidelberg monograph 1985 1985 192 1 Nivat 558 P Accurate Scientific Computations 978-3-540-16798-3 978-3-540-47118-9 https://link.springer.com/10.1007/3-540-16798-6 10.1007/3-540-16798-6 fulltext Springer Berlin Heidelberg monograph 1986 1986 235 1 Miranker 558 P MFDBS 87 978-3-540-19121-6 978-3-540-39124-1 https://link.springer.com/10.1007/3-540-19121-6 10.1007/3-540-19121-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 305 1 Biskup 558 P Foundations of Data Organization and Algorithms 978-3-540-51295-0 978-3-540-46186-9 https://link.springer.com/10.1007/3-540-51295-0 10.1007/3-540-51295-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 367 1 Litwin 558 P Concrete and Abstract Voronoi Diagrams 978-3-540-52055-9 978-3-540-46874-5 https://link.springer.com/10.1007/3-540-52055-4 Klein 10.1007/3-540-52055-4 fulltext Springer Berlin Heidelberg monograph 1989 1989 400 1 558 P Graph-Theoretic Concepts in Computer Science 978-3-540-19422-4 978-3-540-39264-4 https://link.springer.com/10.1007/3-540-19422-3 10.1007/3-540-19422-3 fulltext Springer Berlin Heidelberg monograph 1988 1988 314 1 Göttler 558 P Logic Programming '87 978-3-540-19426-2 978-3-540-39267-5 https://link.springer.com/10.1007/3-540-19426-6 10.1007/3-540-19426-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 315 1 Furukawa 558 P Advances in Object-Oriented Database Systems 978-3-540-50345-3 978-3-540-45981-1 https://link.springer.com/10.1007/3-540-50345-5 10.1007/3-540-50345-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 334 1 Dittrich 558 P Foundations of Software Technology and Theoretical Computer Science 978-3-540-52048-1 978-3-540-46872-1 https://link.springer.com/10.1007/3-540-52048-1 10.1007/3-540-52048-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 405 1 Veni Madhavan 558 P Foundations of Software Technology and Theoretical Computer Science 978-3-540-50517-4 978-3-540-46030-5 https://link.springer.com/10.1007/3-540-50517-2 10.1007/3-540-50517-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 338 1 Nori 558 P Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 978-3-540-51083-3 978-3-540-46152-4 https://link.springer.com/10.1007/3-540-51083-4 10.1007/3-540-51083-4 fulltext Springer Berlin Heidelberg monograph 1989 1989 357 1 Mora 558 P Electronic Dictionaries and Automata in Computational Linguistics 978-3-540-51465-7 978-3-540-48140-9 https://link.springer.com/10.1007/3-540-51465-1 10.1007/3-540-51465-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 377 1 Gross 558 P An Attribute Grammar for the Semantic Analysis of ADA 978-3-540-11571-7 978-3-540-39292-7 https://link.springer.com/10.1007/3-540-11571-4 Uhl 10.1007/3-540-11571-4 fulltext Springer Berlin Heidelberg monograph 1982 1982 139 1 558 P CONLAN Report 978-3-540-12275-3 978-3-540-39590-4 https://link.springer.com/10.1007/3-540-12275-3 Piloty 10.1007/3-540-12275-3 fulltext Springer Berlin Heidelberg monograph 1983 1983 151 1 558 P Formalization of Programming Concepts 978-3-540-10699-9 978-3-540-38654-4 https://link.springer.com/10.1007/3-540-10699-5 10.1007/3-540-10699-5 fulltext Springer Berlin Heidelberg monograph 1981 1981 107 1 Diaz 558 P PORTAL Language Description 978-3-540-18960-2 978-3-540-38860-9 https://link.springer.com/10.1007/3-540-18960-2 Businger 10.1007/3-540-18960-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 198 2 558 P System Development and Ada 978-3-540-18341-9 978-3-540-47885-0 https://link.springer.com/10.1007/3-540-18341-8 10.1007/3-540-18341-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 275 1 Habermann 558 P Mathematics of Program Construction 978-3-540-51305-6 978-3-540-46191-3 https://link.springer.com/10.1007/3-540-51305-1 10.1007/3-540-51305-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 375 1 Snepscheut 558 P Graph Reduction 978-3-540-18420-1 978-3-540-47963-5 https://link.springer.com/10.1007/3-540-18420-1 10.1007/3-540-18420-1 fulltext Springer Berlin Heidelberg monograph 1987 1987 279 1 Fasel 558 P Local Area Network Security 978-3-540-51754-2 978-3-540-46802-8 https://link.springer.com/10.1007/3-540-51754-5 10.1007/3-540-51754-5 fulltext Springer Berlin Heidelberg monograph 1989 1989 396 1 Berson 558 P Proceedings / Parcella 1988 978-3-540-50647-8 978-3-540-46062-6 https://link.springer.com/10.1007/3-540-50647-0 10.1007/3-540-50647-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 342 1 Wolf 558 P CAAP '81 978-3-540-10828-3 978-3-540-38716-9 https://link.springer.com/10.1007/3-540-10828-9 10.1007/3-540-10828-9 fulltext Springer Berlin Heidelberg monograph 1981 1981 112 1 Astesiano 558 P Compiler Compilers and High Speed Compilation 978-3-540-51364-3 978-3-540-46200-2 https://link.springer.com/10.1007/3-540-51364-7 10.1007/3-540-51364-7 fulltext Springer Berlin Heidelberg monograph 1989 1989 371 1 Hammer 558 P Programming Languages Implementation and Logic Programming 978-3-540-50820-5 978-3-540-46092-3 https://link.springer.com/10.1007/3-540-50820-1 10.1007/3-540-50820-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 348 1 Deransart 558 P Unobstructed Shortest Paths in Polyhedral Environments 978-3-540-17629-9 978-3-540-47731-0 https://link.springer.com/10.1007/3-540-17629-2 Akman 10.1007/3-540-17629-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 251 1 558 P Automata, Languages and Programming 978-3-540-19488-0 978-3-540-39291-0 https://link.springer.com/10.1007/3-540-19488-6 10.1007/3-540-19488-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 317 1 Lepistö 558 P VLSI Algorithms and Architectures 978-3-540-16766-2 978-3-540-38746-6 https://link.springer.com/10.1007/3-540-16766-8 10.1007/3-540-16766-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 227 1 Makedon 558 P High Performance Transaction Systems 978-3-540-51085-7 978-3-540-46155-5 https://link.springer.com/10.1007/3-540-51085-0 10.1007/3-540-51085-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 359 1 Gawlick 558 P Data Base Design Techniques II 978-3-540-11215-0 978-3-540-39054-1 https://link.springer.com/10.1007/3-540-11215-4 10.1007/3-540-11215-4 fulltext Springer Berlin Heidelberg monograph 1982 1982 133 1 Yao 558 P Enduser Systems and Their Human Factors 978-3-540-12273-9 978-3-540-39588-1 https://link.springer.com/10.1007/3-540-12273-7 10.1007/3-540-12273-7 fulltext Springer Berlin Heidelberg monograph 1983 1983 150 1 Blaser 558 P A Connotational Theory of Program Structure 978-3-540-18253-5 978-3-540-47846-1 https://link.springer.com/10.1007/3-540-18253-5 Royer 10.1007/3-540-18253-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 273 1 558 P WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology 978-3-540-18022-7 978-3-540-47709-9 https://link.springer.com/10.1007/3-540-18022-2 10.1007/3-540-18022-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 253 1 Becker 558 P Automata Networks 978-3-540-19444-6 978-3-540-39270-5 https://link.springer.com/10.1007/3-540-19444-4 10.1007/3-540-19444-4 fulltext Springer Berlin Heidelberg monograph 1988 1988 316 1 Choffrut 558 P Reliability Evaluation of Some Fault-Tolerant Computer Architectures 978-3-540-10274-8 978-3-540-38399-4 https://link.springer.com/10.1007/3-540-10274-4 Osaki 10.1007/3-540-10274-4 fulltext Springer Berlin Heidelberg monograph 1980 1980 97 1 558 P Computation Theory and Logic 978-3-540-18170-5 978-3-540-47795-2 https://link.springer.com/10.1007/3-540-18170-9 10.1007/3-540-18170-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 270 1 Börger 558 P PARLE Parallel Architectures and Languages Europe 978-3-540-17943-6 978-3-540-47144-8 https://link.springer.com/10.1007/3-540-17943-7 10.1007/3-540-17943-7 fulltext Springer Berlin Heidelberg monograph 1987 1987 258 1 Bakker 558 P Complexity and Structure 978-3-540-16079-3 978-3-540-39759-5 https://link.springer.com/10.1007/3-540-16079-5 Schöning 10.1007/3-540-16079-5 fulltext Springer Berlin Heidelberg monograph 1986 1986 211 1 558 P Concepts, Design, and Performance Analysis of a Parallel Prolog Machine 978-3-540-52053-5 978-3-540-46873-8 https://link.springer.com/10.1007/3-540-52053-8 Beer 10.1007/3-540-52053-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 404 1 558 P A Survey of Verification Techniques for Parallel Programs 978-3-540-15239-2 978-3-540-39416-7 https://link.springer.com/10.1007/3-540-15239-3 Barringer 10.1007/3-540-15239-3 fulltext Springer Berlin Heidelberg monograph 1985 1985 191 1 558 P Rechnerstrukturen und Betriebsprogrammierung 978-3-540-06815-0 978-3-540-37760-3 https://link.springer.com/10.1007/3-540-06815-5 10.1007/3-540-06815-5 fulltext Springer Berlin Heidelberg monograph 1974 1974 13 1 Händler 558 P Automatic Differentiation 978-3-540-10861-0 978-3-540-38776-3 https://link.springer.com/10.1007/3-540-10861-0 Rall 10.1007/3-540-10861-0 fulltext Springer Berlin Heidelberg monograph 1981 1981 120 1 558 P Direct Methods for Sparse Matrices 978-3-540-12676-8 978-3-540-38669-8 https://link.springer.com/10.1007/3-540-12676-7 Osterby 10.1007/3-540-12676-7 fulltext Springer Berlin Heidelberg monograph 1983 1983 157 1 558 P P-Functions and Boolean Matrix Factorization 978-3-540-13358-2 978-3-540-38909-5 https://link.springer.com/10.1007/3-540-13358-5 Thayse 10.1007/3-540-13358-5 fulltext Springer Berlin Heidelberg monograph 1984 1984 175 1 558 P Mathematical Foundations of Computer Science 1981 978-3-540-10856-6 978-3-540-38769-5 https://link.springer.com/10.1007/3-540-10856-4 10.1007/3-540-10856-4 fulltext Springer Berlin Heidelberg monograph 1981 1981 118 1 Gruska 558 P Nested Relations and Complex Objects in Databases 978-3-540-51171-7 978-3-540-46175-3 https://link.springer.com/10.1007/3-540-51171-7 10.1007/3-540-51171-7 fulltext Springer Berlin Heidelberg monograph 1989 1989 361 1 Abiteboul 558 P Natural Language at the Computer 978-3-540-50011-7 978-3-540-45885-2 https://link.springer.com/10.1007/3-540-50011-1 10.1007/3-540-50011-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 320 1 Blaser 558 P Logic Programming '86 978-3-540-18024-1 978-3-540-47712-9 https://link.springer.com/10.1007/3-540-18024-9 10.1007/3-540-18024-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 264 1 Wada 558 P Parallel Computing in Science and Engineering 978-3-540-18923-7 978-3-540-38848-7 https://link.springer.com/10.1007/3-540-18923-8 10.1007/3-540-18923-8 fulltext Springer Berlin Heidelberg monograph 1988 1988 295 1 Dierstein 558 P Analogical and Inductive Inference 978-3-540-18081-4 978-3-540-47739-6 https://link.springer.com/10.1007/3-540-18081-8 10.1007/3-540-18081-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 265 1 Jantke 558 P Combinators and Functional Programming Languages 978-3-540-17184-3 978-3-540-47253-7 https://link.springer.com/10.1007/3-540-17184-3 10.1007/3-540-17184-3 fulltext Springer Berlin Heidelberg monograph 1986 1986 242 1 Cousineau 558 P Analysis of Drum and Disk Storage Units 978-3-540-07186-0 978-3-540-37532-6 https://link.springer.com/10.1007/3-540-07186-5 Fuller 10.1007/3-540-07186-5 fulltext Springer Berlin Heidelberg monograph 1975 1975 31 1 558 P Advanced Topics in Artificial Intelligence 978-3-540-50676-8 978-3-540-46068-8 https://link.springer.com/10.1007/3-540-50676-4 10.1007/3-540-50676-4 fulltext Springer Berlin Heidelberg monograph 1988 1988 345 1 Nossum 558 P Concepts in User Interfaces 978-3-540-16791-4 978-3-540-44840-2 https://link.springer.com/10.1007/3-540-16791-9 Beech 10.1007/3-540-16791-9 fulltext Springer Berlin Heidelberg monograph 1986 1986 234 1 Beech 558 P Logics of Programs 978-3-540-12896-0 978-3-540-38775-6 https://link.springer.com/10.1007/3-540-12896-4 10.1007/3-540-12896-4 fulltext Springer Berlin Heidelberg monograph 1984 1984 164 1 Clarke 558 P Database Machines 978-3-540-51324-7 978-3-540-46197-5 https://link.springer.com/10.1007/3-540-51324-8 10.1007/3-540-51324-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 368 1 Boral 558 P Abstract Software Specifications 978-3-540-10007-2 978-3-540-38136-5 https://link.springer.com/10.1007/3-540-10007-5 10.1007/3-540-10007-5 fulltext Springer Berlin Heidelberg monograph 1980 1980 86 1 Bjorner 558 P The Programming Language Ada. Reference Manual 978-3-540-12328-6 978-3-540-46841-7 https://link.springer.com/10.1007/3-540-12328-8 Hutchison 10.1007/3-540-12328-8 fulltext Springer Berlin Heidelberg monograph 1983 1983 155 1 558 P MetaSoft Primer 978-3-540-18657-1 978-3-540-48043-3 https://link.springer.com/10.1007/3-540-18657-3 Blikle 10.1007/3-540-18657-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 288 1 Barstow 558 P Graphtheoretic Concepts in Computer Science 978-3-540-10291-5 978-3-540-38435-9 https://link.springer.com/10.1007/3-540-10291-4 10.1007/3-540-10291-4 fulltext Springer Berlin Heidelberg monograph 1981 1981 100 1 Noltemeier 558 P Automata, Languages and Programming 978-3-540-10003-4 978-3-540-39346-7 https://link.springer.com/10.1007/3-540-10003-2 10.1007/3-540-10003-2 fulltext Springer Berlin Heidelberg monograph 1980 1980 85 1 Bakker 558 P Symbolic and Algebraic Computation 978-3-540-09519-4 978-3-540-35128-3 https://link.springer.com/10.1007/3-540-09519-5 10.1007/3-540-09519-5 fulltext Springer Berlin Heidelberg monograph 1979 1979 72 1 Ng 558 P Coroutines 978-3-540-10256-4 978-3-540-38378-9 https://link.springer.com/10.1007/3-540-10256-6 Marlin 10.1007/3-540-10256-6 fulltext Springer Berlin Heidelberg monograph 1980 1980 95 1 558 P Context-Free Grammars 978-3-540-10245-8 978-3-540-38330-7 https://link.springer.com/10.1007/3-540-10245-0 Nijholt 10.1007/3-540-10245-0 fulltext Springer Berlin Heidelberg monograph 1980 1980 93 1 558 P Fundamentals of Computation Theory 978-3-540-08442-6 978-3-540-37084-0 https://link.springer.com/10.1007/3-540-08442-8 10.1007/3-540-08442-8 fulltext Springer Berlin Heidelberg monograph 1977 1977 56 1 Karpinski 558 P Supercomputing 978-3-540-18991-6 978-3-540-38888-3 https://link.springer.com/10.1007/3-540-18991-2 10.1007/3-540-18991-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 297 1 Houstis 558 P Temporal Logic in Specification 978-3-540-51803-7 978-3-540-46811-0 https://link.springer.com/10.1007/3-540-51803-7 10.1007/3-540-51803-7 fulltext Springer Berlin Heidelberg monograph 1989 1989 398 1 Banieqbal 558 P Symbolic and Algebraic Computation 978-3-540-51084-0 978-3-540-46153-1 https://link.springer.com/10.1007/3-540-51084-2 10.1007/3-540-51084-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 358 1 Gianni 558 P Automata, Languages, and Programming 978-3-540-09510-1 978-3-540-35168-9 https://link.springer.com/10.1007/3-540-09510-1 10.1007/3-540-09510-1 fulltext Springer Berlin Heidelberg monograph 1979 1979 71 1 Maurer 558 P Logics of Programs and Their Applications 978-3-540-11981-4 978-3-540-39445-7 https://link.springer.com/10.1007/3-540-11981-7 10.1007/3-540-11981-7 fulltext Springer Berlin Heidelberg monograph 1983 1983 148 1 Salwicki 558 P Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 978-3-540-15199-9 978-3-540-39307-8 https://link.springer.com/10.1007/3-540-15199-0 10.1007/3-540-15199-0 fulltext Springer Berlin Heidelberg monograph 1985 1985 186 1 Ehrig 558 P Data Base Techniques for Pictorial Application 978-3-540-09763-1 978-3-540-38651-3 https://link.springer.com/10.1007/3-540-09763-5 10.1007/3-540-09763-5 fulltext Springer Berlin Heidelberg monograph 1980 1980 81 1 Blaser 558 P Mathematical Studies of Information Processing 978-3-540-09541-5 978-3-540-35010-1 https://link.springer.com/10.1007/3-540-09541-1 10.1007/3-540-09541-1 fulltext Springer Berlin Heidelberg monograph 1979 1979 75 1 Blum 558 P Program Specification 978-3-540-11490-1 978-3-540-39176-0 https://link.springer.com/10.1007/3-540-11490-4 10.1007/3-540-11490-4 fulltext Springer Berlin Heidelberg monograph 1982 1982 134 1 Staunstrup 558 P A Study in String Processing Languages 978-3-540-16041-0 978-3-540-39719-9 https://link.springer.com/10.1007/3-540-16041-8 Klint 10.1007/3-540-16041-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 205 1 558 P Methods of Algorithmic Language Implementation 978-3-540-08065-7 978-3-540-37510-4 https://link.springer.com/10.1007/3-540-08065-1 10.1007/3-540-08065-1 fulltext Springer Berlin Heidelberg monograph 1977 1977 47 1 Ershov 558 P Logic of Programs 978-3-540-11160-3 978-3-540-38631-5 https://link.springer.com/10.1007/3-540-11160-3 10.1007/3-540-11160-3 fulltext Springer Berlin Heidelberg monograph 1981 1981 125 1 Engeler 558 P Seminar on Concurrency 978-3-540-15670-3 978-3-540-39593-5 https://link.springer.com/10.1007/3-540-15670-4 10.1007/3-540-15670-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 197 1 Brookes 558 P SWAT '88 978-3-540-19487-3 978-3-540-39288-0 https://link.springer.com/10.1007/3-540-19487-8 10.1007/3-540-19487-8 fulltext Springer Berlin Heidelberg monograph 1988 1988 318 1 Karlsson 558 P The Analysis of Concurrent Systems 978-3-540-16047-2 978-3-540-39731-1 https://link.springer.com/10.1007/3-540-16047-7 10.1007/3-540-16047-7 fulltext Springer Berlin Heidelberg monograph 1985 1985 207 1 Denvir 558 P Foundations of Software Technology and Theoretical Computer Science 978-3-540-13883-9 978-3-540-39087-9 https://link.springer.com/10.1007/3-540-13883-8 10.1007/3-540-13883-8 fulltext Springer Berlin Heidelberg monograph 1984 1984 181 1 Joseph 558 P Compiler Specification and Verification 978-3-540-10886-3 978-3-540-38795-4 https://link.springer.com/10.1007/3-540-10886-6 Polak 10.1007/3-540-10886-6 fulltext Springer Berlin Heidelberg monograph 1981 1981 124 1 558 P Local Area Networks: An Advanced Course 978-3-540-15191-3 978-3-540-39286-6 https://link.springer.com/10.1007/3-540-15191-5 10.1007/3-540-15191-5 fulltext Springer Berlin Heidelberg monograph 1985 1985 184 1 Hutchison 558 P Uncertainty and Intelligent Systems 978-3-540-19402-6 978-3-540-39255-2 https://link.springer.com/10.1007/3-540-19402-9 10.1007/3-540-19402-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 313 1 Bouchon 558 P Language Hierarchies and Interfaces 978-3-540-07994-1 978-3-540-37972-0 https://link.springer.com/10.1007/3-540-07994-7 10.1007/3-540-07994-7 fulltext Springer Berlin Heidelberg monograph 1976 1976 46 1 Bauer 558 P Distributed Systems 978-3-540-15216-3 978-3-540-39363-4 https://link.springer.com/10.1007/3-540-15216-4 Alford 10.1007/3-540-15216-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 190 1 Paul 558 P Operating Systems Engineering 978-3-540-11604-2 978-3-540-39424-2 https://link.springer.com/10.1007/3-540-11604-4 10.1007/3-540-11604-4 fulltext Springer Berlin Heidelberg monograph 1982 1982 143 1 Maekawa 558 P Optimization Techniques. Modeling and Optimization in the Service of Man 2 978-3-540-07623-0 978-3-540-38150-1 https://link.springer.com/10.1007/3-540-07623-9 10.1007/3-540-07623-9 fulltext Springer Berlin Heidelberg monograph 1976 1976 41 1 Cea 558 P ESOP 86 978-3-540-16442-5 978-3-540-39782-3 https://link.springer.com/10.1007/3-540-16442-1 10.1007/3-540-16442-1 fulltext Springer Berlin Heidelberg monograph 1986 1986 213 1 Robinet 558 P EPIA'89 978-3-540-51665-1 978-3-540-46743-4 https://link.springer.com/10.1007/3-540-51665-4 10.1007/3-540-51665-4 fulltext Springer Berlin Heidelberg monograph 1989 1989 390 1 Martins 558 P Advances in Petri Nets 1984 978-3-540-15204-0 978-3-540-39320-7 https://link.springer.com/10.1007/3-540-15204-0 10.1007/3-540-15204-0 fulltext Springer Berlin Heidelberg monograph 1985 1985 188 1 Rozenberg 558 P A Hierarchical Associative Processing System 978-3-540-15652-9 978-3-540-39559-1 https://link.springer.com/10.1007/3-540-15652-6 Stüttgen 10.1007/3-540-15652-6 fulltext Springer Berlin Heidelberg monograph 1985 1985 195 1 558 P Visualization in Programming 978-3-540-18507-9 978-3-540-48004-4 https://link.springer.com/10.1007/3-540-18507-0 10.1007/3-540-18507-0 fulltext Springer Berlin Heidelberg monograph 1987 1987 282 1 Gorny 558 P ICDT'86 978-3-540-17187-4 978-3-540-47346-6 https://link.springer.com/10.1007/3-540-17187-8 10.1007/3-540-17187-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 243 1 Ausiello 558 P Fundamentals of Computation Theory 978-3-540-18740-0 978-3-540-48138-6 https://link.springer.com/10.1007/3-540-18740-5 10.1007/3-540-18740-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 278 1 Budach 558 P Analogical and Inductive Inference 978-3-540-51734-4 978-3-540-46798-4 https://link.springer.com/10.1007/3-540-51734-0 10.1007/3-540-51734-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 397 1 Jantke 558 P Trends in Information Processing Systems 978-3-540-10885-6 978-3-540-38794-7 https://link.springer.com/10.1007/3-540-10885-8 10.1007/3-540-10885-8 fulltext Springer Berlin Heidelberg monograph 1981 1981 123 1 Duijvestijn 558 P The Munich Project CIP 978-3-540-15187-6 978-3-540-39269-9 https://link.springer.com/10.1007/3-540-15187-7 10.1007/3-540-15187-7 fulltext Springer Berlin Heidelberg monograph 1985 1985 183 1 558 P Paragon 978-3-540-15212-5 978-3-540-39348-1 https://link.springer.com/10.1007/3-540-15212-1 Sherman 10.1007/3-540-15212-1 fulltext Springer Berlin Heidelberg monograph 1985 1985 189 1 558 P Advances in Petri Nets 1988 978-3-540-50580-8 978-3-540-46059-6 https://link.springer.com/10.1007/3-540-50580-6 10.1007/3-540-50580-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 340 1 Rozenberg 558 P TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 978-3-540-50940-0 978-3-540-46118-0 https://link.springer.com/10.1007/3-540-50940-2 10.1007/3-540-50940-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 352 1 Diaz 558 P PARLE '89 - Parallel Architectures and Languages Europe 978-3-540-51285-1 978-3-540-46184-5 https://link.springer.com/10.1007/3-540-51285-3 10.1007/3-540-51285-3 fulltext Springer Berlin Heidelberg monograph 1989 1989 366 1 Odijk 558 P Geometry and Robotics 978-3-540-51683-5 978-3-540-46748-9 https://link.springer.com/10.1007/3-540-51683-2 10.1007/3-540-51683-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 391 1 Boissonnat 558 P ICDT '88 978-3-540-50171-8 978-3-540-45943-9 https://link.springer.com/10.1007/3-540-50171-1 10.1007/3-540-50171-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 326 1 Gyssens 558 P ESOP '88 978-3-540-19027-1 978-3-540-38941-5 https://link.springer.com/10.1007/3-540-19027-9 10.1007/3-540-19027-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 300 1 Ganzinger 558 P Concurrency 88 978-3-540-50403-0 978-3-540-45999-6 https://link.springer.com/10.1007/3-540-50403-6 10.1007/3-540-50403-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 335 1 Vogt 558 P Advances in Petri Nets 1987 978-3-540-18086-9 978-3-540-47743-3 https://link.springer.com/10.1007/3-540-18086-9 10.1007/3-540-18086-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 266 1 Rozenberg 558 P MFDBS 89 978-3-540-51251-6 978-3-540-46182-1 https://link.springer.com/10.1007/3-540-51251-9 10.1007/3-540-51251-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 364 1 Demetrovics 558 P Parallel Processing 978-3-540-07135-8 978-3-540-37408-4 https://link.springer.com/10.1007/3-540-07135-0 10.1007/3-540-07135-0 fulltext Springer Berlin Heidelberg monograph 1975 1975 24 1 Tse-Yun 558 P Algebraic and Logic Programming 978-3-540-50667-6 978-3-540-46063-3 https://link.springer.com/10.1007/3-540-50667-5 10.1007/3-540-50667-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 343 1 Grabowski 558 P Software Engineering 978-3-540-08364-1 978-3-540-37502-9 https://link.springer.com/10.1007/3-540-07168-7 10.1007/3-540-07168-7 fulltext Springer Berlin Heidelberg monograph 1975 1975 30 1 Bauer 558 P How to Multiply Matrices Faster 978-3-540-13866-2 978-3-540-39058-9 https://link.springer.com/10.1007/3-540-13866-8 Pan 10.1007/3-540-13866-8 fulltext Springer Berlin Heidelberg monograph 1984 1984 179 1 558 P Mathematical Methods of Specification and Synthesis of Software Systems '85 978-3-540-16444-9 978-3-540-39784-7 https://link.springer.com/10.1007/3-540-16444-8 10.1007/3-540-16444-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 215 1 Bibel 558 P Functional Programming Languages and Computer Architecture 978-3-540-15975-9 978-3-540-39677-2 https://link.springer.com/10.1007/3-540-15975-4 10.1007/3-540-15975-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 201 1 Jouannaud 558 P Co-oP 978-3-540-18753-0 978-3-540-48177-5 https://link.springer.com/10.1007/3-540-18753-7 Bui 10.1007/3-540-18753-7 fulltext Springer Berlin Heidelberg monograph 1987 1987 290 1 558 P Logic at Botik '89 978-3-540-51237-0 978-3-540-46180-7 https://link.springer.com/10.1007/3-540-51237-3 10.1007/3-540-51237-3 fulltext Springer Berlin Heidelberg monograph 1989 1989 363 1 Meyer 558 P Fifth Conference on Optimization Techniques. Rome 1973 978-3-540-06600-2 978-3-540-37909-6 https://link.springer.com/10.1007/3-540-06600-4 10.1007/3-540-06600-4 fulltext Springer Berlin Heidelberg monograph 1973 1973 4 1 Conti 558 P Codes for Boundary-Value Problems in Ordinary Differential Equations 978-3-540-09554-5 978-3-540-34858-0 https://link.springer.com/10.1007/3-540-09554-3 10.1007/3-540-09554-3 fulltext Springer Berlin Heidelberg monograph 1979 1979 76 1 Childs 558 P Trends in Computer Algebra 978-3-540-18928-2 978-3-540-38850-0 https://link.springer.com/10.1007/3-540-18928-9 10.1007/3-540-18928-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 296 1 Janßen 558 P PARLE Parallel Architectures and Languages Europe 978-3-540-17945-0 978-3-540-47181-3 https://link.springer.com/10.1007/3-540-17945-3 10.1007/3-540-17945-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 259 1 Bakker 558 P Optimization Techniques 978-3-540-07165-5 978-3-540-37497-8 https://link.springer.com/10.1007/3-540-07165-2 10.1007/3-540-07165-2 fulltext Springer Berlin Heidelberg monograph 1975 1975 27 1 Marchuk 558 P Mathematical Foundations of Computer Science 1978 978-3-540-08921-6 978-3-540-35757-5 https://link.springer.com/10.1007/3-540-08921-7 10.1007/3-540-08921-7 fulltext Springer Berlin Heidelberg monograph 1978 1978 64 1 Winkowski 558 P CAAP '83 978-3-540-12727-7 978-3-540-38714-5 https://link.springer.com/10.1007/3-540-12727-5 10.1007/3-540-12727-5 fulltext Springer Berlin Heidelberg monograph 1983 1983 159 1 Ausiello 558 P Net Theory and Applications 978-3-540-10001-0 978-3-540-39322-1 https://link.springer.com/10.1007/3-540-100016 10.1007/3-540-100016 fulltext Springer Berlin Heidelberg monograph 1980 1980 84 1 Brauer 558 P Computer Assisted Learning 978-3-540-51142-7 978-3-540-46163-0 https://link.springer.com/10.1007/3-540-51142-3 10.1007/3-540-51142-3 fulltext Springer Berlin Heidelberg monograph 1989 1989 360 1 Maurer 558 P TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 978-3-540-50939-4 978-3-540-46116-6 https://link.springer.com/10.1007/3-540-50939-9 10.1007/3-540-50939-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 351 1 Diaz 558 P Mathematical Foundation of Programming Semantics 978-3-540-16816-4 978-3-540-44861-7 https://link.springer.com/10.1007/3-540-16816-8 10.1007/3-540-16816-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 239 1 Melton 558 P The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs 978-3-540-10826-9 978-3-540-38713-8 https://link.springer.com/10.1007/3-540-10826-2 Dehning 10.1007/3-540-10826-2 fulltext Springer Berlin Heidelberg monograph 1981 1981 110 1 558 P Graph-Grammars and Their Application to Computer Science 978-3-540-18771-4 978-3-540-48178-2 https://link.springer.com/10.1007/3-540-18771-5 10.1007/3-540-18771-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 291 1 Ehrig 558 P Advances in Database Technology - EDBT '88 978-3-540-19074-5 978-3-540-39095-4 https://link.springer.com/10.1007/3-540-19074-0 10.1007/3-540-19074-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 303 1 Schmidt 558 P Mathematical Foundations of Computer Science 1975 978-3-540-07389-5 978-3-540-37585-2 https://link.springer.com/10.1007/3-540-07389-2 10.1007/3-540-07389-2 fulltext Springer Berlin Heidelberg monograph 1975 1975 32 1 Becvar 558 P A Relational Theory of Computing 978-3-540-09987-1 978-3-540-39256-9 https://link.springer.com/10.1007/3-540-09987-5 Sanderson 10.1007/3-540-09987-5 fulltext Springer Berlin Heidelberg monograph 1980 1980 82 1 558 P Mathematical Foundations of Computer Science 1979 978-3-540-09526-2 978-3-540-35088-0 https://link.springer.com/10.1007/3-540-09526-8 10.1007/3-540-09526-8 fulltext Springer Berlin Heidelberg monograph 1979 1979 74 1 Becvar 558 P Mathematical Foundations of Computer Science 1976 978-3-540-07854-8 978-3-540-38169-3 https://link.springer.com/10.1007/3-540-07854-1 10.1007/3-540-07854-1 fulltext Springer Berlin Heidelberg monograph 1976 1976 45 1 Mazurkiewicz 558 P 8th International Conference on Automated Deduction 978-3-540-16780-8 978-3-540-39861-5 https://link.springer.com/10.1007/3-540-16780-3 10.1007/3-540-16780-3 fulltext Springer Berlin Heidelberg monograph 1986 1986 230 1 Siekmann 558 P Foundations of Computation Theory 978-3-540-12689-8 978-3-540-38682-7 https://link.springer.com/10.1007/3-540-12689-9 10.1007/3-540-12689-9 fulltext Springer Berlin Heidelberg monograph 1983 1983 158 1 Karpinski 558 P Pattern Recognition 978-3-540-19036-3 978-3-540-38947-7 https://link.springer.com/10.1007/3-540-19036-8 10.1007/3-540-19036-8 fulltext Springer Berlin Heidelberg monograph 1988 1988 301 1 Kittler 558 P 5th Conference on Automated Deduction 978-3-540-10009-6 978-3-540-38140-2 https://link.springer.com/10.1007/3-540-10009-1 10.1007/3-540-10009-1 fulltext Springer Berlin Heidelberg monograph 1980 1980 87 1 Bibel 558 P Semantics-Directed Compiler Generation 978-3-540-10250-2 978-3-540-38339-0 https://link.springer.com/10.1007/3-540-10250-7 10.1007/3-540-10250-7 fulltext Springer Berlin Heidelberg monograph 1980 1980 94 1 Jones 558 P A Calculus of Communicating Systems 978-3-540-10235-9 978-3-540-38311-6 https://link.springer.com/10.1007/3-540-10235-3 Milner 10.1007/3-540-10235-3 fulltext Springer Berlin Heidelberg monograph 1980 1980 92 1 558 P Theoretical Computer Science 978-3-540-09118-9 978-3-540-35517-5 https://link.springer.com/10.1007/3-540-09118-1 10.1007/3-540-09118-1 fulltext Springer Berlin Heidelberg monograph 1979 1979 67 1 Weihrauch 558 P Automata, Languages and Programming 978-3-540-08860-8 978-3-540-35807-7 https://link.springer.com/10.1007/3-540-08860-1 10.1007/3-540-08860-1 fulltext Springer Berlin Heidelberg monograph 1978 1978 62 1 Ausiello 558 P Fifth Conference on Optimization Techniques. Rome 1973 978-3-540-06583-8 978-3-540-37903-4 https://link.springer.com/10.1007/3-540-06583-0 10.1007/3-540-06583-0 fulltext Springer Berlin Heidelberg monograph 1973 1973 3 1 Conti 558 P Interval Mathematics 978-3-540-07170-9 978-3-540-37504-3 https://link.springer.com/10.1007/3-540-07170-9 10.1007/3-540-07170-9 fulltext Springer Berlin Heidelberg monograph 1975 1975 29 1 Nickel 558 P Towards a Formal Description of Ada 978-3-540-10283-0 978-3-540-38415-1 https://link.springer.com/10.1007/3-540-10283-3 10.1007/3-540-10283-3 fulltext Springer Berlin Heidelberg monograph 1980 1980 98 1 Bjorner 558 P Mathematical Foundations of Computer Science 1977 978-3-540-08353-5 978-3-540-37285-1 https://link.springer.com/10.1007/3-540-08353-7 10.1007/3-540-08353-7 fulltext Springer Berlin Heidelberg monograph 1977 1977 53 1 Gruska 558 P Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 978-3-540-15198-2 978-3-540-39302-3 https://link.springer.com/10.1007/3-540-15198-2 10.1007/3-540-15198-2 fulltext Springer Berlin Heidelberg monograph 1985 1985 185 1 Ehrig 558 P Conditional Term Rewriting Systems 978-3-540-19242-8 978-3-540-39166-1 https://link.springer.com/10.1007/3-540-19242-5 10.1007/3-540-19242-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 308 1 Kaplan 558 P Algorithms and Data Structures 978-3-540-51542-5 978-3-540-48237-6 https://link.springer.com/10.1007/3-540-51542-9 10.1007/3-540-51542-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 382 1 Dehne 558 P Mathematical Foundations of Programming Language Semantics 978-3-540-19020-2 978-3-540-38920-0 https://link.springer.com/10.1007/3-540-19020-1 10.1007/3-540-19020-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 298 1 Main 558 P Automata, Languages and Programming 978-3-540-18088-3 978-3-540-47747-1 https://link.springer.com/10.1007/3-540-18088-5 10.1007/3-540-18088-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 267 1 Ottmann 558 P Fundamentals of Computation Theory 978-3-540-51498-5 978-3-540-48180-5 https://link.springer.com/10.1007/3-540-51498-8 10.1007/3-540-51498-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 380 1 Csirik 558 P Foundations of Software Technology and Theoretical Computer Science 978-3-540-16042-7 978-3-540-39722-9 https://link.springer.com/10.1007/3-540-16042-6 10.1007/3-540-16042-6 fulltext Springer Berlin Heidelberg monograph 1985 1985 206 1 Maheshwari 558 P Foundations of Logic and Functional Programming 978-3-540-19129-2 978-3-540-39126-5 https://link.springer.com/10.1007/3-540-19129-1 10.1007/3-540-19129-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 306 1 Boscarol 558 P Computer Algebra 978-3-540-11607-3 978-3-540-39433-4 https://link.springer.com/10.1007/3-540-11607-9 10.1007/3-540-11607-9 fulltext Springer Berlin Heidelberg monograph 1982 1982 144 1 Calmet 558 P Interval Mathematics 1985 978-3-540-16437-1 978-3-540-39779-3 https://link.springer.com/10.1007/3-540-16437-5 10.1007/3-540-16437-5 fulltext Springer Berlin Heidelberg monograph 1986 1986 212 1 Nickel 558 P Applied Algebra, Algorithmics and Error-Correcting Codes 978-3-540-16767-9 978-3-540-38813-5 https://link.springer.com/10.1007/3-540-16767-6 10.1007/3-540-16767-6 fulltext Springer Berlin Heidelberg monograph 1986 1986 228 1 Poli 558 P EUROCAL '87 978-3-540-51517-3 978-3-540-48207-9 https://link.springer.com/10.1007/3-540-51517-8 10.1007/3-540-51517-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 378 1 Davenport 558 P Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 978-3-540-51082-6 978-3-540-46150-0 https://link.springer.com/10.1007/3-540-51082-6 10.1007/3-540-51082-6 fulltext Springer Berlin Heidelberg monograph 1989 1989 356 1 Huguet 558 P Optimal Algorithms 978-3-540-51859-4 978-3-540-46831-8 https://link.springer.com/10.1007/3-540-51859-2 10.1007/3-540-51859-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 401 1 Djidjev 558 P CONPAR 86 978-3-540-16811-9 978-3-540-44856-3 https://link.springer.com/10.1007/3-540-16811-7 10.1007/3-540-16811-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 237 1 Händler 558 P Structure in Complexity Theory 978-3-540-16486-9 978-3-540-39825-7 https://link.springer.com/10.1007/3-540-16486-3 10.1007/3-540-16486-3 fulltext Springer Berlin Heidelberg monograph 1986 1986 223 1 Selman 558 P Computational Geometry and its Applications 978-3-540-50335-4 978-3-540-45975-0 https://link.springer.com/10.1007/3-540-50335-8 10.1007/3-540-50335-8 fulltext Springer Berlin Heidelberg monograph 1988 1988 333 1 Noltemeier 558 P Distributed Algorithms 978-3-540-51687-3 978-3-540-46750-2 https://link.springer.com/10.1007/3-540-51687-5 10.1007/3-540-51687-5 fulltext Springer Berlin Heidelberg monograph 1989 1989 392 1 Bermond 558 P Parallel Algorithms and Architectures 978-3-540-18099-9 978-3-540-47760-0 https://link.springer.com/10.1007/3-540-18099-0 10.1007/3-540-18099-0 fulltext Springer Berlin Heidelberg monograph 1987 1987 269 1 Albrecht 558 P TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 978-3-540-17660-2 978-3-540-47746-4 https://link.springer.com/10.1007/3-540-17660-8 10.1007/3-540-17660-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 249 1 Ehrig 558 P STACS 86 978-3-540-16078-6 978-3-540-39758-8 https://link.springer.com/10.1007/3-540-16078-7 10.1007/3-540-16078-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 210 1 Monien 558 P Graph-Theoretic Concepts in Computer Science 978-3-540-17218-5 978-3-540-47415-9 https://link.springer.com/10.1007/3-540-17218-1 10.1007/3-540-17218-1 fulltext Springer Berlin Heidelberg monograph 1987 1987 246 1 Tinhofer 558 P EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings 978-3-540-15984-1 978-3-540-39685-7 https://link.springer.com/10.1007/3-540-15984-3 10.1007/3-540-15984-3 fulltext Springer Berlin Heidelberg monograph 1985 1985 204 1 Caviness 558 P Algorithms in Modern Mathematics and Computer Science 978-3-540-11157-3 978-3-540-38621-6 https://link.springer.com/10.1007/3-540-11157-3 10.1007/3-540-11157-3 fulltext Springer Berlin Heidelberg monograph 1981 1981 122 1 Ershov 558 P Theoretical Computer Science 978-3-540-08138-8 978-3-540-37389-6 https://link.springer.com/10.1007/3-540-08138-0 10.1007/3-540-08138-0 fulltext Springer Berlin Heidelberg monograph 1977 1977 48 1 Tzschach 558 P Foundations of Software Technology and Theoretical Computer Science 978-3-540-18625-0 978-3-540-48033-4 https://link.springer.com/10.1007/3-540-18625-5 10.1007/3-540-18625-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 287 1 Nori 558 P Stochastic Automata: Stability, Nondeterminism and Prediction 978-3-540-10835-1 978-3-540-38722-0 https://link.springer.com/10.1007/3-540-10835-1 Doberkat 10.1007/3-540-10835-1 fulltext Springer Berlin Heidelberg monograph 1981 1981 113 1 558 P PARLE '89 - Parallel Architectures and Languages Europe 978-3-540-51284-4 978-3-540-46183-8 https://link.springer.com/10.1007/3-540-51284-5 10.1007/3-540-51284-5 fulltext Springer Berlin Heidelberg monograph 1989 1989 365 1 Odijk 558 P Algebraic Algorithms and Error-Correcting Codes 978-3-540-16776-1 978-3-540-39855-4 https://link.springer.com/10.1007/3-540-16776-5 10.1007/3-540-16776-5 fulltext Springer Berlin Heidelberg monograph 1986 1986 229 1 Calmet 558 P Trends, Techniques, and Problems in Theoretical Computer Science 978-3-540-18535-2 978-3-540-48008-2 https://link.springer.com/10.1007/3-540-18535-6 10.1007/3-540-18535-6 fulltext Springer Berlin Heidelberg monograph 1987 1987 281 1 Kelemenova 558 P Compiler Construction 978-3-540-08046-6 978-3-540-37263-9 https://link.springer.com/10.1007/3-540-06958-5 Bauer 10.1007/3-540-06958-5 fulltext Springer Berlin Heidelberg monograph 1974 1974 21 2 Bauer 558 P Finite Representations of CCS and TCSP Programs by Automata and Petri Nets 978-3-540-51525-8 978-3-540-48215-4 https://link.springer.com/10.1007/3-540-51525-9 Taubner 10.1007/3-540-51525-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 369 1 558 P Fundamentals of Computation Theory 978-3-540-10854-2 978-3-540-38765-7 https://link.springer.com/10.1007/3-540-10854-8 10.1007/3-540-10854-8 fulltext Springer Berlin Heidelberg monograph 1981 1981 117 1 Gecseg 558 P Programming Symposium 978-3-540-06859-4 978-3-540-37819-8 https://link.springer.com/10.1007/3-540-06859-7 10.1007/3-540-06859-7 fulltext Springer Berlin Heidelberg monograph 1974 1974 19 1 Robinet 558 P First-Order Dynamic Logic 978-3-540-09237-7 978-3-540-35346-1 https://link.springer.com/10.1007/3-540-09237-4 Harel 10.1007/3-540-09237-4 fulltext Springer Berlin Heidelberg monograph 1979 1979 68 1 558 P Mathematical Foundations of Computer Science 1974 978-3-540-07162-4 978-3-540-37492-3 https://link.springer.com/10.1007/3-540-07162-8 10.1007/3-540-07162-8 fulltext Springer Berlin Heidelberg monograph 1975 1975 28 1 Blikle 558 P 6th Conference on Automated Deduction 978-3-540-11558-8 978-3-540-39240-8 https://link.springer.com/10.1007/BFb0000048 10.1007/BFb0000048 fulltext Springer Berlin Heidelberg monograph 1982 1982 138 1 Loveland 558 P An Analytical Description of CHILL, the CCITT High Level Language 978-3-540-11196-2 978-3-540-38999-6 https://link.springer.com/10.1007/3-540-11196-4 Branquart 10.1007/3-540-11196-4 fulltext Springer Berlin Heidelberg monograph 1982 1982 128 1 558 P Constrained Global Optimization: Algorithms and Applications 978-3-540-18095-1 978-3-540-47755-6 https://link.springer.com/10.1007/BFb0000035 Pardalos 10.1007/BFb0000035 fulltext Springer Berlin Heidelberg monograph 1987 1987 268 1 558 P Graph-Grammars and Their Application to Computer Science 978-3-540-12310-1 978-3-540-39897-4 https://link.springer.com/10.1007/BFb0000094 10.1007/BFb0000094 fulltext Springer Berlin Heidelberg monograph 1983 1983 153 1 Ehrig 558 P Theoretical Computer Science 978-3-540-11973-9 978-3-540-39421-1 https://link.springer.com/10.1007/BFb0036464 10.1007/BFb0036464 fulltext Springer Berlin Heidelberg monograph 1982 1982 145 1 Cremers 558 P Axiomatising the Logic of Computer Programming 978-3-540-11210-5 978-3-540-39038-1 https://link.springer.com/10.1007/BFb0022481 Goldblatt 10.1007/BFb0022481 fulltext Springer Berlin Heidelberg monograph 1982 1982 130 1 558 P Logic Programming '88 978-3-540-51564-7 978-3-540-46654-3 https://link.springer.com/10.1007/3-540-51564-X 10.1007/3-540-51564-X fulltext Springer Berlin Heidelberg monograph 1989 1989 383 1 Furukawa 558 P Exercises in Computer Systems Analysis 978-3-540-07401-4 978-3-540-37910-2 https://link.springer.com/10.1007/BFb0021159 Everling 10.1007/BFb0021159 fulltext Springer Berlin Heidelberg monograph 1975 1975 35 1 558 P Advances in Petri Nets 1985 978-3-540-16480-7 978-3-540-39822-6 https://link.springer.com/10.1007/BFb0016202 10.1007/BFb0016202 fulltext Springer Berlin Heidelberg monograph 1986 1986 222 1 Rozenberg 558 P Compositionality, Concurrency, and Partial Correctness 978-3-540-50845-8 978-3-540-46101-2 https://link.springer.com/10.1007/BFb0020836 Zwiers 10.1007/BFb0020836 fulltext Springer Berlin Heidelberg monograph 1989 1989 321 1 558 P Mathematical Foundations of Computer Science 1986 978-3-540-16783-9 978-3-540-39909-4 https://link.springer.com/10.1007/BFb0016229 10.1007/BFb0016229 fulltext Springer Berlin Heidelberg monograph 1986 1986 233 1 Gruska 558 P Distributed Algorithms 978-3-540-19366-1 978-3-540-39239-2 https://link.springer.com/10.1007/BFb0019789 10.1007/BFb0019789 fulltext Springer Berlin Heidelberg monograph 1988 1988 312 1 Leeuwen 558 P Interactive Relational Database Design 978-3-540-51881-5 978-3-540-46840-0 https://link.springer.com/10.1007/BFb0019944 Bagchi 10.1007/BFb0019944 fulltext Springer Berlin Heidelberg monograph 1989 1989 402 1 558 P Coding Theory and Applications 978-3-540-51643-9 978-3-540-46726-7 https://link.springer.com/10.1007/BFb0019841 10.1007/BFb0019841 fulltext Springer Berlin Heidelberg monograph 1989 1989 388 1 Cohen 558 P Feedback Shift Registers 978-3-540-13330-8 978-3-540-38855-5 https://link.springer.com/10.1007/BFb0023974 Ronse 10.1007/BFb0023974 fulltext Springer Berlin Heidelberg monograph 1984 1984 169 1 558 P Theory of Program Structures 978-3-540-07415-1 978-3-540-37942-3 https://link.springer.com/10.1007/BFb0023017 Greibach 10.1007/BFb0023017 fulltext Springer Berlin Heidelberg monograph 1975 1975 36 1 558 P STACS 85 978-3-540-13912-6 978-3-540-39136-4 https://link.springer.com/10.1007/BFb0023988 10.1007/BFb0023988 fulltext Springer Berlin Heidelberg monograph 1985 1985 182 1 Mehlhorn 558 P Computational Aspects of an Order-Sorted Logic with Term Declarations 978-3-540-51705-4 978-3-540-46774-8 https://link.springer.com/10.1007/BFb0024065 Schmidt-Schauß 10.1007/BFb0024065 fulltext Springer Berlin Heidelberg monograph 1989 1989 395 1 558 P Logics of Programs 978-3-540-11212-9 978-3-540-39047-3 https://link.springer.com/10.1007/BFb0025769 10.1007/BFb0025769 fulltext Springer Berlin Heidelberg monograph 1982 1982 131 1 Kozen 558 P Graph-Grammars and Their Application to Computer Science and Biology 978-3-540-09525-5 978-3-540-35091-0 https://link.springer.com/10.1007/BFb0025713 10.1007/BFb0025713 fulltext Springer Berlin Heidelberg monograph 1979 1979 73 1 Claus 558 P Statistical and Scientific Database Management 978-3-540-50575-4 978-3-540-46045-9 https://link.springer.com/10.1007/BFb0027501 10.1007/BFb0027501 fulltext Springer Berlin Heidelberg monograph 1989 1989 339 1 Rafanelli 558 P CSL'88 978-3-540-51659-0 978-3-540-46736-6 https://link.springer.com/10.1007/BFb0026291 10.1007/BFb0026291 fulltext Springer Berlin Heidelberg monograph 1989 1989 385 1 Börger 558 P Current Trends in Concurrency 978-3-540-16488-3 978-3-540-39827-1 https://link.springer.com/10.1007/BFb0027037 10.1007/BFb0027037 fulltext Springer Berlin Heidelberg monograph 1986 1986 224 1 Bakker 558 P Complementary Definitions of Programming Language Semantics 978-3-540-07628-5 978-3-540-38160-0 https://link.springer.com/10.1007/BFb0025364 Donahue 10.1007/BFb0025364 fulltext Springer Berlin Heidelberg monograph 1976 1976 42 1 558 P Networking in Open Systems 978-3-540-17707-4 978-3-540-47777-8 https://link.springer.com/10.1007/BFb0026949 10.1007/BFb0026949 fulltext Springer Berlin Heidelberg monograph 1987 1987 248 1 Müller 558 P Mes premieres constructions de programmes 978-3-540-08438-9 978-3-540-37101-4 https://link.springer.com/10.1007/BFb0016936 Gerbier 10.1007/BFb0016936 fulltext Springer Berlin Heidelberg monograph 1977 1977 55 1 558 P Semantics of Concurrent Computation 978-3-540-09511-8 978-3-540-35163-4 https://link.springer.com/10.1007/BFb0022459 10.1007/BFb0022459 fulltext Springer Berlin Heidelberg monograph 1979 1979 70 1 Kahn 558 P Automata, Languages and Programming 978-3-540-15650-5 978-3-540-39557-7 https://link.springer.com/10.1007/BFb0015725 10.1007/BFb0015725 fulltext Springer Berlin Heidelberg monograph 1985 1985 194 1 Brauer 558 P Computing Methods in Applied Sciences and Engineering 978-3-540-06768-9 978-3-540-38374-1 https://link.springer.com/10.1007/BFb0015170 10.1007/BFb0015170 fulltext Springer Berlin Heidelberg monograph 1974 1974 10 1 Glowinski 558 P The Design of Dynamic Data Structures 978-3-540-12330-9 978-3-540-40961-8 https://link.springer.com/10.1007/BFb0014927 Overmars 10.1007/BFb0014927 fulltext Springer Berlin Heidelberg monograph 1983 1983 156 1 558 P Lectures on the Complexity of Bilinear Problems 978-3-540-17205-5 978-3-540-47398-5 https://link.springer.com/10.1007/BFb0020719 Groote 10.1007/BFb0020719 fulltext Springer Berlin Heidelberg monograph 1987 1987 245 1 558 P Fundamentals of Artificial Intelligence 978-3-540-16782-2 978-3-540-39875-2 https://link.springer.com/10.1007/BFb0022678 Bibel 10.1007/BFb0022678 fulltext Springer Berlin Heidelberg monograph 1986 1986 232 1 Bibel 558 P Embedded Systems 978-3-540-18581-9 978-3-540-48021-1 https://link.springer.com/10.1007/BFb0016343 10.1007/BFb0016343 fulltext Springer Berlin Heidelberg monograph 1987 1987 284 1 Kündig 558 P Knowledge Representation and Organization in Machine Learning 978-3-540-50768-0 978-3-540-46081-7 https://link.springer.com/10.1007/BFb0017213 10.1007/BFb0017213 fulltext Springer Berlin Heidelberg monograph 1989 1989 347 1 Morik 558 P Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 978-3-540-51080-2 978-3-540-46147-0 https://link.springer.com/10.1007/BFb0013019 10.1007/BFb0013019 fulltext Springer Berlin Heidelberg monograph 1989 1989 354 1 Bakker 558 P 9th International Conference on Automated Deduction 978-3-540-19343-2 978-3-540-39216-3 https://link.springer.com/10.1007/BFb0012819 10.1007/BFb0012819 fulltext Springer Berlin Heidelberg monograph 1988 1988 310 1 Lusk 558 P Program Construction 978-3-540-09251-3 978-3-540-35312-6 https://link.springer.com/10.1007/BFb0014649 Bauer 10.1007/BFb0014649 fulltext Springer Berlin Heidelberg monograph 1979 1979 69 1 Bauer 558 P CAAP'86 978-3-540-16443-2 978-3-540-39783-0 https://link.springer.com/10.1007/BFb0022653 10.1007/BFb0022653 fulltext Springer Berlin Heidelberg monograph 1986 1986 214 1 Franchi-Zannettacci 558 P Design and Implementation of Programming Languages 978-3-540-08360-3 978-3-540-37260-8 https://link.springer.com/10.1007/BFb0021415 10.1007/BFb0021415 fulltext Springer Berlin Heidelberg monograph 1977 1977 54 1 Williams 558 P Mathematical Foundations of Computer Science 1980 978-3-540-10027-0 978-3-540-38194-5 https://link.springer.com/10.1007/BFb0022491 10.1007/BFb0022491 fulltext Springer Berlin Heidelberg monograph 1980 1980 88 1 Dembinski 558 P Mathematical Foundations of Computer Science 1988 978-3-540-50110-7 978-3-540-45926-2 https://link.springer.com/10.1007/BFb0017126 10.1007/BFb0017126 fulltext Springer Berlin Heidelberg monograph 1988 1988 324 1 Chytil 558 P Methods and Tools for Computer Integrated Manufacturing 978-3-540-12926-4 978-3-540-38845-6 https://link.springer.com/10.1007/BFb0014770 10.1007/BFb0014770 fulltext Springer Berlin Heidelberg monograph 1984 1984 168 1 Rembold 558 P Negation and Control in Prolog 978-3-540-16815-7 978-3-540-44858-7 https://link.springer.com/10.1007/BFb0021681 Naish 10.1007/BFb0021681 fulltext Springer Berlin Heidelberg monograph 1986 1986 238 1 558 P Foundations of Equational Logic Programming 978-3-540-51533-3 978-3-540-48226-0 https://link.springer.com/10.1007/BFb0015791 Hölldobler 10.1007/BFb0015791 fulltext Springer Berlin Heidelberg monograph 1989 1989 353 1 558 P TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 978-3-540-17611-4 978-3-540-47717-4 https://link.springer.com/10.1007/BFb0014968 10.1007/BFb0014968 fulltext Springer Berlin Heidelberg monograph 1987 1987 250 1 Ehrig 558 P ESEC '87 978-3-540-18712-7 978-3-540-48117-1 https://link.springer.com/10.1007/BFb0022092 10.1007/BFb0022092 fulltext Springer Berlin Heidelberg monograph 1987 1987 289 1 Nichols 558 P Machines, Languages, and Complexity 978-3-540-51516-6 978-3-540-48203-1 https://link.springer.com/10.1007/BFb0015922 10.1007/BFb0015922 fulltext Springer Berlin Heidelberg monograph 1989 1989 381 1 Dassow 558 P Formal Properties of Finite Automata and Applications 978-3-540-51631-6 978-3-540-46721-2 https://link.springer.com/10.1007/BFb0013106 10.1007/BFb0013106 fulltext Springer Berlin Heidelberg monograph 1989 1989 386 1 Pin 558 P TEX for Scientific Documentation 978-3-540-16807-2 978-3-540-47057-1 https://link.springer.com/10.1007/BFb0022687 10.1007/BFb0022687 fulltext Springer Berlin Heidelberg monograph 1986 1986 236 1 Desarmenien 558 P Theoretical Computer Science 978-3-540-10576-3 978-3-540-38561-5 https://link.springer.com/10.1007/BFb0017288 10.1007/BFb0017288 fulltext Springer Berlin Heidelberg monograph 1981 1981 104 1 Deussen 558 P Modified Branching Programs and Their Computational Power 978-3-540-51340-7 978-3-540-46198-2 https://link.springer.com/10.1007/BFb0017563 Meinel 10.1007/BFb0017563 fulltext Springer Berlin Heidelberg monograph 1989 1989 370 1 558 P Automata, Languages and Programming 978-3-540-11576-2 978-3-540-39308-5 https://link.springer.com/10.1007/BFb0012751 10.1007/BFb0012751 fulltext Springer Berlin Heidelberg monograph 1982 1982 140 1 Nielsen 558 P CAAP '88 978-3-540-19021-9 978-3-540-38930-9 https://link.springer.com/10.1007/BFb0026091 10.1007/BFb0026091 fulltext Springer Berlin Heidelberg monograph 1988 1988 299 1 Dauchet 558 P Category Theory and Computer Science 978-3-540-51662-0 978-3-540-46740-3 https://link.springer.com/10.1007/BFb0018340 10.1007/BFb0018340 fulltext Springer Berlin Heidelberg monograph 1989 1989 389 1 Pitt 558 P Attribute Grammars 978-3-540-50056-8 978-3-540-45911-8 https://link.springer.com/10.1007/BFb0030509 Deransart 10.1007/BFb0030509 fulltext Springer Berlin Heidelberg monograph 1988 1988 323 1 558 P STACS 89 978-3-540-50840-3 978-3-540-46098-5 https://link.springer.com/10.1007/BFb0028968 10.1007/BFb0028968 fulltext Springer Berlin Heidelberg monograph 1989 1989 349 1 Monien 558 P Automata, Languages and Programming 978-3-540-51371-1 978-3-540-46201-9 https://link.springer.com/10.1007/BFb0035746 10.1007/BFb0035746 fulltext Springer Berlin Heidelberg monograph 1989 1989 372 1 Ausiello 558 P EUROSAM 84 978-3-540-13350-6 978-3-540-38893-7 https://link.springer.com/10.1007/BFb0032823 10.1007/BFb0032823 fulltext Springer Berlin Heidelberg monograph 1984 1984 174 1 Fitch 558 P Natural Language Communication with Computers 978-3-540-08911-7 978-3-540-35765-0 https://link.springer.com/10.1007/BFb0031367 10.1007/BFb0031367 fulltext Springer Berlin Heidelberg monograph 1978 1978 63 1 Bolc 558 P Research and Development in Information Retrieval 978-3-540-11978-4 978-3-540-39440-2 https://link.springer.com/10.1007/BFb0036332 10.1007/BFb0036332 fulltext Springer Berlin Heidelberg monograph 1983 1983 146 1 Salton 558 P λ-Calculus and Computer Science Theory 978-3-540-07416-8 978-3-540-37944-7 https://link.springer.com/10.1007/BFb0029515 10.1007/BFb0029515 fulltext Springer Berlin Heidelberg monograph 1975 1975 37 1 Böhm 558 P Operating Systems 978-3-540-06849-5 978-3-540-37805-1 https://link.springer.com/10.1007/BFb0029350 10.1007/BFb0029350 fulltext Springer Berlin Heidelberg monograph 1974 1974 16 1 Gelenbe 558 P Architecture of Distributed Computer Systems 978-3-540-09723-5 978-3-540-38524-0 https://link.springer.com/10.1007/3-540-09723-6 Bochmann 10.1007/3-540-09723-6 fulltext Springer Berlin Heidelberg monograph 1979 1979 77 1 558 P GAG: A Practical Compiler Generator 978-3-540-11591-5 978-3-540-39353-5 https://link.springer.com/10.1007/BFb0034297 Kastens 10.1007/BFb0034297 fulltext Springer Berlin Heidelberg monograph 1982 1982 141 1 558 P Software Reliability Modelling and Identification 978-3-540-50695-9 978-3-540-46072-5 https://link.springer.com/10.1007/BFb0034284 10.1007/BFb0034284 fulltext Springer Berlin Heidelberg monograph 1988 1988 341 1 Bittanti 558 P Algebraic Methods: Theory, Tools and Applications 978-3-540-51698-9 978-3-540-46758-8 https://link.springer.com/10.1007/BFb0015032 10.1007/BFb0015032 fulltext Springer Berlin Heidelberg monograph 1989 1989 394 1 Wirsing 558 P Trace Theory and VLSI Design 978-3-540-15988-9 978-3-540-39687-1 https://link.springer.com/10.1007/BFb0031414 Snepscheut 10.1007/BFb0031414 fulltext Springer Berlin Heidelberg monograph 1985 1985 200 1 558 P Fundamentals of Computation Theory 978-3-540-15689-5 978-3-540-39636-9 https://link.springer.com/10.1007/BFb0028784 10.1007/BFb0028784 fulltext Springer Berlin Heidelberg monograph 1985 1985 199 1 Budach 558 P Automata, Languages and Programming 978-3-540-12317-0 978-3-540-40038-7 https://link.springer.com/10.1007/BFb0036892 10.1007/BFb0036892 fulltext Springer Berlin Heidelberg monograph 1983 1983 154 1 Diaz 558 P STACS 88 978-3-540-18834-6 978-3-540-48190-4 https://link.springer.com/10.1007/BFb0035825 10.1007/BFb0035825 fulltext Springer Berlin Heidelberg monograph 1988 1988 294 1 Cori 558 P Mathematical Foundations of Computer Science 1984 978-3-540-13372-8 978-3-540-38929-3 https://link.springer.com/10.1007/BFb0030285 10.1007/BFb0030285 fulltext Springer Berlin Heidelberg monograph 1984 1984 176 1 Chytil 558 P CLU 978-3-540-10836-8 978-3-540-38723-7 https://link.springer.com/10.1007/BFb0035014 Liskov 10.1007/BFb0035014 fulltext Springer Berlin Heidelberg monograph 1981 1981 114 1 558 P VLSI Engineering 978-4-431-70002-9 978-4-431-36817-5 https://link.springer.com/10.1007/BFb0043444 10.1007/BFb0043444 fulltext Springer Japan monograph 1984 1984 163 1 Kunii 558 P 1. Fachtagung über Automatentheorie und Formale Sprachen 978-3-540-06527-2 978-3-540-37826-6 https://link.springer.com/10.1007/BFb0039132 10.1007/BFb0039132 fulltext Springer Berlin Heidelberg monograph 1973 1973 2 1 Böhling 558 P Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra 978-3-540-19200-8 978-3-540-39133-3 https://link.springer.com/10.1007/BFb0039172 10.1007/BFb0039172 fulltext Springer Berlin Heidelberg monograph 1988 1988 307 1 Beth 558 P Computer Aided Design Modelling, Systems Engineering, CAD-Systems 978-3-540-10242-7 978-3-540-38324-6 https://link.springer.com/10.1007/BFb0040157 10.1007/BFb0040157 fulltext Springer Berlin Heidelberg monograph 1980 1980 89 1 Encarnacao 558 P Efficient Structures for Geometric Data Management 978-3-540-50463-4 978-3-540-46007-7 https://link.springer.com/10.1007/BFb0046097 Günther 10.1007/BFb0046097 fulltext Springer Berlin Heidelberg monograph 1988 1988 337 1 558 P STACS 87 978-3-540-17219-2 978-3-540-47419-7 https://link.springer.com/10.1007/BFb0039590 10.1007/BFb0039590 fulltext Springer Berlin Heidelberg monograph 1987 1987 247 1 Brandenburg 558 P Programming Languages and their Definition 978-3-540-13378-0 978-3-540-38933-0 https://link.springer.com/10.1007/BFb0048933 Bekic 10.1007/BFb0048933 fulltext Springer Berlin Heidelberg monograph 1984 1984 177 1 Jones 558 P Specification and Design of Software Systems 978-3-540-12284-5 978-3-540-39605-5 https://link.springer.com/10.1007/BFb0051556 10.1007/BFb0051556 fulltext Springer Berlin Heidelberg monograph 1983 1983 152 1 Knuth 558 P Software Engineering Education 978-0-387-97090-5 978-0-387-34791-2 https://link.springer.com/10.1007/BFb0042344 10.1007/BFb0042344 fulltext Springer New York monograph 1989 1989 376 1 Gibbs 558 P Software Engineering Education 978-0-387-96854-4 978-0-387-34779-0 https://link.springer.com/10.1007/BFb0043582 10.1007/BFb0043582 fulltext Springer New York monograph 1988 1988 327 1 Ford 558 P Translating Relational Queries into Iterative Programs 978-3-540-18000-5 978-3-540-47209-4 https://link.springer.com/10.1007/BFb0055115 Freytag 10.1007/BFb0055115 fulltext Springer Berlin Heidelberg monograph 1987 1987 261 1 558 P VLSI Algorithms and Architectures 978-0-387-96818-6 978-0-387-34770-7 https://link.springer.com/10.1007/BFb0040367 10.1007/BFb0040367 fulltext Springer New York monograph 1988 1988 319 1 Reif 558 P Modern Cryptology 978-0-387-96842-1 978-0-387-34775-2 https://link.springer.com/10.1007/BFb0040274 Brassard 10.1007/BFb0040274 fulltext Springer New York monograph 1988 1988 325 1 558 P Error Detection and Recovery in Robotics 978-0-387-96909-1 978-0-387-34784-4 https://link.springer.com/10.1007/BFb0039640 Donald 10.1007/BFb0039640 fulltext Springer New York monograph 1989 1989 336 1 558 P Category Theory Applied to Computation and Control 978-3-540-07142-6 978-3-540-37426-8 https://link.springer.com/10.1007/3-540-07142-3 10.1007/3-540-07142-3 fulltext Springer Berlin Heidelberg monograph 1975 1975 25 1 Manes 558 P The Cray X-MP/Model 24 978-0-387-97089-9 978-0-387-34787-5 https://link.springer.com/10.1007/BFb0040661 Robbins 10.1007/BFb0040661 fulltext Springer New York monograph 1989 1989 374 1 558 P Advances in Cryptology 978-3-540-16076-2 978-3-540-39757-1 https://link.springer.com/10.1007/3-540-39757-4 10.1007/3-540-39757-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 209 1 Beth 558 P Advances in Cryptology 978-3-540-16463-0 978-3-540-39799-1 https://link.springer.com/10.1007/3-540-39799-X 10.1007/3-540-39799-X fulltext Springer Berlin Heidelberg monograph 1986 1986 218 1 Williams 558 P ECOOP '87. European Conference on Object-Oriented Programming 978-3-540-18353-2 978-3-540-47891-1 https://link.springer.com/10.1007/3-540-47891-4 10.1007/3-540-47891-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 276 1 Bezivin 558 P Advances in Cryptology – EUROCRYPT '88 978-3-540-50251-7 978-3-540-45961-3 https://link.springer.com/10.1007/3-540-45961-8 10.1007/3-540-45961-8 fulltext Springer Berlin Heidelberg monograph 1988 1988 330 1 Günther 558 P ECOOP '88 European Conference on Object-Oriented Programming 978-3-540-50053-7 978-3-540-45910-1 https://link.springer.com/10.1007/3-540-45910-3 10.1007/3-540-45910-3 fulltext Springer Berlin Heidelberg monograph 1988 1988 322 1 Gjessing 558 P Advances in Cryptology - CRYPTO '86 978-3-540-18047-0 978-3-540-47721-1 https://link.springer.com/10.1007/3-540-47721-7 10.1007/3-540-47721-7 fulltext Springer Berlin Heidelberg monograph 1987 1987 263 1 Odlyzko 558 P Advances in Cryptology – EUROCRYPT '85 978-3-540-16468-5 978-3-540-39805-9 https://link.springer.com/10.1007/3-540-39805-8 10.1007/3-540-39805-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 219 1 Pichler 558 P Advances in Cryptology – EUROCRYPT '87 978-3-540-19102-5 978-3-540-39118-0 https://link.springer.com/10.1007/3-540-39118-5 10.1007/3-540-39118-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 304 1 Chaum 558 P Advances in Cryptology - CRYPTO '87 978-3-540-18796-7 978-3-540-48184-3 https://link.springer.com/10.1007/3-540-48184-2 10.1007/3-540-48184-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 293 1 Pomerance 558 P CONPAR 81 978-3-540-10827-6 978-3-540-38715-2 https://link.springer.com/10.1007/BFb0105105 10.1007/BFb0105105 fulltext Springer Berlin Heidelberg monograph 1981 1981 111 1 Händler 558 P Advances in Cryptology 978-3-540-15658-1 978-3-540-39568-3 https://link.springer.com/10.1007/3-540-39568-7 10.1007/3-540-39568-7 fulltext Springer Berlin Heidelberg monograph 1985 1985 196 1 Blakely 558 P Cryptography 978-3-540-11993-7 978-3-540-39466-2 https://link.springer.com/10.1007/3-540-39466-4 10.1007/3-540-39466-4 fulltext Springer Berlin Heidelberg monograph 1983 1983 149 1 Beth 558 P 7th International Conference on Automated Deduction 978-0-387-96022-7 978-0-387-34768-4 https://link.springer.com/10.1007/978-0-387-34768-4 10.1007/978-0-387-34768-4 fulltext Springer New York monograph 1984 1984 170 1 Shostak 558 P Petri Nets: Central Models and Their Properties 978-3-540-17905-4 978-3-540-47919-2 https://link.springer.com/10.1007/978-3-540-47919-2 10.1007/978-3-540-47919-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 254 1 Brauer 558 P Matrix Eigensystem Routines - EISPACK Guide 978-3-540-06710-8 978-3-540-38004-7 https://link.springer.com/10.1007/978-3-540-38004-7 Smith 10.1007/978-3-540-38004-7 fulltext Springer Berlin Heidelberg monograph 1974 1974 6 1 558 P PASCAL User Manual and Report 978-3-540-07167-9 978-3-540-37500-5 https://link.springer.com/10.1007/978-3-540-37500-5 Jensen 10.1007/978-3-540-37500-5 fulltext Springer Berlin Heidelberg monograph 1975 1975 18 2 558 P Automata, Languages and Programming 978-3-540-06841-9 978-3-662-21545-6 https://link.springer.com/10.1007/978-3-662-21545-6 10.1007/978-3-662-21545-6 fulltext Springer Berlin Heidelberg monograph 1974 1974 14 1 Loeckx 558 P PASCAL - User Manual and Report 978-3-540-06950-8 978-3-662-21554-8 https://link.springer.com/10.1007/978-3-662-21554-8 Jensen 10.1007/978-3-662-21554-8 fulltext Springer Berlin Heidelberg monograph 1974 1974 18 1 558 P Compiler Construction 978-3-540-06958-4 978-3-662-21549-4 https://link.springer.com/10.1007/978-3-662-21549-4 Bauer 10.1007/978-3-662-21549-4 fulltext Springer Berlin Heidelberg monograph 1974 1974 21 1 Bauer 558 P Computational Geometry 978-0-387-96131-6 978-1-4612-1098-6 https://link.springer.com/10.1007/978-1-4612-1098-6 Preparata 10.1007/978-1-4612-1098-6 fulltext Springer New York monograph 1985 1985 1 131 P Object-Oriented Database Programming 978-0-387-96754-7 978-1-4612-3518-7 https://link.springer.com/10.1007/978-1-4612-3518-7 Alagic 10.1007/978-1-4612-3518-7 fulltext Springer New York monograph 1989 1989 1 131 P Probabilistic Analysis of Algorithms 978-0-387-96578-9 978-1-4612-4800-2 https://link.springer.com/10.1007/978-1-4612-4800-2 Hofri 10.1007/978-1-4612-4800-2 fulltext Springer New York monograph 1987 1987 1 131 P Fairness 978-0-387-96235-1 978-1-4612-4886-6 https://link.springer.com/10.1007/978-1-4612-4886-6 Francez 10.1007/978-1-4612-4886-6 fulltext Springer New York monograph 1986 1986 1 131 P Adaptive Signal Processing 978-0-387-96380-8 978-1-4612-4978-8 https://link.springer.com/10.1007/978-1-4612-4978-8 Alexander 10.1007/978-1-4612-4978-8 fulltext Springer New York monograph 1986 1986 1 131 P Relational Database Technology 978-0-387-96276-4 978-1-4612-4922-1 https://link.springer.com/10.1007/978-1-4612-4922-1 Alagic 10.1007/978-1-4612-4922-1 fulltext Springer New York monograph 1986 1986 1 131 P Error-Free Polynomial Matrix Computations 978-0-387-96146-0 978-1-4612-5118-7 https://link.springer.com/10.1007/978-1-4612-5118-7 Krishnamurthy 10.1007/978-1-4612-5118-7 fulltext Springer New York monograph 1985 1985 1 131 P Compiler Construction 978-0-387-90821-2 978-1-4612-5192-7 https://link.springer.com/10.1007/978-1-4612-5192-7 Waite 10.1007/978-1-4612-5192-7 fulltext Springer New York monograph 1984 1984 1 131 P Algebraic Approaches to Program Semantics 978-0-387-96324-2 978-1-4612-4962-7 https://link.springer.com/10.1007/978-1-4612-4962-7 Manes 10.1007/978-1-4612-4962-7 fulltext Springer New York monograph 1986 1986 1 131 P A Guide to Modula-2 978-0-387-96242-9 978-1-4612-4892-7 https://link.springer.com/10.1007/978-1-4612-4892-7 Christian 10.1007/978-1-4612-4892-7 fulltext Springer New York monograph 1986 1986 1 131 P The Origins of Digital Computers 978-3-540-11319-5 978-3-642-61812-3 https://link.springer.com/10.1007/978-3-642-61812-3 10.1007/978-3-642-61812-3 fulltext Springer Berlin Heidelberg monograph 1982 1982 3 Randell 131 P Algorithmic Language and Program Development 978-3-540-11148-1 978-3-642-61807-9 https://link.springer.com/10.1007/978-3-642-61807-9 Bauer 10.1007/978-3-642-61807-9 fulltext Springer Berlin Heidelberg monograph 1982 1982 1 131 P Methods and Applications of Error-Free Computation 978-0-387-90967-7 978-1-4612-5242-9 https://link.springer.com/10.1007/978-1-4612-5242-9 Gregory 10.1007/978-1-4612-5242-9 fulltext Springer New York monograph 1984 1984 1 131 P Selected Writings on Computing: A personal Perspective 978-0-387-90652-2 978-1-4612-5695-3 https://link.springer.com/10.1007/978-1-4612-5695-3 Dijkstra 10.1007/978-1-4612-5695-3 fulltext Springer New York monograph 1982 1982 1 131 P The Science of Programming 978-0-387-90641-6 978-1-4612-5983-1 https://link.springer.com/10.1007/978-1-4612-5983-1 Gries 10.1007/978-1-4612-5983-1 fulltext Springer New York monograph 1981 1981 1 131 P The Design of Well-Structured and Correct Programs 978-0-387-90299-9 978-1-4612-6272-5 https://link.springer.com/10.1007/978-1-4612-6272-5 Alagic 10.1007/978-1-4612-6272-5 fulltext Springer New York monograph 1978 1978 1 131 P Programming Methodology 978-0-387-90329-3 978-1-4612-6315-9 https://link.springer.com/10.1007/978-1-4612-6315-9 10.1007/978-1-4612-6315-9 fulltext Springer New York monograph 1978 1978 1 Gries 131 P Automata-Theoretic Aspects of Formal Power Series 978-0-387-90282-1 978-1-4612-6264-0 https://link.springer.com/10.1007/978-1-4612-6264-0 Salomaa 10.1007/978-1-4612-6264-0 fulltext Springer New York monograph 1978 1978 1 131 P A Basis for Theoretical Computer Science 978-0-387-90573-0 978-1-4613-9455-6 https://link.springer.com/10.1007/978-1-4613-9455-6 Arbib 10.1007/978-1-4613-9455-6 fulltext Springer New York monograph 1981 1981 1 131 P Programming with Sets 978-0-387-96399-0 978-1-4613-9575-1 https://link.springer.com/10.1007/978-1-4613-9575-1 Schwartz 10.1007/978-1-4613-9575-1 fulltext Springer New York monograph 1986 1986 1 131 P An Introduction to Formal Language Theory 978-0-387-96698-4 978-1-4613-9595-9 https://link.springer.com/10.1007/978-1-4613-9595-9 Moll 10.1007/978-1-4613-9595-9 fulltext Springer New York monograph 1988 1988 1 131 P The Synthesizer Generator 978-0-387-96857-5 978-1-4613-9623-9 https://link.springer.com/10.1007/978-1-4613-9623-9 Reps 10.1007/978-1-4613-9623-9 fulltext Springer New York monograph 1989 1989 1 131 P VLSI Placement and Routing: The PI Project 978-0-387-97077-6 978-1-4613-9658-1 https://link.springer.com/10.1007/978-1-4613-9658-1 Sherman 10.1007/978-1-4613-9658-1 fulltext Springer New York monograph 1989 1989 1 131 P The Synthesizer Generator Reference Manual 978-0-387-96910-7 978-1-4613-9633-8 https://link.springer.com/10.1007/978-1-4613-9633-8 Reps 10.1007/978-1-4613-9633-8 fulltext Springer New York monograph 1989 1989 3 131 P Reliable Computer Systems 978-3-540-15256-9 978-3-642-82470-8 https://link.springer.com/10.1007/978-3-642-82470-8 10.1007/978-3-642-82470-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Shrivastava 131 P Adaptive Information Processing 978-3-540-07739-8 978-3-642-85501-6 https://link.springer.com/10.1007/978-3-642-85501-6 Sampson 10.1007/978-3-642-85501-6 fulltext Springer Berlin Heidelberg monograph 1976 1976 1 131 P Programming in Modula-2 978-3-540-50150-3 978-3-642-83565-0 https://link.springer.com/10.1007/978-3-642-83565-0 Wirth 10.1007/978-3-642-83565-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 4 131 P Design of Digital Computers 978-3-540-06915-7 978-3-642-86190-1 https://link.springer.com/10.1007/978-3-642-86190-1 Gschwind 10.1007/978-3-642-86190-1 fulltext Springer Berlin Heidelberg monograph 1975 1975 2 131 P The Origins of Digital Computers 978-3-540-07114-3 978-3-642-96242-4 https://link.springer.com/10.1007/978-3-642-96242-4 10.1007/978-3-642-96242-4 fulltext Springer Berlin Heidelberg monograph 1973 1973 2 Randell 131 P Programming in Modula-2 978-3-540-12206-7 978-3-642-96757-3 https://link.springer.com/10.1007/978-3-642-96757-3 Wirth 10.1007/978-3-642-96757-3 fulltext Springer Berlin Heidelberg monograph 1983 1983 2 131 P Programming in Modula-2 978-3-540-15078-7 978-3-642-96878-5 https://link.springer.com/10.1007/978-3-642-96878-5 Wirth 10.1007/978-3-642-96878-5 fulltext Springer Berlin Heidelberg monograph 1985 1985 3 131 P Chess Skill in Man and Machine 978-3-540-07957-6 978-3-662-06239-5 https://link.springer.com/10.1007/978-3-662-06239-5 10.1007/978-3-662-06239-5 fulltext Springer Berlin Heidelberg monograph 1977 1977 1 Frey 131 P Logic and Language 978-90-277-0019-3 978-94-017-2111-0 https://link.springer.com/10.1007/978-94-017-2111-0 10.1007/978-94-017-2111-0 fulltext Springer Netherlands monograph 1962 1962 5 1 Kazemier 6607 P Optimization, Parallel Processing and Applications 978-3-540-19053-0 978-3-642-46631-1 https://link.springer.com/10.1007/978-3-642-46631-1 10.1007/978-3-642-46631-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 304 1 Kurzhanski 300 P The Formal Complexity of Natural Language 978-1-55608-046-3 978-94-009-3401-6 https://link.springer.com/10.1007/978-94-009-3401-6 10.1007/978-94-009-3401-6 fulltext Springer Netherlands monograph 1987 1987 33 1 Savitch 6556 P Topics in the General Theory of Structures 978-90-277-2451-9 978-94-009-3819-9 https://link.springer.com/10.1007/978-94-009-3819-9 10.1007/978-94-009-3819-9 fulltext Springer Netherlands monograph 1987 1987 1 1 Caianiello 6619 P Nature, Cognition and System I 978-90-277-2740-4 978-94-009-2991-3 https://link.springer.com/10.1007/978-94-009-2991-3 10.1007/978-94-009-2991-3 fulltext Springer Netherlands monograph 1988 1988 2 1 Carvallo 6619 P Fuzzy Relation Equations and Their Applications to Knowledge Engineering 978-0-7923-0307-7 978-94-017-1650-5 https://link.springer.com/10.1007/978-94-017-1650-5 Di Nola 10.1007/978-94-017-1650-5 fulltext Springer Netherlands monograph 1989 1989 3 1 6619 P Systems: Approaches, Theories, Applications 978-90-277-0822-9 978-94-010-1239-3 https://link.springer.com/10.1007/978-94-010-1239-3 10.1007/978-94-010-1239-3 fulltext Springer Netherlands monograph 1977 1977 3 1 Hartnett 5928 P Foundations of Coding Theory 978-90-277-0536-5 978-94-010-2298-9 https://link.springer.com/10.1007/978-94-010-2298-9 10.1007/978-94-010-2298-9 fulltext Springer Netherlands monograph 1974 1974 1 1 Hartnett 5928 P DNA-Ligand Interactions 978-0-306-42667-4 978-1-4684-5383-6 https://link.springer.com/10.1007/978-1-4684-5383-6 10.1007/978-1-4684-5383-6 fulltext Springer US monograph 1987 1987 1 Guschlbauer P Computer Models of Speech Using Fuzzy Algorithms 978-0-306-41381-0 978-1-4613-3742-3 https://link.springer.com/10.1007/978-1-4613-3742-3 de Mori 10.1007/978-1-4613-3742-3 fulltext Springer US monograph 1983 1983 1 5556 P Pattern Recognition with Fuzzy Objective Function Algorithms 978-0-306-40671-3 978-1-4757-0450-1 https://link.springer.com/10.1007/978-1-4757-0450-1 Bezdek 10.1007/978-1-4757-0450-1 fulltext Springer US monograph 1981 1981 1 5556 P A Structural Analysis of Complex Aerial Photographs 978-0-306-40571-6 978-1-4615-8294-6 https://link.springer.com/10.1007/978-1-4615-8294-6 Nagao 10.1007/978-1-4615-8294-6 fulltext Springer US monograph 1980 1980 1 5556 P Modern Cellular Automata 978-0-306-41737-5 978-1-4899-0393-8 https://link.springer.com/10.1007/978-1-4899-0393-8 Preston Jr. 10.1007/978-1-4899-0393-8 fulltext Springer US monograph 1984 1984 1 5556 P Non-Adaptive and Adaptive Control of Manipulation Robots 978-3-540-13073-4 978-3-642-82201-8 https://link.springer.com/10.1007/978-3-642-82201-8 Vukobratovic 10.1007/978-3-642-82201-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 5 1 61 P Real-Time Dynamics of Manipulation Robots 978-3-540-13072-7 978-3-642-82198-1 https://link.springer.com/10.1007/978-3-642-82198-1 Vukobratovic 10.1007/978-3-642-82198-1 fulltext Springer Berlin Heidelberg monograph 1985 1985 4 1 61 P Applied Dynamics and CAD of Manipulation Robots 978-3-540-13074-1 978-3-642-82204-9 https://link.springer.com/10.1007/978-3-642-82204-9 Vukobratovic 10.1007/978-3-642-82204-9 fulltext Springer Berlin Heidelberg monograph 1985 1985 6 1 61 P Philosophy, Language, and Artificial Intelligence 978-1-55608-073-9 978-94-009-2727-8 https://link.springer.com/10.1007/978-94-009-2727-8 10.1007/978-94-009-2727-8 fulltext Springer Netherlands monograph 1988 1988 2 1 Kulas 5773 P Coding Theorems of Information Theory 978-3-540-03124-6 978-3-662-00237-7 https://link.springer.com/10.1007/978-3-662-00237-7 Wolfowitz 10.1007/978-3-662-00237-7 fulltext Springer Berlin Heidelberg monograph 1964 1964 31 2 108 P Coding Theorems of Information Theory 978-3-662-01512-4 978-3-662-01510-0 https://link.springer.com/10.1007/978-3-662-01510-0 Wolfowitz 10.1007/978-3-662-01510-0 fulltext Springer Berlin Heidelberg monograph 1961 1961 31 1 108 P Automata and Computability 978-3-540-78105-9 978-3-642-85706-5 https://link.springer.com/10.1007/978-3-642-85706-5 Kozen 10.1007/978-3-642-85706-5 fulltext Springer Berlin Heidelberg monograph 1977 1977 1 3464 P Real-Time Control of Walking 978-0-8176-3332-5 978-1-4612-4990-0 https://link.springer.com/10.1007/978-1-4612-4990-0 Donner 10.1007/978-1-4612-4990-0 fulltext Birkhäuser Boston monograph 1987 1987 7 1 4814 P Applied Probability-Computer Science: The Interface Volume 1 978-0-8176-3067-6 978-1-4612-5791-2 https://link.springer.com/10.1007/978-1-4612-5791-2 Disney 10.1007/978-1-4612-5791-2 fulltext Birkhäuser Boston monograph 1982 1982 2 1 4814 P Notes on Introductory Combinatorics 978-0-8176-3170-3 978-1-4757-1101-1 https://link.springer.com/10.1007/978-1-4757-1101-1 Polya 10.1007/978-1-4757-1101-1 fulltext Birkhäuser Boston monograph 1983 1983 4 1 4814 P Applied Probability— Computer Science: The Interface 978-0-8176-3093-5 978-1-4612-5798-1 https://link.springer.com/10.1007/978-1-4612-5798-1 Disney 10.1007/978-1-4612-5798-1 fulltext Birkhäuser Boston monograph 1982 1982 3 1 4814 P Lecture Notes on Bucket Algorithms 978-0-8176-3328-8 978-1-4899-3531-1 https://link.springer.com/10.1007/978-1-4899-3531-1 DEVROYE 10.1007/978-1-4899-3531-1 fulltext Birkhäuser Boston monograph 1986 1986 6 1 4814 P Values, Technology and Work 978-90-247-2562-5 978-94-009-8343-4 https://link.springer.com/10.1007/978-94-009-8343-4 Mumford 10.1007/978-94-009-8343-4 fulltext Springer Netherlands monograph 1981 1981 3 1 6130 P Pattern Formation by Dynamic Systems and Pattern Recognition 978-3-540-09770-9 978-3-642-67480-8 https://link.springer.com/10.1007/978-3-642-67480-8 10.1007/978-3-642-67480-8 fulltext Springer Berlin Heidelberg monograph 1979 1979 5 1 Haken 712 P Introduction to Parallel and Vector Solution of Linear Systems 978-0-306-42862-3 978-1-4899-2112-3 https://link.springer.com/10.1007/978-1-4899-2112-3 Ortega 10.1007/978-1-4899-2112-3 fulltext Springer US monograph 1988 1988 1 5967 P DGOR 978-3-540-51332-2 978-3-642-74862-2 https://link.springer.com/10.1007/978-3-642-74862-2 10.1007/978-3-642-74862-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 1988 1 Pressmar 722 P Parsing Theory 978-3-540-13720-7 978-3-642-61345-6 https://link.springer.com/10.1007/978-3-642-61345-6 Sippu 10.1007/978-3-642-61345-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 15 1 776 P Confluent String Rewriting 978-3-540-13715-3 978-3-642-61549-8 https://link.springer.com/10.1007/978-3-642-61549-8 Jantzen 10.1007/978-3-642-61549-8 fulltext Springer Berlin Heidelberg monograph 1988 1988 14 1 776 P Products of Automata 978-3-540-13719-1 978-3-642-61611-2 https://link.springer.com/10.1007/978-3-642-61611-2 Gecseg 10.1007/978-3-642-61611-2 fulltext Springer Berlin Heidelberg monograph 1986 1986 7 1 776 P Algorithms in Combinatorial Geometry 978-3-540-13722-1 978-3-642-61568-9 https://link.springer.com/10.1007/978-3-642-61568-9 Edelsbrunner 10.1007/978-3-642-61568-9 fulltext Springer Berlin Heidelberg monograph 1987 1987 10 1 776 P Data Structures and Algorithms 2 978-3-540-13641-5 978-3-642-69897-2 https://link.springer.com/10.1007/978-3-642-69897-2 Mehlhorn 10.1007/978-3-642-69897-2 fulltext Springer Berlin Heidelberg monograph 1984 1984 2 1 776 P Data Structures and Algorithms 1 978-3-540-13302-5 978-3-642-69672-5 https://link.springer.com/10.1007/978-3-642-69672-5 Mehlhorn 10.1007/978-3-642-69672-5 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 1 776 P Data Structures and Algorithms 3 978-3-540-13642-2 978-3-642-69900-9 https://link.springer.com/10.1007/978-3-642-69900-9 Mehlhorn 10.1007/978-3-642-69900-9 fulltext Springer Berlin Heidelberg monograph 1984 1984 3 1 776 P The Structure of the Relational Database Model 978-3-540-13714-6 978-3-642-69956-6 https://link.springer.com/10.1007/978-3-642-69956-6 Paredaens 10.1007/978-3-642-69956-6 fulltext Springer Berlin Heidelberg monograph 1989 1989 17 1 776 P Semirings, Automata, Languages 978-3-540-13716-0 978-3-642-69959-7 https://link.springer.com/10.1007/978-3-642-69959-7 Kuich 10.1007/978-3-642-69959-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 5 1 776 P Computability 978-3-540-13721-4 978-3-642-69965-8 https://link.springer.com/10.1007/978-3-642-69965-8 Weihrauch 10.1007/978-3-642-69965-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 9 1 776 P Temporal Logic of Programs 978-3-540-17030-3 978-3-642-71549-5 https://link.springer.com/10.1007/978-3-642-71549-5 Kröger 10.1007/978-3-642-71549-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 8 1 776 P Petri Nets 978-3-540-13723-8 978-3-642-69968-9 https://link.springer.com/10.1007/978-3-642-69968-9 Reisig 10.1007/978-3-642-69968-9 fulltext Springer Berlin Heidelberg monograph 1985 1985 4 1 776 P Fundamentals of Algebraic Specification 1 978-3-540-13718-4 978-3-642-69962-7 https://link.springer.com/10.1007/978-3-642-69962-7 Ehrig 10.1007/978-3-642-69962-7 fulltext Springer Berlin Heidelberg monograph 1985 1985 6 1 776 P Nonsequential Processes 978-3-540-19030-1 978-3-642-73483-0 https://link.springer.com/10.1007/978-3-642-73483-0 Best 10.1007/978-3-642-73483-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 13 1 776 P Computing in Horn Clause Theories 978-3-540-19427-9 978-3-642-73824-1 https://link.springer.com/10.1007/978-3-642-73824-1 Padawitz 10.1007/978-3-642-73824-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 16 1 776 P Structural Complexity I 978-3-540-18622-9 978-3-642-97062-7 https://link.springer.com/10.1007/978-3-642-97062-7 Balcazar 10.1007/978-3-642-97062-7 fulltext Springer Berlin Heidelberg monograph 1988 1988 11 1 776 P Quantitative-Qualitative Measure of Information 978-3-211-81182-5 978-3-7091-2796-4 https://link.springer.com/10.1007/978-3-7091-2796-4 Longo 10.1007/978-3-7091-2796-4 fulltext Springer Vienna monograph 1972 1972 138 1 76 P Combinatorial Search Problems 978-3-211-81169-6 978-3-7091-4317-9 https://link.springer.com/10.1007/978-3-7091-4317-9 Katona 10.1007/978-3-7091-4317-9 fulltext Springer Vienna monograph 1972 1972 145 1 76 P Information Theory New Trends and Open Problems 978-3-211-81378-2 978-3-7091-2730-8 https://link.springer.com/10.1007/978-3-7091-2730-8 10.1007/978-3-7091-2730-8 fulltext Springer Vienna monograph 1975 1975 219 1 Longo 76 P Discrete Field Analysis of Structural Systems 978-3-211-81377-5 978-3-7091-4360-5 https://link.springer.com/10.1007/978-3-7091-4360-5 Dean 10.1007/978-3-7091-4360-5 fulltext Springer Vienna monograph 1976 1976 203 1 76 P Linear Adaptive Decision Functions and Their Application to Clinical Decision 978-3-211-81222-8 978-3-7091-2876-3 https://link.springer.com/10.1007/978-3-7091-2876-3 Vesely 10.1007/978-3-7091-2876-3 fulltext Springer Vienna monograph 1971 1971 114 1 76 P A Short Course on Error Correcting Codes 978-3-211-81303-4 978-3-7091-2864-0 https://link.springer.com/10.1007/978-3-7091-2864-0 Sloane 10.1007/978-3-7091-2864-0 fulltext Springer Vienna monograph 1975 1975 188 1 76 P Algorithm Design for Computer System Design 978-3-211-81816-9 978-3-7091-4338-4 https://link.springer.com/10.1007/978-3-7091-4338-4 10.1007/978-3-7091-4338-4 fulltext Springer Vienna monograph 1984 1984 284 1 Ausiello 76 P Secure Digital Communications 978-3-211-81784-1 978-3-7091-2640-0 https://link.springer.com/10.1007/978-3-7091-2640-0 10.1007/978-3-7091-2640-0 fulltext Springer Vienna monograph 1983 1983 279 1 Longo 76 P Theory of Bilinear Dynamical Systems 978-3-211-81206-8 978-3-7091-2979-1 https://link.springer.com/10.1007/978-3-7091-2979-1 Ruberti 10.1007/978-3-7091-2979-1 fulltext Springer Vienna monograph 1972 1972 158 1 76 P Topics in Artificial Intelligence 978-3-211-81466-6 978-3-7091-4358-2 https://link.springer.com/10.1007/978-3-7091-4358-2 10.1007/978-3-7091-4358-2 fulltext Springer Vienna monograph 1976 1976 256 1 Marzollo 76 P Advances in Source Coding 978-3-211-81302-7 978-3-7091-2928-9 https://link.springer.com/10.1007/978-3-7091-2928-9 Berger 10.1007/978-3-7091-2928-9 fulltext Springer Vienna monograph 1975 1975 166 1 76 P Cooperative and Non-Cooperative Many Players Differential Games 978-3-211-81275-4 978-3-7091-2914-2 https://link.springer.com/10.1007/978-3-7091-2914-2 Leitmann 10.1007/978-3-7091-2914-2 fulltext Springer Vienna monograph 1974 1974 190 1 76 P Coding for Markov Sources 978-3-211-81154-2 978-3-7091-2961-6 https://link.springer.com/10.1007/978-3-7091-2961-6 Longo 10.1007/978-3-7091-2961-6 fulltext Springer Vienna monograph 1971 1971 110 1 76 P An Introduction to the Design of Pattern Recognition Devices 978-3-211-81153-5 978-3-7091-2650-9 https://link.springer.com/10.1007/978-3-7091-2650-9 Becker 10.1007/978-3-7091-2650-9 fulltext Springer Vienna monograph 1971 1971 83 1 76 P Controlled and Conditioned Invariance 978-3-211-81132-0 978-3-7091-2953-1 https://link.springer.com/10.1007/978-3-7091-2953-1 Basile 10.1007/978-3-7091-2953-1 fulltext Springer Vienna monograph 1971 1971 109 1 76 P Algebraic Methods in Pattern Recognition 978-3-211-81128-3 978-3-7091-2884-8 https://link.springer.com/10.1007/978-3-7091-2884-8 Kulikowski 10.1007/978-3-7091-2884-8 fulltext Springer Vienna monograph 1971 1971 85 1 76 P An Introduction to the Theory of Automata 978-3-211-81082-8 978-3-7091-2816-9 https://link.springer.com/10.1007/978-3-7091-2816-9 Luccio 10.1007/978-3-7091-2816-9 fulltext Springer Vienna monograph 1971 1971 88 1 76 P Issues on Machine Vision 978-3-211-82148-0 978-3-7091-2830-5 https://link.springer.com/10.1007/978-3-7091-2830-5 10.1007/978-3-7091-2830-5 fulltext Springer Vienna monograph 1989 1989 307 1 Pieroni 76 P Interfaces, Quantum Wells, and Superlattices 978-0-306-42983-5 978-1-4613-1045-7 https://link.springer.com/10.1007/978-1-4613-1045-7 Leavens 10.1007/978-1-4613-1045-7 fulltext Springer US monograph 1988 1988 1 P Sensor Devices and Systems for Robotics 978-3-540-50885-4 978-3-642-74567-6 https://link.springer.com/10.1007/978-3-642-74567-6 10.1007/978-3-642-74567-6 fulltext Springer Berlin Heidelberg monograph 1989 1989 52 1 Casals 764 P Advanced Information Technologies for Industrial Material Flow Systems 978-3-540-50905-9 978-3-642-74575-1 https://link.springer.com/10.1007/978-3-642-74575-1 10.1007/978-3-642-74575-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 53 1 Nof 764 P Constructive Methods in Computing Science 978-3-540-51369-8 978-3-642-74884-4 https://link.springer.com/10.1007/978-3-642-74884-4 10.1007/978-3-642-74884-4 fulltext Springer Berlin Heidelberg monograph 1989 1989 55 1 Broy 764 P Supercomputing 978-3-540-52691-9 978-3-642-75771-6 https://link.springer.com/10.1007/978-3-642-75771-6 10.1007/978-3-642-75771-6 fulltext Springer Berlin Heidelberg monograph 1989 1989 62 1 Kowalik 764 P Issues in Acoustic Signal — Image Processing and Recognition 978-3-540-12192-3 978-3-642-82002-1 https://link.springer.com/10.1007/978-3-642-82002-1 10.1007/978-3-642-82002-1 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 1 Chen 764 P Electronic Systems Effectiveness and Life Cycle Costing 978-3-540-12287-6 978-3-642-82014-4 https://link.springer.com/10.1007/978-3-642-82014-4 10.1007/978-3-642-82014-4 fulltext Springer Berlin Heidelberg monograph 1983 1983 3 1 Skwirzynski 764 P Image Sequence Processing and Dynamic Scene Analysis 978-3-540-11997-5 978-3-642-81935-3 https://link.springer.com/10.1007/978-3-642-81935-3 10.1007/978-3-642-81935-3 fulltext Springer Berlin Heidelberg monograph 1983 1983 2 1 Huang 764 P Pictorial Data Analysis 978-3-540-12288-3 978-3-642-82017-5 https://link.springer.com/10.1007/978-3-642-82017-5 10.1007/978-3-642-82017-5 fulltext Springer Berlin Heidelberg monograph 1983 1983 4 1 Haralick 764 P Computer Architectures for Spatially Distributed Data 978-3-540-12886-1 978-3-642-82150-9 https://link.springer.com/10.1007/978-3-642-82150-9 10.1007/978-3-642-82150-9 fulltext Springer Berlin Heidelberg monograph 1985 1985 18 1 Freeman 764 P International Calibration Study of Traffic Conflict Techniques 978-3-540-12716-1 978-3-642-82109-7 https://link.springer.com/10.1007/978-3-642-82109-7 10.1007/978-3-642-82109-7 fulltext Springer Berlin Heidelberg monograph 1984 1984 5 1 Asmussen 764 P Simulation and Model-Based Methodologies: An Integrative View 978-3-540-12884-7 978-3-642-82144-8 https://link.springer.com/10.1007/978-3-642-82144-8 10.1007/978-3-642-82144-8 fulltext Springer Berlin Heidelberg monograph 1984 1984 10 1 Ören 764 P Robotics and Artificial Intelligence 978-3-540-12888-5 978-3-642-82153-0 https://link.springer.com/10.1007/978-3-642-82153-0 10.1007/978-3-642-82153-0 fulltext Springer Berlin Heidelberg monograph 1984 1984 11 1 Brady 764 P New Systems and Architectures for Automatic Speech Recognition and Synthesis 978-3-540-15177-7 978-3-642-82447-0 https://link.springer.com/10.1007/978-3-642-82447-0 10.1007/978-3-642-82447-0 fulltext Springer Berlin Heidelberg monograph 1985 1985 16 1 DeMori 764 P Logics and Models of Concurrent Systems 978-3-540-15181-4 978-3-642-82453-1 https://link.springer.com/10.1007/978-3-642-82453-1 10.1007/978-3-642-82453-1 fulltext Springer Berlin Heidelberg monograph 1985 1985 13 1 Apt 764 P Disordered Systems and Biological Organization 978-3-540-16094-6 978-3-642-82657-3 https://link.springer.com/10.1007/978-3-642-82657-3 10.1007/978-3-642-82657-3 fulltext Springer Berlin Heidelberg monograph 1986 1986 20 1 Bienenstock 764 P Software System Design Methods 978-3-540-16765-5 978-3-642-82846-1 https://link.springer.com/10.1007/978-3-642-82846-1 10.1007/978-3-642-82846-1 fulltext Springer Berlin Heidelberg monograph 1986 1986 22 1 Skwirzynski 764 P Designing Computer-Based Learning Materials 978-3-540-16080-9 978-3-642-82654-2 https://link.springer.com/10.1007/978-3-642-82654-2 10.1007/978-3-642-82654-2 fulltext Springer Berlin Heidelberg monograph 1986 1986 23 1 Weinstock 764 P Control Flow and Data Flow: Concepts of Distributed Programming 978-3-540-13919-5 978-3-642-82921-5 https://link.springer.com/10.1007/978-3-642-82921-5 10.1007/978-3-642-82921-5 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Broy 771 P Database Machines 978-3-540-17164-5 978-3-642-82937-6 https://link.springer.com/10.1007/978-3-642-82937-6 10.1007/978-3-642-82937-6 fulltext Springer Berlin Heidelberg monograph 1986 1986 24 1 Sood 764 P Computer Aided Optimal Design: Structural and Mechanical Systems 978-3-540-17598-8 978-3-642-83051-8 https://link.springer.com/10.1007/978-3-642-83051-8 10.1007/978-3-642-83051-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 27 1 Mota Soares 764 P Pyramidal Systems for Computer Vision 978-3-540-17165-2 978-3-642-82940-6 https://link.springer.com/10.1007/978-3-642-82940-6 10.1007/978-3-642-82940-6 fulltext Springer Berlin Heidelberg monograph 1986 1986 25 1 Cantoni 764 P Pattern Recognition Theory and Applications 978-3-540-17700-5 978-3-642-83069-3 https://link.springer.com/10.1007/978-3-642-83069-3 10.1007/978-3-642-83069-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 30 1 Devijver 764 P Information Systems: Failure Analysis 978-3-540-17800-2 978-3-642-83091-4 https://link.springer.com/10.1007/978-3-642-83091-4 10.1007/978-3-642-83091-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 32 1 Wise 764 P Real-Time Object Measurement and Classification 978-3-540-18766-0 978-3-642-83325-0 https://link.springer.com/10.1007/978-3-642-83325-0 10.1007/978-3-642-83325-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 42 1 Jain 764 P Sensors and Sensory Systems for Advanced Robots 978-3-540-19089-9 978-3-642-83410-3 https://link.springer.com/10.1007/978-3-642-83410-3 10.1007/978-3-642-83410-3 fulltext Springer Berlin Heidelberg monograph 1988 1988 43 1 Dario 764 P Mathematics and Computer Science in Medical Imaging 978-3-540-18672-4 978-3-642-83306-9 https://link.springer.com/10.1007/978-3-642-83306-9 10.1007/978-3-642-83306-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 39 1 Viergever 764 P Recent Advances in Speech Understanding and Dialog Systems 978-3-540-19245-9 978-3-642-83476-9 https://link.springer.com/10.1007/978-3-642-83476-9 10.1007/978-3-642-83476-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 46 1 Niemann 764 P Syntactic and Structural Pattern Recognition 978-3-540-19209-1 978-3-642-83462-2 https://link.springer.com/10.1007/978-3-642-83462-2 10.1007/978-3-642-83462-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 45 1 Ferrate 764 P Mathematical Models for Decision Support 978-3-540-50084-1 978-3-642-83555-1 https://link.springer.com/10.1007/978-3-642-83555-1 10.1007/978-3-642-83555-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 48 1 Mitra 764 P Signal Processing and Pattern Recognition in Nondestructive Evaluation of Materials 978-3-540-19100-1 978-3-642-83422-6 https://link.springer.com/10.1007/978-3-642-83422-6 10.1007/978-3-642-83422-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 44 1 Chen 764 P Theoretical Foundations of Computer Graphics and CAD 978-3-540-19506-1 978-3-642-83539-1 https://link.springer.com/10.1007/978-3-642-83539-1 10.1007/978-3-642-83539-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 40 1 Earnshaw 764 P Neural Computers 978-3-540-18724-0 978-3-642-83740-1 https://link.springer.com/10.1007/978-3-642-83740-1 10.1007/978-3-642-83740-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 Eckmiller 771 P CAD Based Programming for Sensory Robots 978-3-540-50415-3 978-3-642-83625-1 https://link.springer.com/10.1007/978-3-642-83625-1 10.1007/978-3-642-83625-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 50 1 Ravani 764 P Algorithms and Model Formulations in Mathematical Programming 978-3-540-50842-7 978-3-642-83724-1 https://link.springer.com/10.1007/978-3-642-83724-1 10.1007/978-3-642-83724-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 51 1 Wallace 764 P Computer Integrated Manufacturing 978-3-540-50220-3 978-3-642-83590-2 https://link.springer.com/10.1007/978-3-642-83590-2 10.1007/978-3-642-83590-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 49 1 Turksen 764 P Expert Judgment and Expert Systems 978-3-540-17986-3 978-3-642-86679-1 https://link.springer.com/10.1007/978-3-642-86679-1 10.1007/978-3-642-86679-1 fulltext Springer Berlin Heidelberg monograph 1987 1987 35 1 Mumpower 764 P Flow Control of Congested Networks 978-3-540-18398-3 978-3-642-86726-2 https://link.springer.com/10.1007/978-3-642-86726-2 10.1007/978-3-642-86726-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 38 1 Odoni 764 P Logic of Programming and Calculi of Discrete Design 978-3-540-18003-6 978-3-642-87374-4 https://link.springer.com/10.1007/978-3-642-87374-4 10.1007/978-3-642-87374-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 36 1 Broy 764 P Information Technology and the Computer Network 978-3-540-12883-0 978-3-642-87089-7 https://link.springer.com/10.1007/978-3-642-87089-7 10.1007/978-3-642-87089-7 fulltext Springer Berlin Heidelberg monograph 1984 1984 6 1 Beauchamp 764 P Machine Intelligence and Knowledge Engineering for Robotic Applications 978-3-540-17844-6 978-3-642-87387-4 https://link.springer.com/10.1007/978-3-642-87387-4 10.1007/978-3-642-87387-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 33 1 Wong 764 P Program Transformation and Programming Environments 978-3-540-12932-5 978-3-642-46490-4 https://link.springer.com/10.1007/978-3-642-46490-4 10.1007/978-3-642-46490-4 fulltext Springer Berlin Heidelberg monograph 1984 1984 8 1 Pepper 764 P Evolutionary Tinkering in Gene Expression 978-0-306-43226-2 978-1-4684-5664-6 https://link.springer.com/10.1007/978-1-4684-5664-6 10.1007/978-1-4684-5664-6 fulltext Springer US monograph 1989 1989 1 Grunberg-Manago P Distributed Operating Systems 978-3-540-17699-2 978-3-642-46604-5 https://link.springer.com/10.1007/978-3-642-46604-5 10.1007/978-3-642-46604-5 fulltext Springer Berlin Heidelberg monograph 1987 1987 28 1 Paker 764 P Topological Properties and Global Structure of Space-Time 978-0-306-42367-3 978-1-4899-3626-4 https://link.springer.com/10.1007/978-1-4899-3626-4 10.1007/978-1-4899-3626-4 fulltext Springer US monograph 1986 1986 1 Bergmann P Milankovitch and Climate 978-90-277-1778-8 978-94-017-4841-4 https://link.springer.com/10.1007/978-94-017-4841-4 Berger 10.1007/978-94-017-4841-4 fulltext Springer Netherlands monograph 1984 1984 1 P The Geophysics of Sea Ice 978-0-306-42465-6 978-1-4899-5352-0 https://link.springer.com/10.1007/978-1-4899-5352-0 10.1007/978-1-4899-5352-0 fulltext Springer US monograph 1986 1986 1 Untersteiner P Microcomputer 978-0-387-90286-9 978-1-4615-9998-2 https://link.springer.com/10.1007/978-1-4615-9998-2 Bowles 10.1007/978-1-4615-9998-2 fulltext Springer New York monograph 1977 1977 1 771 P Fundamentals of Artificial Intelligence 978-3-662-39157-0 978-3-662-40145-3 https://link.springer.com/10.1007/978-3-662-40145-3 10.1007/978-3-662-40145-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 Bibel 771 P Advances in Machine Vision 978-0-387-96822-3 978-1-4612-4532-2 https://link.springer.com/10.1007/978-1-4612-4532-2 10.1007/978-1-4612-4532-2 fulltext Springer New York monograph 1989 1989 1 Sanz 1176 P Automatic Generation of Morphological Set Recognition Algorithms 978-0-387-97049-3 978-1-4613-9652-9 https://link.springer.com/10.1007/978-1-4613-9652-9 Vogt 10.1007/978-1-4613-9652-9 fulltext Springer New York monograph 1989 1989 1 1176 P Surfaces in Range Image Understanding 978-0-387-96773-8 978-1-4612-3906-2 https://link.springer.com/10.1007/978-1-4612-3906-2 Besl 10.1007/978-1-4612-3906-2 fulltext Springer New York monograph 1988 1988 1 1176 P Active Computer Vision by Cooperative Focus and Stereo 978-0-387-97103-2 978-1-4613-9663-5 https://link.springer.com/10.1007/978-1-4613-9663-5 Krotkov 10.1007/978-1-4613-9663-5 fulltext Springer New York monograph 1989 1989 1 1176 P High-Integrity Software 978-0-306-43552-2 978-1-4684-5775-9 https://link.springer.com/10.1007/978-1-4684-5775-9 10.1007/978-1-4684-5775-9 fulltext Springer US monograph 1989 1989 1 Sennett 6586 P Dynamic Interactions in Neural Networks: Models and Data 978-0-387-96893-3 978-1-4612-4536-0 https://link.springer.com/10.1007/978-1-4612-4536-0 10.1007/978-1-4612-4536-0 fulltext Springer New York monograph 1989 1989 1 1 Arbib 1219 P User Interface Management Systems 978-3-540-13803-7 978-3-642-70041-5 https://link.springer.com/10.1007/978-3-642-70041-5 10.1007/978-3-642-70041-5 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Pfaff 41 P Advances in Computer Graphics V 978-3-540-51420-6 978-3-642-61340-1 https://link.springer.com/10.1007/978-3-642-61340-1 10.1007/978-3-642-61340-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 Purgathofer 41 P Eurographics Tutorials ’83 978-3-540-13644-6 978-3-642-69906-1 https://link.springer.com/10.1007/978-3-642-69906-1 10.1007/978-3-642-69906-1 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 Hagen 41 P Methodology of Window Management 978-3-540-16116-5 978-3-642-70919-7 https://link.springer.com/10.1007/978-3-642-70919-7 10.1007/978-3-642-70919-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Hopgood 41 P Data Structures for Raster Graphics 978-3-540-16310-7 978-3-642-71071-1 https://link.springer.com/10.1007/978-3-642-71071-1 10.1007/978-3-642-71071-1 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Kessener 41 P GKS Theory and Practice 978-3-540-18257-3 978-3-642-72930-0 https://link.springer.com/10.1007/978-3-642-72930-0 10.1007/978-3-642-72930-0 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 Bono 41 P Intelligent CAD Systems I 978-3-540-18281-8 978-3-642-72945-4 https://link.springer.com/10.1007/978-3-642-72945-4 10.1007/978-3-642-72945-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 Hagen 41 P CGM in the Real World 978-3-540-19211-4 978-3-642-73629-2 https://link.springer.com/10.1007/978-3-642-73629-2 10.1007/978-3-642-73629-2 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Mumford 41 P Advances in Computer Graphics I 978-3-540-13804-4 978-3-642-46514-7 https://link.springer.com/10.1007/978-3-642-46514-7 10.1007/978-3-642-46514-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Enderle 41 P A Theory of Heuristic Information in Game-Tree Search 978-3-540-18665-6 978-3-642-61368-5 https://link.springer.com/10.1007/978-3-642-61368-5 Tzeng 10.1007/978-3-642-61368-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 631 P CGM and CGI 978-3-540-18950-3 978-3-642-61378-4 https://link.springer.com/10.1007/978-3-642-61378-4 Arnold 10.1007/978-3-642-61378-4 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 631 P Logic Grammars 978-0-387-96961-9 978-1-4612-3640-5 https://link.springer.com/10.1007/978-1-4612-3640-5 Abramson 10.1007/978-1-4612-3640-5 fulltext Springer New York monograph 1989 1989 1 631 P The Knowledge Frontier 978-0-387-96557-4 978-1-4612-4792-0 https://link.springer.com/10.1007/978-1-4612-4792-0 10.1007/978-1-4612-4792-0 fulltext Springer New York monograph 1987 1987 1 Cercone 631 P Computers in Chess 978-0-387-90869-4 978-1-4612-5204-7 https://link.springer.com/10.1007/978-1-4612-5204-7 Botvinnik 10.1007/978-1-4612-5204-7 fulltext Springer New York monograph 1984 1984 1 631 P Computation of Language 978-3-540-50882-3 978-3-642-74564-5 https://link.springer.com/10.1007/978-3-642-74564-5 Hausser 10.1007/978-3-642-74564-5 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 631 P Automation of Reasoning 978-3-540-12044-5 978-3-642-81955-1 https://link.springer.com/10.1007/978-3-642-81955-1 10.1007/978-3-642-81955-1 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 Siekmann 631 P Search in Artificial Intelligence 978-0-387-96750-9 978-1-4613-8788-6 https://link.springer.com/10.1007/978-1-4613-8788-6 10.1007/978-1-4613-8788-6 fulltext Springer New York monograph 1988 1988 1 Kanal 631 P Computer Graphics Programming 978-3-540-16317-6 978-3-642-71079-7 https://link.springer.com/10.1007/978-3-642-71079-7 Enderle 10.1007/978-3-642-71079-7 fulltext Springer Berlin Heidelberg monograph 1987 1987 2 631 P Qualitative Process Theory Using Linguistic Variables 978-0-387-97135-3 978-1-4613-9671-0 https://link.springer.com/10.1007/978-1-4613-9671-0 D'Ambrosio 10.1007/978-1-4613-9671-0 fulltext Springer New York monograph 1989 1989 1 631 P Product Data Interfaces in CAD/CAM Applications 978-3-540-15118-0 978-3-642-82426-5 https://link.springer.com/10.1007/978-3-642-82426-5 10.1007/978-3-642-82426-5 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Encarnacao 631 P Natural Language Communication with Pictorial Information Systems 978-3-540-13478-7 978-3-642-82285-8 https://link.springer.com/10.1007/978-3-642-82285-8 10.1007/978-3-642-82285-8 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 Bolc 631 P Computational Models of Learning 978-3-540-16318-3 978-3-642-82742-6 https://link.springer.com/10.1007/978-3-642-82742-6 10.1007/978-3-642-82742-6 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 Bolc 631 P Three-Dimensional Computer Vision 978-3-540-15119-7 978-3-642-82429-6 https://link.springer.com/10.1007/978-3-642-82429-6 Shirai 10.1007/978-3-642-82429-6 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 631 P Foundations of Logic Programming 978-3-540-18199-6 978-3-642-83189-8 https://link.springer.com/10.1007/978-3-642-83189-8 Lloyd 10.1007/978-3-642-83189-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 2 631 P Natural Language Parsing Systems 978-3-540-17537-7 978-3-642-83030-3 https://link.springer.com/10.1007/978-3-642-83030-3 10.1007/978-3-642-83030-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 Bolc 631 P Prolog by Example 978-3-540-18313-6 978-3-642-83213-0 https://link.springer.com/10.1007/978-3-642-83213-0 Coelho 10.1007/978-3-642-83213-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 631 P User Models in Dialog Systems 978-3-540-18380-8 978-3-642-83230-7 https://link.springer.com/10.1007/978-3-642-83230-7 10.1007/978-3-642-83230-7 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 Kobsa 631 P Computer-Aided Design and Manufacturing 978-3-540-16321-3 978-3-642-82748-8 https://link.springer.com/10.1007/978-3-642-82748-8 10.1007/978-3-642-82748-8 fulltext Springer Berlin Heidelberg monograph 1986 1986 2 Rembold 631 P Expert System Applications 978-3-540-18722-6 978-3-642-83314-4 https://link.springer.com/10.1007/978-3-642-83314-4 10.1007/978-3-642-83314-4 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Bolc 631 P Computer Graphics Programming 978-3-540-11525-0 978-3-642-96707-8 https://link.springer.com/10.1007/978-3-642-96707-8 Enderle 10.1007/978-3-642-96707-8 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 631 P Foundations of Logic Programming 978-3-540-13299-8 978-3-642-96826-6 https://link.springer.com/10.1007/978-3-642-96826-6 Lloyd 10.1007/978-3-642-96826-6 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 631 P Computer Aided Design 978-3-540-11526-7 978-3-642-96710-8 https://link.springer.com/10.1007/978-3-642-96710-8 Encarnacao 10.1007/978-3-642-96710-8 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 631 P Catalogue of Artificial Intelligence Tools 978-3-540-13938-6 978-3-642-96868-6 https://link.springer.com/10.1007/978-3-642-96868-6 10.1007/978-3-642-96868-6 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 Bundy 631 P Catalogue of Artificial Intelligence Tools 978-3-540-16893-5 978-3-642-96964-5 https://link.springer.com/10.1007/978-3-642-96964-5 10.1007/978-3-642-96964-5 fulltext Springer Berlin Heidelberg monograph 1986 1986 2 Bundy 631 P An Introduction to Default Logic 978-3-540-51566-1 978-3-662-05689-9 https://link.springer.com/10.1007/978-3-662-05689-9 Besnard 10.1007/978-3-662-05689-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 631 P Machine Learning 978-3-540-13298-1 978-3-662-12405-5 https://link.springer.com/10.1007/978-3-662-12405-5 10.1007/978-3-662-12405-5 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 Michalski 631 P CAD Data Transfer for Solid Models 978-3-540-51826-6 978-3-642-83997-9 https://link.springer.com/10.1007/978-3-642-83997-9 10.1007/978-3-642-83997-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 3 1 Schlechtendahl 1107 P An External Interface for Processing 3-D Holographic and X-Ray Images 978-3-540-50822-9 978-3-642-83713-5 https://link.springer.com/10.1007/978-3-642-83713-5 10.1007/978-3-642-83713-5 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 1 Jüptner 1107 P Specification of a CAD * I Neutral File for CAD Geometry 978-3-540-50392-7 978-3-642-83622-0 https://link.springer.com/10.1007/978-3-642-83622-0 10.1007/978-3-642-83622-0 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 3 Schlechtendahl 1107 P Specification of a CAD * I Neutral File for CAD Geometry 978-3-540-18397-6 978-3-642-97057-3 https://link.springer.com/10.1007/978-3-642-97057-3 10.1007/978-3-642-97057-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 2 Schlechtendahl 1107 P Specification of a CAD*I Neutral File for Solids 978-3-540-16927-7 978-3-642-96966-9 https://link.springer.com/10.1007/978-3-642-96966-9 10.1007/978-3-642-96966-9 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 1 Schlechtendahl 1107 P Open System Architecture for CIM 978-3-540-52058-0 978-3-642-97220-1 https://link.springer.com/10.1007/978-3-642-97220-1 10.1007/978-3-642-97220-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 1 ESPRIT Consortium AMICE 1107 P Illumination and Color in Computer Generated Imagery 978-0-387-96774-5 978-1-4612-3526-2 https://link.springer.com/10.1007/978-1-4612-3526-2 Hall 10.1007/978-1-4612-3526-2 fulltext Springer New York monograph 1989 1989 1 1198 P Data Types and Persistence 978-3-540-18785-1 978-3-642-61556-6 https://link.springer.com/10.1007/978-3-642-61556-6 10.1007/978-3-642-61556-6 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Atkinson 151 P On Knowledge Base Management Systems 978-0-387-96382-2 978-1-4612-4980-1 https://link.springer.com/10.1007/978-1-4612-4980-1 10.1007/978-1-4612-4980-1 fulltext Springer New York monograph 1986 1986 1 Brodie 151 P Office Automation 978-3-540-15129-6 978-3-642-82435-7 https://link.springer.com/10.1007/978-3-642-82435-7 10.1007/978-3-642-82435-7 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Tsichritzis 151 P On Conceptual Modelling 978-0-387-90842-7 978-1-4612-5196-5 https://link.springer.com/10.1007/978-1-4612-5196-5 10.1007/978-1-4612-5196-5 fulltext Springer New York monograph 1984 1984 1 Brodie 151 P Query Processing in Database Systems 978-3-540-13831-0 978-3-642-82375-6 https://link.springer.com/10.1007/978-3-642-82375-6 10.1007/978-3-642-82375-6 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Kim 151 P Cooperative Interfaces to Information Systems 978-3-540-16599-6 978-3-642-82815-7 https://link.springer.com/10.1007/978-3-642-82815-7 10.1007/978-3-642-82815-7 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Bolc 151 P Foundations of Knowledge Base Management 978-3-540-18987-9 978-3-642-83397-7 https://link.springer.com/10.1007/978-3-642-83397-7 10.1007/978-3-642-83397-7 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 Schmidt 151 P Defect Correction Methods 978-3-211-81832-9 978-3-7091-7023-6 https://link.springer.com/10.1007/978-3-7091-7023-6 10.1007/978-3-7091-7023-6 fulltext Springer Vienna monograph 1984 1984 5 1 Böhmer 596 P Computer Algebra 978-3-211-81776-6 978-3-7091-7551-4 https://link.springer.com/10.1007/978-3-7091-7551-4 10.1007/978-3-7091-7551-4 fulltext Springer Vienna monograph 1983 1983 4 2 Buchberger 596 P Scientific Computation with Automatic Result Verification 978-3-211-82063-6 978-3-7091-6957-5 https://link.springer.com/10.1007/978-3-7091-6957-5 10.1007/978-3-7091-6957-5 fulltext Springer Vienna monograph 1988 1988 6 1 Kulisch 596 P Fundamentals of Numerical Computation (Computer-Oriented Numerical Analysis) 978-3-211-81566-3 978-3-7091-8577-3 https://link.springer.com/10.1007/978-3-7091-8577-3 10.1007/978-3-7091-8577-3 fulltext Springer Vienna monograph 1980 1980 2 1 Alefeld 596 P Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten 978-3-211-81606-6 978-3-7091-8596-4 https://link.springer.com/10.1007/978-3-7091-8596-4 10.1007/978-3-7091-8596-4 fulltext Springer Vienna monograph 1981 1981 3 1 Knödel 596 P Computer Algebra 978-3-211-81684-4 978-3-7091-3406-1 https://link.springer.com/10.1007/978-3-7091-3406-1 10.1007/978-3-7091-3406-1 fulltext Springer Vienna monograph 1982 1982 4 1 Buchberger 596 P Computer Graphics and Geometric Modeling Using Beta-splines 978-3-540-17239-0 978-3-642-72292-9 https://link.springer.com/10.1007/978-3-642-72292-9 Barsky 10.1007/978-3-642-72292-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 533 P Image Synthesis 978-4-431-70023-4 978-4-431-68060-4 https://link.springer.com/10.1007/978-4-431-68060-4 Magnenat-Thalmann 10.1007/978-4-431-68060-4 fulltext Springer Japan monograph 1987 1987 1 533 P The Unnormalized Relational Data Model 978-4-431-70049-4 978-4-431-68099-4 https://link.springer.com/10.1007/978-4-431-68099-4 Kitagawa 10.1007/978-4-431-68099-4 fulltext Springer Japan monograph 1989 1989 1 533 P Computer Animation 978-4-431-70005-0 978-4-431-68433-6 https://link.springer.com/10.1007/978-4-431-68433-6 Magnenat-Thalmann 10.1007/978-4-431-68433-6 fulltext Springer Japan monograph 1985 1985 1 533 P Computerization and Work 978-3-540-15367-2 978-3-642-70453-6 https://link.springer.com/10.1007/978-3-642-70453-6 10.1007/978-3-642-70453-6 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Briefs 513 P CAM 978-3-540-15165-4 978-3-642-70272-3 https://link.springer.com/10.1007/978-3-642-70272-3 10.1007/978-3-642-70272-3 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Kochan 513 P Computer-Aided Production Management 978-3-540-18748-6 978-3-642-73318-5 https://link.springer.com/10.1007/978-3-642-73318-5 10.1007/978-3-642-73318-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Rolstadas 513 P Visual Languages 978-0-306-42350-5 978-1-4613-1805-7 https://link.springer.com/10.1007/978-1-4613-1805-7 10.1007/978-1-4613-1805-7 fulltext Springer US monograph 1986 1986 1 Shi-Kuo Chang 6226 P Ada® in Practice 978-0-387-96182-8 978-1-4419-8479-1 https://link.springer.com/10.1007/978-1-4419-8479-1 Ausnit 10.1007/978-1-4419-8479-1 fulltext Springer New York monograph 1985 1985 1 351 P Taming the Tiger 978-0-387-96468-3 978-1-4612-4718-0 https://link.springer.com/10.1007/978-1-4612-4718-0 Levy 10.1007/978-1-4612-4718-0 fulltext Springer New York monograph 1987 1987 1 351 P Computer Confidence 978-0-387-90917-2 978-1-4613-8257-7 https://link.springer.com/10.1007/978-1-4613-8257-7 Sanders 10.1007/978-1-4613-8257-7 fulltext Springer New York monograph 1984 1984 1 351 P The World of Programming Languages 978-0-387-96440-9 978-1-4612-4692-3 https://link.springer.com/10.1007/978-1-4612-4692-3 Marcotty 10.1007/978-1-4612-4692-3 fulltext Springer New York monograph 1987 1987 1 351 P Modula-2 for Pascal Programmers 978-0-387-96051-7 978-1-4613-8531-8 https://link.springer.com/10.1007/978-1-4613-8531-8 Gleaves 10.1007/978-1-4613-8531-8 fulltext Springer New York monograph 1984 1984 1 351 P The UNIX™ System Guidebook 978-0-387-96489-8 978-1-4612-3724-2 https://link.springer.com/10.1007/978-1-4612-3724-2 Silvester 10.1007/978-1-4612-3724-2 fulltext Springer New York monograph 1988 1988 2 351 P The Unix™ System Guidebook 978-0-387-90906-6 978-1-4684-0182-0 https://link.springer.com/10.1007/978-1-4684-0182-0 Silvester 10.1007/978-1-4684-0182-0 fulltext Springer New York monograph 1984 1984 1 351 P Software Engineering in C 978-0-387-96574-1 978-1-4684-0308-4 https://link.springer.com/10.1007/978-1-4684-0308-4 Darnell 10.1007/978-1-4684-0308-4 fulltext Springer New York monograph 1988 1988 1 351 P The NeWS Book 978-0-387-96915-2 978-1-4612-3606-1 https://link.springer.com/10.1007/978-1-4612-3606-1 Gosling 10.1007/978-1-4612-3606-1 fulltext Springer New York monograph 1989 1989 1 1286 P Systems Analysis and Simulation II 978-0-387-97093-6 978-1-4613-8936-1 https://link.springer.com/10.1007/978-1-4613-8936-1 10.1007/978-1-4613-8936-1 fulltext Springer New York monograph 1988 1988 2 1 Sydow 878 P Systems Analysis and Simulation I 978-0-387-97091-2 978-1-4684-6389-7 https://link.springer.com/10.1007/978-1-4684-6389-7 10.1007/978-1-4684-6389-7 fulltext Springer New York monograph 1988 1988 1 1 Sydow 878 P Design of Office Information Systems 978-3-540-17810-1 978-3-642-83095-2 https://link.springer.com/10.1007/978-3-642-83095-2 Ellis 10.1007/978-3-642-83095-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 629 P Information Management for Engineering Design 978-3-540-15130-2 978-3-642-82438-8 https://link.springer.com/10.1007/978-3-642-82438-8 Katz 10.1007/978-3-642-82438-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 629 P Programmers and Managers 978-0-387-90248-7 978-1-4613-9420-4 https://link.springer.com/10.1007/978-1-4613-9420-4 Kraft 10.1007/978-1-4613-9420-4 fulltext Springer New York monograph 1977 1977 1 216 P Computers, Chess and Long-Range Planning 978-0-387-90012-4 978-1-4684-6245-6 https://link.springer.com/10.1007/978-1-4684-6245-6 Botvinnik 10.1007/978-1-4684-6245-6 fulltext Springer New York monograph 1970 1970 1 216 P Building Expert Systems in Prolog 978-0-387-97016-5 978-1-4613-8911-8 https://link.springer.com/10.1007/978-1-4613-8911-8 Merritt 10.1007/978-1-4613-8911-8 fulltext Springer New York monograph 1989 1989 1 1204 P Expert Systems Lab Course 978-3-540-50570-9 978-3-642-74303-0 https://link.springer.com/10.1007/978-3-642-74303-0 Schnupp 10.1007/978-3-642-74303-0 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 1204 P The Ada® Generic Library 978-0-387-97133-9 978-1-4684-7089-5 https://link.springer.com/10.1007/978-1-4684-7089-5 Musser 10.1007/978-1-4684-7089-5 fulltext Springer New York monograph 1989 1989 1 1204 P The Modula-2 Software Component Library 978-0-387-97255-8 978-1-4684-6396-5 https://link.springer.com/10.1007/978-1-4684-6396-5 Lins 10.1007/978-1-4684-6396-5 fulltext Springer New York monograph 1989 1989 1 1204 P The Modula-2 Software Component Library 978-0-387-97074-5 978-1-4684-6386-6 https://link.springer.com/10.1007/978-1-4684-6386-6 Lins 10.1007/978-1-4684-6386-6 fulltext Springer New York monograph 1989 1989 1 1204 P Computer Architecture 978-3-540-07761-9 978-3-642-66400-7 https://link.springer.com/10.1007/978-3-642-66400-7 10.1007/978-3-642-66400-7 fulltext Springer Berlin Heidelberg monograph 1976 1976 4 1 Händler 590 P The Use of Formal Specification of Software 978-3-540-10442-1 978-3-642-67881-3 https://link.springer.com/10.1007/978-3-642-67881-3 10.1007/978-3-642-67881-3 fulltext Springer Berlin Heidelberg monograph 1980 1980 36 1 Berg 590 P PISA 978-3-540-10825-2 978-3-642-68136-3 https://link.springer.com/10.1007/978-3-642-68136-3 Marty 10.1007/978-3-642-68136-3 fulltext Springer Berlin Heidelberg monograph 1981 1981 45 1 590 P Application and Theory of Petri Nets 978-3-540-11189-4 978-3-642-68353-4 https://link.springer.com/10.1007/978-3-642-68353-4 10.1007/978-3-642-68353-4 fulltext Springer Berlin Heidelberg monograph 1982 1982 52 1 Girault 590 P GWAI-82 978-3-540-11960-9 978-3-642-68826-3 https://link.springer.com/10.1007/978-3-642-68826-3 10.1007/978-3-642-68826-3 fulltext Springer Berlin Heidelberg monograph 1982 1982 58 1 Wahlster 590 P Data Networks with Satellites 978-3-540-12311-8 978-3-642-69030-3 https://link.springer.com/10.1007/978-3-642-69030-3 10.1007/978-3-642-69030-3 fulltext Springer Berlin Heidelberg monograph 1983 1983 67 1 Majus 590 P Bibliography on Abstract Data Types 978-3-540-12312-5 978-3-642-69032-7 https://link.springer.com/10.1007/978-3-642-69032-7 Kutzler 10.1007/978-3-642-69032-7 fulltext Springer Berlin Heidelberg monograph 1983 1983 68 1 590 P Applications and Theory of Petri Nets 978-3-540-12309-5 978-3-642-69028-0 https://link.springer.com/10.1007/978-3-642-69028-0 10.1007/978-3-642-69028-0 fulltext Springer Berlin Heidelberg monograph 1983 1983 66 1 Pagnoni 590 P First European Simulation Congress ESC 83 978-3-540-12723-9 978-3-642-69295-6 https://link.springer.com/10.1007/978-3-642-69295-6 10.1007/978-3-642-69295-6 fulltext Springer Berlin Heidelberg monograph 1983 1983 71 1 Ameling 590 P GWAI-83 978-3-540-12871-7 978-3-642-69391-5 https://link.springer.com/10.1007/978-3-642-69391-5 10.1007/978-3-642-69391-5 fulltext Springer Berlin Heidelberg monograph 1983 1983 76 1 de Neumann 590 P Fehlertolerierende Rechensysteme 978-3-540-13348-3 978-3-642-69698-5 https://link.springer.com/10.1007/978-3-642-69698-5 10.1007/978-3-642-69698-5 fulltext Springer Berlin Heidelberg monograph 1984 1984 84 1 Grosspietsch 590 P GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung 978-3-540-16808-9 978-3-642-71385-9 https://link.springer.com/10.1007/978-3-642-71385-9 10.1007/978-3-642-71385-9 fulltext Springer Berlin Heidelberg monograph 1986 1986 124 1 Rollinger 590 P Kommunikation in Verteilten Systemen 978-3-540-17213-0 978-3-642-71655-3 https://link.springer.com/10.1007/978-3-642-71655-3 10.1007/978-3-642-71655-3 fulltext Springer Berlin Heidelberg monograph 1987 1987 130 1 Gerner 590 P GWAI-87 11th German Workshop on Artificial Intelligence 978-3-540-18388-4 978-3-642-73005-4 https://link.springer.com/10.1007/978-3-642-73005-4 10.1007/978-3-642-73005-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 152 1 Morik 590 P 5. Österreichische Artificial-Intelligence-Tagung 978-3-540-51039-0 978-3-642-74688-8 https://link.springer.com/10.1007/978-3-642-74688-8 10.1007/978-3-642-74688-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 208 1 Retti 590 P Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems 978-3-540-51565-4 978-3-642-75002-1 https://link.springer.com/10.1007/978-3-642-75002-1 10.1007/978-3-642-75002-1 fulltext Springer Berlin Heidelberg monograph 1989 1989 214 1 Görke 590 P Modelle für Rechensysteme 978-3-540-08206-4 978-3-642-45499-8 https://link.springer.com/10.1007/978-3-642-45499-8 10.1007/978-3-642-45499-8 fulltext Springer Berlin Heidelberg monograph 1977 1977 9 1 Spies 590 P Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems 978-3-540-18294-8 978-3-642-45628-2 https://link.springer.com/10.1007/978-3-642-45628-2 10.1007/978-3-642-45628-2 fulltext Springer Berlin Heidelberg monograph 1987 1987 147 1 Belli 590 P GWAI-84 978-3-540-15669-7 978-3-642-46546-8 https://link.springer.com/10.1007/978-3-642-46546-8 10.1007/978-3-642-46546-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 103 1 Laubsch 590 P GI — 7. Jahrestagung 978-3-540-08425-9 978-3-642-48908-2 https://link.springer.com/10.1007/978-3-642-48908-2 10.1007/978-3-642-48908-2 fulltext Springer Berlin Heidelberg monograph 1977 1977 10 1 Schneider 590 P GWAI-81 978-3-540-10859-7 978-3-662-02328-0 https://link.springer.com/10.1007/978-3-662-02328-0 10.1007/978-3-662-02328-0 fulltext Springer Berlin Heidelberg monograph 1981 1981 47 1 Siekmann 590 P Recent Trends in Data Type Specification 978-3-540-16077-9 978-3-662-09691-8 https://link.springer.com/10.1007/978-3-662-09691-8 10.1007/978-3-662-09691-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 116 1 Kreowski 590 P Digital Pattern Recognition 978-3-540-10207-6 978-3-642-67740-3 https://link.springer.com/10.1007/978-3-642-67740-3 10.1007/978-3-642-67740-3 fulltext Springer Berlin Heidelberg monograph 1980 1980 10 2 Fu 274 P Troubleshooting LC Systems 978-0-89603-151-7 978-1-59259-640-9 https://link.springer.com/10.1007/978-1-59259-640-9 Dolan 10.1007/978-1-59259-640-9 fulltext Humana Press monograph 1989 1989 1 P Resolving Semantic Ambiguity 978-0-387-96906-0 978-1-4612-3596-5 https://link.springer.com/10.1007/978-1-4612-3596-5 10.1007/978-1-4612-3596-5 fulltext Springer New York monograph 1989 1989 1 Gorfein 882 P Ignorance and Uncertainty 978-0-387-96945-9 978-1-4612-3628-3 https://link.springer.com/10.1007/978-1-4612-3628-3 Smithson 10.1007/978-1-4612-3628-3 fulltext Springer New York monograph 1989 1989 1 882 P Learning Issues for Intelligent Tutoring Systems 978-0-387-96616-8 978-1-4684-6350-7 https://link.springer.com/10.1007/978-1-4684-6350-7 10.1007/978-1-4684-6350-7 fulltext Springer New York monograph 1988 1988 1 Mandl 882 P Elements of C 978-0-306-42182-2 978-1-4613-2155-2 https://link.springer.com/10.1007/978-1-4613-2155-2 Lewin 10.1007/978-1-4613-2155-2 fulltext Springer US monograph 1986 1986 1 5969 P The Evaluation of Social Policies 978-0-89838-075-0 978-94-009-7383-1 https://link.springer.com/10.1007/978-94-009-7383-1 Crane 10.1007/978-94-009-7383-1 fulltext Springer Netherlands monograph 1982 1982 1 5969 P Principles of Data Security 978-0-306-41098-7 978-1-4684-4316-5 https://link.springer.com/10.1007/978-1-4684-4316-5 Leiss 10.1007/978-1-4684-4316-5 fulltext Springer US monograph 1982 1982 1 5969 P A Computer Science Reader 978-0-387-96544-4 978-1-4419-8726-6 https://link.springer.com/10.1007/978-1-4419-8726-6 10.1007/978-1-4419-8726-6 fulltext Springer New York monograph 1988 1988 1 Weiss P Modeling Techniques and Tools for Computer Performance Evaluation 978-0-306-43368-9 978-1-4613-0533-0 https://link.springer.com/10.1007/978-1-4613-0533-0 Puigjaner 10.1007/978-1-4613-0533-0 fulltext Springer US monograph 1989 1989 1 P Current Trends in Hardware Verification and Automated Theorem Proving 978-0-387-96988-6 978-1-4612-3658-0 https://link.springer.com/10.1007/978-1-4612-3658-0 10.1007/978-1-4612-3658-0 fulltext Springer New York monograph 1989 1989 1 Birtwistle P The Computer Animation Dictionary 978-0-387-97022-6 978-1-4612-3670-2 https://link.springer.com/10.1007/978-1-4612-3670-2 Roncarelli 10.1007/978-1-4612-3670-2 fulltext Springer New York monograph 1989 1989 1 P Image Analysis and Processing II 978-0-306-42901-9 978-1-4613-1007-5 https://link.springer.com/10.1007/978-1-4613-1007-5 Cantoni 10.1007/978-1-4613-1007-5 fulltext Springer US monograph 1988 1988 1 P Artificial Intelligence and Other Innovative Computer Applications in the Nuclear Industry 978-0-306-42902-6 978-1-4613-1009-9 https://link.springer.com/10.1007/978-1-4613-1009-9 Majumdar 10.1007/978-1-4613-1009-9 fulltext Springer US monograph 1988 1988 1 P Automating Systems Development 978-0-306-42931-6 978-1-4613-1033-4 https://link.springer.com/10.1007/978-1-4613-1033-4 10.1007/978-1-4613-1033-4 fulltext Springer US monograph 1988 1988 1 Benyon P Complexity in Information Theory 978-0-387-96600-7 978-1-4612-3774-7 https://link.springer.com/10.1007/978-1-4612-3774-7 10.1007/978-1-4612-3774-7 fulltext Springer New York monograph 1988 1988 1 Abu-Mostafa P An APL Compiler 978-0-387-96643-4 978-1-4612-3806-5 https://link.springer.com/10.1007/978-1-4612-3806-5 Budd 10.1007/978-1-4612-3806-5 fulltext Springer New York monograph 1988 1988 1 P The Evolution of Fault-Tolerant Computing 978-3-211-81941-8 978-3-7091-8871-2 https://link.springer.com/10.1007/978-3-7091-8871-2 10.1007/978-3-7091-8871-2 fulltext Springer Vienna monograph 1987 1987 1 1 Avizienis 1100 P Software Diversity in Computerized Control Systems 978-3-211-82014-8 978-3-7091-8932-0 https://link.springer.com/10.1007/978-3-7091-8932-0 10.1007/978-3-7091-8932-0 fulltext Springer Vienna monograph 1988 1988 2 1 Voges 1100 P Knowledge, Skill and Artificial Intelligence 978-3-540-19519-1 978-1-4471-1632-5 https://link.springer.com/10.1007/978-1-4471-1632-5 10.1007/978-1-4471-1632-5 fulltext Springer London monograph 1988 1988 1 Göranzon 1166 P Designing Human-centred Technology 978-3-540-19567-2 978-1-4471-1717-9 https://link.springer.com/10.1007/978-1-4471-1717-9 10.1007/978-1-4471-1717-9 fulltext Springer London monograph 1989 1989 1 Rosenbrock 1166 P Esprit ’89 978-0-7923-0592-7 978-94-009-1063-8 https://link.springer.com/10.1007/978-94-009-1063-8 10.1007/978-94-009-1063-8 fulltext Springer Netherlands monograph 1989 1989 1 CEC, DG for Telecommunications P An Introduction to TCP/IP 978-0-387-96651-9 978-1-4612-4572-8 https://link.springer.com/10.1007/978-1-4612-4572-8 Davidson 10.1007/978-1-4612-4572-8 fulltext Springer New York monograph 1988 1988 1 P Empirical Foundations of Information and Software Science III 978-0-306-42585-1 978-1-4613-1895-8 https://link.springer.com/10.1007/978-1-4613-1895-8 10.1007/978-1-4613-1895-8 fulltext Springer US monograph 1987 1987 1 Rasmussen P Cytochrome Systems 978-0-306-42693-3 978-1-4613-1941-2 https://link.springer.com/10.1007/978-1-4613-1941-2 Papa 10.1007/978-1-4613-1941-2 fulltext Springer US monograph 1987 1987 1 P Software Engineering Education 978-0-387-96469-0 978-1-4612-4720-3 https://link.springer.com/10.1007/978-1-4612-4720-3 10.1007/978-1-4612-4720-3 fulltext Springer New York monograph 1987 1987 1 Gibbs P Model Construction with GPSS-FORTRAN Version 3 978-0-387-96503-1 978-1-4612-4748-7 https://link.springer.com/10.1007/978-1-4612-4748-7 Schmidt 10.1007/978-1-4612-4748-7 fulltext Springer New York monograph 1987 1987 1 P The Simulator GPSS-FORTRAN Version 3 978-0-387-96504-8 978-1-4612-4750-0 https://link.springer.com/10.1007/978-1-4612-4750-0 Schmidt 10.1007/978-1-4612-4750-0 fulltext Springer New York monograph 1987 1987 1 P Brains, Machines, and Mathematics 978-0-387-96539-0 978-1-4612-4782-1 https://link.springer.com/10.1007/978-1-4612-4782-1 Arbib 10.1007/978-1-4612-4782-1 fulltext Springer New York monograph 1987 1987 2 P Open Problems in Communication and Computation 978-0-387-96621-2 978-1-4612-4808-8 https://link.springer.com/10.1007/978-1-4612-4808-8 10.1007/978-1-4612-4808-8 fulltext Springer New York monograph 1987 1987 1 Cover P LISP Lore: A Guide to Programming the LISP Machine 978-0-89838-228-0 978-1-4613-1991-7 https://link.springer.com/10.1007/978-1-4613-1991-7 Bromley 10.1007/978-1-4613-1991-7 fulltext Springer US monograph 1987 1987 2 P Computer Systems for Process Control 978-0-306-42386-4 978-1-4613-2237-5 https://link.springer.com/10.1007/978-1-4613-2237-5 Güth 10.1007/978-1-4613-2237-5 fulltext Springer US monograph 1986 1986 1 P Pollutants in a Multimedia Environment 978-0-306-42405-2 978-1-4613-2243-6 https://link.springer.com/10.1007/978-1-4613-2243-6 Cohen 10.1007/978-1-4613-2243-6 fulltext Springer US monograph 1986 1986 1 P Image Analysis and Processing 978-0-306-42391-8 978-1-4613-2239-9 https://link.springer.com/10.1007/978-1-4613-2239-9 Cantoni 10.1007/978-1-4613-2239-9 fulltext Springer US monograph 1986 1986 1 P Artificial Intelligence & Expert Systems Sourcebook 978-0-412-01211-2 978-1-4613-2261-0 https://link.springer.com/10.1007/978-1-4613-2261-0 Hunt 10.1007/978-1-4613-2261-0 fulltext Springer US monograph 1986 1986 1 P Advances in Information Systems Science 978-0-306-41644-6 978-1-4613-2369-3 https://link.springer.com/10.1007/978-1-4613-2369-3 Tou 10.1007/978-1-4613-2369-3 fulltext Springer US monograph 1985 1985 1 P Reference Manual for the ADA® Programming Language 978-0-387-90887-8 978-1-4612-5016-6 https://link.springer.com/10.1007/978-1-4612-5016-6 United States Department of Defense 10.1007/978-1-4612-5016-6 fulltext Springer New York monograph 1983 1983 1 P The Carnegie-Mellon Curriculum for Undergraduate Computer Science 978-0-387-96099-9 978-1-4612-5080-7 https://link.springer.com/10.1007/978-1-4612-5080-7 Brookes 10.1007/978-1-4612-5080-7 fulltext Springer New York monograph 1985 1985 1 Shaw P Database Machines 978-0-387-96200-9 978-1-4612-5144-6 https://link.springer.com/10.1007/978-1-4612-5144-6 10.1007/978-1-4612-5144-6 fulltext Springer New York monograph 1985 1985 1 DeWitt P Apple Macintosh Encyclopedia 978-0-412-00671-5 978-1-4613-2535-2 https://link.springer.com/10.1007/978-1-4613-2535-2 Phillips 10.1007/978-1-4613-2535-2 fulltext Springer US monograph 1985 1985 1 P Solid Modeling by Computers 978-0-306-41937-9 978-1-4613-2811-7 https://link.springer.com/10.1007/978-1-4613-2811-7 10.1007/978-1-4613-2811-7 fulltext Springer US monograph 1984 1984 1 Pickett P Integrated Computer-Aided Design of Mechanical Systems 978-1-85166-021-6 978-94-009-3409-2 https://link.springer.com/10.1007/978-94-009-3409-2 Meguid 10.1007/978-94-009-3409-2 fulltext Springer Netherlands monograph 1987 1987 1 P Expert Systems and Artificial Intelligence in Decision Support Systems 978-90-277-2437-3 978-94-009-3805-2 https://link.springer.com/10.1007/978-94-009-3805-2 10.1007/978-94-009-3805-2 fulltext Springer Netherlands monograph 1987 1987 1 Sol P The Upper Layers of Open Systems Interconnection 978-90-277-2447-2 978-94-009-3815-1 https://link.springer.com/10.1007/978-94-009-3815-1 10.1007/978-94-009-3815-1 fulltext Springer Netherlands monograph 1987 1987 1 Herbers P System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches 978-90-277-2550-9 978-94-009-3929-5 https://link.springer.com/10.1007/978-94-009-3929-5 10.1007/978-94-009-3929-5 fulltext Springer Netherlands monograph 1987 1987 1 Tzafestas P Cybernetics and Systems ’86 978-90-277-2213-3 978-94-009-4634-7 https://link.springer.com/10.1007/978-94-009-4634-7 10.1007/978-94-009-4634-7 fulltext Springer Netherlands monograph 1986 1986 1 Trappl P Logic Programming 978-0-908069-15-6 978-94-009-5044-3 https://link.springer.com/10.1007/978-94-009-5044-3 10.1007/978-94-009-5044-3 fulltext Springer Netherlands monograph 1985 1985 1 Balbin P IBM System/38 978-90-277-1972-0 978-94-009-5347-5 https://link.springer.com/10.1007/978-94-009-5347-5 Coopers & Lybrand 10.1007/978-94-009-5347-5 fulltext Springer Netherlands monograph 1985 1985 1 P Mathematics of Biology 978-90-277-2069-6 978-94-009-5426-7 https://link.springer.com/10.1007/978-94-009-5426-7 10.1007/978-94-009-5426-7 fulltext Springer Netherlands monograph 1985 1985 1 Koch P New Information Technologies and Libraries 978-90-277-2105-1 978-94-009-5452-6 https://link.springer.com/10.1007/978-94-009-5452-6 10.1007/978-94-009-5452-6 fulltext Springer Netherlands monograph 1985 1985 1 Liebaers P Interactive Graphics in CAD 978-0-85038-798-8 978-94-009-5578-3 https://link.springer.com/10.1007/978-94-009-5578-3 Gardan 10.1007/978-94-009-5578-3 fulltext Springer Netherlands monograph 1984 1984 1 P ADA® 978-0-387-90814-4 978-1-4612-5513-0 https://link.springer.com/10.1007/978-1-4612-5513-0 Ledgard 10.1007/978-1-4612-5513-0 fulltext Springer New York monograph 1983 1983 2 P Studies in Ada® Style 978-0-387-90816-8 978-1-4612-5517-8 https://link.springer.com/10.1007/978-1-4612-5517-8 Hibbard 10.1007/978-1-4612-5517-8 fulltext Springer New York monograph 1983 1983 2 P Chess Skill in Man and Machine 978-0-387-90790-1 978-1-4612-5515-4 https://link.springer.com/10.1007/978-1-4612-5515-4 10.1007/978-1-4612-5515-4 fulltext Springer New York monograph 1983 1983 2 Frey P Alphard: Form and Content 978-0-387-90663-8 978-1-4612-5979-4 https://link.springer.com/10.1007/978-1-4612-5979-4 10.1007/978-1-4612-5979-4 fulltext Springer New York monograph 1981 1981 1 Shaw P A Structured Programming Approach to Data 978-1-4684-7987-4 978-1-4612-5981-7 https://link.springer.com/10.1007/978-1-4612-5981-7 COLEMAN 10.1007/978-1-4612-5981-7 fulltext Springer New York monograph 1979 1979 1 P Image Pattern Recognition 978-0-387-90440-5 978-1-4612-6033-2 https://link.springer.com/10.1007/978-1-4612-6033-2 Kovalevsky 10.1007/978-1-4612-6033-2 fulltext Springer New York monograph 1980 1980 1 P The Denotational Description of Programming Languages 978-0-387-90433-7 978-1-4612-6228-2 https://link.springer.com/10.1007/978-1-4612-6228-2 Gordon 10.1007/978-1-4612-6228-2 fulltext Springer New York monograph 1979 1979 1 P Report on the Programming Language PLZ/SYS 978-0-387-90374-3 978-1-4612-6328-9 https://link.springer.com/10.1007/978-1-4612-6328-9 Snook 10.1007/978-1-4612-6328-9 fulltext Springer New York monograph 1978 1978 1 P Pattern Recognition 978-0-306-31020-1 978-1-4613-4154-3 https://link.springer.com/10.1007/978-1-4613-4154-3 Batchelor 10.1007/978-1-4613-4154-3 fulltext Springer US monograph 1978 1978 1 P Advanced Computer Graphics 978-0-306-30517-7 978-1-4613-4606-7 https://link.springer.com/10.1007/978-1-4613-4606-7 10.1007/978-1-4613-4606-7 fulltext Springer US monograph 1971 1971 1 Parslow P Matrices and Simplex Algorithms 978-90-277-1514-2 978-94-009-7941-3 https://link.springer.com/10.1007/978-94-009-7941-3 Heesterman 10.1007/978-94-009-7941-3 fulltext Springer Netherlands monograph 1983 1983 1 P Sensation and Measurement 978-90-277-0474-0 978-94-010-2245-3 https://link.springer.com/10.1007/978-94-010-2245-3 10.1007/978-94-010-2245-3 fulltext Springer Netherlands monograph 1974 1974 1 Moskowitz P Switching Machines 978-90-277-0197-8 978-94-010-2867-7 https://link.springer.com/10.1007/978-94-010-2867-7 Perrin 10.1007/978-94-010-2867-7 fulltext Springer Netherlands monograph 1972 1972 1 P Switching Machines 978-90-277-0196-1 978-94-010-2864-6 https://link.springer.com/10.1007/978-94-010-2864-6 Perrin 10.1007/978-94-010-2864-6 fulltext Springer Netherlands monograph 1972 1972 1 P Software Engineering Education 978-0-387-90216-6 978-1-4612-9898-4 https://link.springer.com/10.1007/978-1-4612-9898-4 10.1007/978-1-4612-9898-4 fulltext Springer New York monograph 1976 1976 1 Wasserman P The Art of C Programming 978-0-387-96392-1 978-1-4613-8685-8 https://link.springer.com/10.1007/978-1-4613-8685-8 Jones 10.1007/978-1-4613-8685-8 fulltext Springer New York monograph 1987 1987 1 P Computer Games I 978-0-387-96496-6 978-1-4613-8716-9 https://link.springer.com/10.1007/978-1-4613-8716-9 10.1007/978-1-4613-8716-9 fulltext Springer New York monograph 1988 1988 1 Levy P Algorithm Synthesis: A Comparative Study 978-0-387-96960-2 978-1-4613-8877-7 https://link.springer.com/10.1007/978-1-4613-8877-7 Steier 10.1007/978-1-4613-8877-7 fulltext Springer New York monograph 1989 1989 1 P PASCAL for Programmers 978-3-540-10473-5 978-3-642-67911-7 https://link.springer.com/10.1007/978-3-642-67911-7 Eisenbach 10.1007/978-3-642-67911-7 fulltext Springer Berlin Heidelberg monograph 1981 1981 1 P Relational Database Systems 978-3-540-12032-2 978-3-642-68847-8 https://link.springer.com/10.1007/978-3-642-68847-8 10.1007/978-3-642-68847-8 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 Schmidt P Concepts for Distributed Systems Design 978-3-540-12049-0 978-3-642-68851-5 https://link.springer.com/10.1007/978-3-642-68851-5 Bochmann 10.1007/978-3-642-68851-5 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 P Algorithmic Studies in Mass Storage Systems 978-3-540-12820-5 978-3-642-69352-6 https://link.springer.com/10.1007/978-3-642-69352-6 Wong 10.1007/978-3-642-69352-6 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 P Fundamentals of Programming Languages 978-3-540-12944-8 978-3-642-69406-6 https://link.springer.com/10.1007/978-3-642-69406-6 Horowitz 10.1007/978-3-642-69406-6 fulltext Springer Berlin Heidelberg monograph 1984 1984 2 P Database Machines 978-3-540-12959-2 978-3-642-69419-6 https://link.springer.com/10.1007/978-3-642-69419-6 10.1007/978-3-642-69419-6 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 Leilich P Modula-2 978-3-540-13297-4 978-3-642-69668-8 https://link.springer.com/10.1007/978-3-642-69668-8 Thalmann 10.1007/978-3-642-69668-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 P Motor Behavior 978-3-540-13448-0 978-3-642-69749-4 https://link.springer.com/10.1007/978-3-642-69749-4 10.1007/978-3-642-69749-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Heuer P Approaches to Prototyping 978-3-540-13490-9 978-3-642-69796-8 https://link.springer.com/10.1007/978-3-642-69796-8 10.1007/978-3-642-69796-8 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 Budde P Verification and Validation of Real-Time Software 978-3-540-15102-9 978-3-642-70224-2 https://link.springer.com/10.1007/978-3-642-70224-2 10.1007/978-3-642-70224-2 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Quirk P Data Structures of Pascal, Algol 68, PL/1 and Ada 978-3-540-15121-0 978-3-642-70239-6 https://link.springer.com/10.1007/978-3-642-70239-6 Lewi 10.1007/978-3-642-70239-6 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 P Computer Graphics — Computer Art 978-3-540-15149-4 978-3-642-70259-4 https://link.springer.com/10.1007/978-3-642-70259-4 Franke 10.1007/978-3-642-70259-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 2 P Time, Mind, and Behavior 978-3-540-15444-0 978-3-642-70491-8 https://link.springer.com/10.1007/978-3-642-70491-8 10.1007/978-3-642-70491-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Michon P Prolog Versus You 978-3-540-17577-3 978-3-642-71922-6 https://link.springer.com/10.1007/978-3-642-71922-6 Johansson 10.1007/978-3-642-71922-6 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 P Concurrency and Nets 978-3-540-18057-9 978-3-642-72822-8 https://link.springer.com/10.1007/978-3-642-72822-8 10.1007/978-3-642-72822-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 1 Voss P PasRo 978-3-540-18093-7 978-3-642-72848-8 https://link.springer.com/10.1007/978-3-642-72848-8 Blume 10.1007/978-3-642-72848-8 fulltext Springer Berlin Heidelberg monograph 1987 1987 2 P First Book on UNIXTM for Executives 978-4-431-70003-6 978-4-431-68023-9 https://link.springer.com/10.1007/978-4-431-68023-9 Shirota 10.1007/978-4-431-68023-9 fulltext Springer Japan monograph 1984 1984 1 P Computer Graphics 978-4-431-70009-8 978-4-431-68030-7 https://link.springer.com/10.1007/978-4-431-68030-7 10.1007/978-4-431-68030-7 fulltext Springer Japan monograph 1985 1985 1 Kunii P Frontiers in Computer Graphics 978-4-431-70004-3 978-4-431-68025-3 https://link.springer.com/10.1007/978-4-431-68025-3 10.1007/978-4-431-68025-3 fulltext Springer Japan monograph 1985 1985 1 Kunii P Computer-Generated Images 978-4-431-70010-4 978-4-431-68033-8 https://link.springer.com/10.1007/978-4-431-68033-8 10.1007/978-4-431-68033-8 fulltext Springer Japan monograph 1985 1985 1 Magnenat-Thalmann P Advanced Computer Graphics 978-4-431-70011-1 978-4-431-68036-9 https://link.springer.com/10.1007/978-4-431-68036-9 10.1007/978-4-431-68036-9 fulltext Springer Japan monograph 1986 1986 1 Kunii P Application Development Systems 978-4-431-70017-3 978-4-431-68051-2 https://link.springer.com/10.1007/978-4-431-68051-2 10.1007/978-4-431-68051-2 fulltext Springer Japan monograph 1986 1986 1 Kunii P Computer Graphics 1987 978-4-431-70022-7 978-4-431-68057-4 https://link.springer.com/10.1007/978-4-431-68057-4 10.1007/978-4-431-68057-4 fulltext Springer Japan monograph 1987 1987 1 Kunii P TRON Project 1987 Open-Architecture Computer Systems 978-4-431-70027-2 978-4-431-68069-7 https://link.springer.com/10.1007/978-4-431-68069-7 10.1007/978-4-431-68069-7 fulltext Springer Japan monograph 1987 1987 1 Sakamura P TRON Project 1988 978-4-431-70038-8 978-4-431-68081-9 https://link.springer.com/10.1007/978-4-431-68081-9 10.1007/978-4-431-68081-9 fulltext Springer Japan monograph 1988 1988 1 Sakamura P New Advances in Computer Graphics 978-4-431-70045-6 978-4-431-68093-2 https://link.springer.com/10.1007/978-4-431-68093-2 10.1007/978-4-431-68093-2 fulltext Springer Japan monograph 1989 1989 1 Earnshaw P TRON Project 1989 978-4-431-70050-0 978-4-431-68102-1 https://link.springer.com/10.1007/978-4-431-68102-1 10.1007/978-4-431-68102-1 fulltext Springer Japan monograph 1988 1988 1 Sakamura P Human-Computer Interaction 978-3-540-18901-5 978-3-642-73402-1 https://link.springer.com/10.1007/978-3-642-73402-1 10.1007/978-3-642-73402-1 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Veer P Hector 978-3-540-19137-7 978-3-642-73574-5 https://link.springer.com/10.1007/978-3-642-73574-5 10.1007/978-3-642-73574-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Krüger P The Design of a Microprocessor 978-3-540-51395-7 978-3-642-74916-2 https://link.springer.com/10.1007/978-3-642-74916-2 Spruth 10.1007/978-3-642-74916-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 P Algebraic Specifications in Software Engineering 978-3-540-51626-2 978-3-642-75030-4 https://link.springer.com/10.1007/978-3-642-75030-4 Horebeek 10.1007/978-3-642-75030-4 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 P Chemical Information 978-3-540-51804-4 978-3-642-75165-3 https://link.springer.com/10.1007/978-3-642-75165-3 10.1007/978-3-642-75165-3 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 Collier P The Architectural Logic of Database Systems 978-3-540-19520-7 978-1-4471-1616-5 https://link.springer.com/10.1007/978-1-4471-1616-5 Yannakoudakis 10.1007/978-1-4471-1616-5 fulltext Springer London monograph 1988 1988 1 P Machine Learning of Natural Language 978-3-540-19557-3 978-1-4471-1697-4 https://link.springer.com/10.1007/978-1-4471-1697-4 Powers 10.1007/978-1-4471-1697-4 fulltext Springer London monograph 1989 1989 1 P Opportunities and Constraints of Parallel Computing 978-0-387-97117-9 978-1-4613-9668-0 https://link.springer.com/10.1007/978-1-4613-9668-0 10.1007/978-1-4613-9668-0 fulltext Springer New York monograph 1989 1989 1 Sanz P Computers and Mathematics 978-0-387-97019-6 978-1-4613-9647-5 https://link.springer.com/10.1007/978-1-4613-9647-5 10.1007/978-1-4613-9647-5 fulltext Springer New York monograph 1989 1989 1 Kaltofen P Issues in Software Engineering Education 978-0-387-96840-7 978-1-4613-9614-7 https://link.springer.com/10.1007/978-1-4613-9614-7 10.1007/978-1-4613-9614-7 fulltext Springer New York monograph 1989 1989 1 Fairley P Maritime Simulation 978-3-540-15620-8 978-3-642-82560-6 https://link.springer.com/10.1007/978-3-642-82560-6 10.1007/978-3-642-82560-6 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Heller P New Trends in Computer Graphics 978-3-540-19328-9 978-3-642-83492-9 https://link.springer.com/10.1007/978-3-642-83492-9 10.1007/978-3-642-83492-9 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 Magnenat-Thalmann P Applied Dynamics of Manipulation Robots 978-3-540-51468-8 978-3-642-83866-8 https://link.springer.com/10.1007/978-3-642-83866-8 Vukobratovic 10.1007/978-3-642-83866-8 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 P Applied Control of Manipulation Robots 978-3-540-51469-5 978-3-642-83869-9 https://link.springer.com/10.1007/978-3-642-83869-9 Vukobratovic 10.1007/978-3-642-83869-9 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 P State-of-the-art in Computer Animation 978-4-431-70046-3 978-4-431-68293-6 https://link.springer.com/10.1007/978-4-431-68293-6 10.1007/978-4-431-68293-6 fulltext Springer Japan monograph 1989 1989 1 Magnenat-Thalmann P Advances in Information Systems Science 978-0-306-40714-7 978-1-4613-9883-7 https://link.springer.com/10.1007/978-1-4613-9883-7 Tou 10.1007/978-1-4613-9883-7 fulltext Springer US monograph 1981 1981 1 P All About Chess and Computers 978-3-540-11932-6 978-3-642-85538-2 https://link.springer.com/10.1007/978-3-642-85538-2 Levy 10.1007/978-3-642-85538-2 fulltext Springer Berlin Heidelberg monograph 1982 1982 2 P Computer Graphics 978-3-540-70001-2 978-3-642-85962-5 https://link.springer.com/10.1007/978-3-642-85962-5 10.1007/978-3-642-85962-5 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 Kunii P Defect and Fault Tolerance in VLSI Systems 978-0-306-43224-8 978-1-4615-6799-8 https://link.springer.com/10.1007/978-1-4615-6799-8 Koren 10.1007/978-1-4615-6799-8 fulltext Springer US monograph 1989 1989 1 P Functional Integration 978-0-306-40573-0 978-1-4615-7035-6 https://link.springer.com/10.1007/978-1-4615-7035-6 Antoine 10.1007/978-1-4615-7035-6 fulltext Springer US monograph 1980 1980 1 P Information Processing in Medical Imaging 978-0-306-42807-4 978-1-4615-7263-3 https://link.springer.com/10.1007/978-1-4615-7263-3 De Graaff 10.1007/978-1-4615-7263-3 fulltext Springer US monograph 1988 1988 1 P International Compendium of Numerical Data Projects 978-3-540-04570-0 978-3-642-87118-4 https://link.springer.com/10.1007/978-3-642-87118-4 10.1007/978-3-642-87118-4 fulltext Springer Berlin Heidelberg monograph 1969 1969 1 CODATA (The Committee on Data for Science and Technology ofthe International Council of Scientific Unions) P Introduction to Formal Grammars 978-3-540-04827-5 978-3-642-87129-0 https://link.springer.com/10.1007/978-3-642-87129-0 Gross 10.1007/978-3-642-87129-0 fulltext Springer Berlin Heidelberg monograph 1970 1970 1 P Neural Networks 978-3-540-04289-1 978-3-642-87596-0 https://link.springer.com/10.1007/978-3-642-87596-0 10.1007/978-3-642-87596-0 fulltext Springer Berlin Heidelberg monograph 1968 1968 1 Caianiello P Pattern Recognition and Machine Learning 978-0-306-30546-7 978-1-4615-7566-5 https://link.springer.com/10.1007/978-1-4615-7566-5 10.1007/978-1-4615-7566-5 fulltext Springer US monograph 1971 1971 1 Fu P Advances in Digital Image Processing 978-0-306-40314-9 978-1-4615-8282-3 https://link.springer.com/10.1007/978-1-4615-8282-3 10.1007/978-1-4615-8282-3 fulltext Springer US monograph 1979 1979 1 Stucki P Advances in Data Base Theory 978-0-306-40629-4 978-1-4615-8297-7 https://link.springer.com/10.1007/978-1-4615-8297-7 Gallaire 10.1007/978-1-4615-8297-7 fulltext Springer US monograph 1981 1981 1 P Algorithms for Graphics and Image Processing 978-3-540-11338-6 978-3-642-93208-3 https://link.springer.com/10.1007/978-3-642-93208-3 Pavlidis 10.1007/978-3-642-93208-3 fulltext Springer Berlin Heidelberg monograph 1982 1982 1 P 16-Bit-Microprocessor Systems 978-3-540-15164-7 978-3-642-93285-4 https://link.springer.com/10.1007/978-3-642-93285-4 Flik 10.1007/978-3-642-93285-4 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 P Computer Graphics in Medical Research and Hospital Administration 978-0-306-30518-4 978-1-4615-8648-7 https://link.springer.com/10.1007/978-1-4615-8648-7 10.1007/978-1-4615-8648-7 fulltext Springer US monograph 1971 1971 1 Parslow P Pattern Recognition Approach to Data Interpretation 978-0-306-41302-5 978-1-4615-9331-7 https://link.springer.com/10.1007/978-1-4615-9331-7 Wolff 10.1007/978-1-4615-9331-7 fulltext Springer US monograph 1983 1983 1 P Advances in Data Base Theory 978-0-306-41636-1 978-1-4615-9385-0 https://link.springer.com/10.1007/978-1-4615-9385-0 Gallaire 10.1007/978-1-4615-9385-0 fulltext Springer US monograph 1984 1984 1 P Revised Report on the Algorithmic Language Algol 68 978-3-540-07592-9 978-3-642-95279-1 https://link.springer.com/10.1007/978-3-642-95279-1 10.1007/978-3-642-95279-1 fulltext Springer Berlin Heidelberg monograph 1976 1976 1 Wijngaarden P The Book of L 978-3-540-16022-9 978-3-642-95486-3 https://link.springer.com/10.1007/978-3-642-95486-3 10.1007/978-3-642-95486-3 fulltext Springer Berlin Heidelberg monograph 1986 1986 1 Rozenberg P Standard Relational and Network Database Languages 978-3-540-19537-5 978-1-4471-3287-5 https://link.springer.com/10.1007/978-1-4471-3287-5 Yannakoudakis 10.1007/978-1-4471-3287-5 fulltext Springer London monograph 1988 1988 1 P The Origins of Digital Computers 978-3-540-06169-4 978-3-642-96145-8 https://link.springer.com/10.1007/978-3-642-96145-8 10.1007/978-3-642-96145-8 fulltext Springer Berlin Heidelberg monograph 1973 1973 1 Randell P Programming in Prolog 978-3-540-11046-0 978-3-642-96661-3 https://link.springer.com/10.1007/978-3-642-96661-3 Clocksin 10.1007/978-3-642-96661-3 fulltext Springer Berlin Heidelberg monograph 1981 1981 1 P Programming in Modula-2 978-3-540-11674-5 978-3-642-96717-7 https://link.springer.com/10.1007/978-3-642-96717-7 Wirth 10.1007/978-3-642-96717-7 fulltext Springer Berlin Heidelberg monograph 1982 1982 1 P Fundamentals of Programming Languages 978-3-540-11768-1 978-3-642-96729-0 https://link.springer.com/10.1007/978-3-642-96729-0 Horowitz 10.1007/978-3-642-96729-0 fulltext Springer Berlin Heidelberg monograph 1983 1983 1 P Programming in Prolog 978-3-540-15011-4 978-3-642-96873-0 https://link.springer.com/10.1007/978-3-642-96873-0 Clocksin 10.1007/978-3-642-96873-0 fulltext Springer Berlin Heidelberg monograph 1984 1984 2 P PasRo 978-3-540-15120-3 978-3-642-96883-9 https://link.springer.com/10.1007/978-3-642-96883-9 Blume 10.1007/978-3-642-96883-9 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 P Programming in Prolog 978-3-540-17539-1 978-3-642-97005-4 https://link.springer.com/10.1007/978-3-642-97005-4 Clocksin 10.1007/978-3-642-97005-4 fulltext Springer Berlin Heidelberg monograph 1987 1987 3 P ADA An Introduction 978-0-387-90568-6 978-1-4684-0126-4 https://link.springer.com/10.1007/978-1-4684-0126-4 Ledgard 10.1007/978-1-4684-0126-4 fulltext Springer New York monograph 1981 1981 1 P Studies in Ada Style 978-0-387-90628-7 978-1-4684-0139-4 https://link.springer.com/10.1007/978-1-4684-0139-4 Hibbard 10.1007/978-1-4684-0139-4 fulltext Springer New York monograph 1981 1981 1 P An Introduction to Computer Simulation in Applied Science 978-0-306-30579-5 978-1-4684-1974-0 https://link.springer.com/10.1007/978-1-4684-1974-0 10.1007/978-1-4684-1974-0 fulltext Springer US monograph 1972 1972 1 Abraham P Logic and Data Bases 978-0-306-40060-5 978-1-4684-3384-5 https://link.springer.com/10.1007/978-1-4684-3384-5 Gallaire 10.1007/978-1-4684-3384-5 fulltext Springer US monograph 1978 1978 1 P Real-Time Parallel Computing 978-0-306-40639-3 978-1-4684-3893-2 https://link.springer.com/10.1007/978-1-4684-3893-2 10.1007/978-1-4684-3893-2 fulltext Springer US monograph 1981 1981 1 Onoe P Advances in Cryptology 978-0-306-41637-8 978-1-4684-4730-9 https://link.springer.com/10.1007/978-1-4684-4730-9 10.1007/978-1-4684-4730-9 fulltext Springer US monograph 1984 1984 1 Chaum P Empirical Foundations of Information and Software Science IV 978-0-306-42817-3 978-1-4684-5472-7 https://link.springer.com/10.1007/978-1-4684-5472-7 Agrawal 10.1007/978-1-4684-5472-7 fulltext Springer US monograph 1987 1987 1 P Apple IIc and IIe Assembly Language 978-0-412-01121-4 978-1-4684-6424-5 https://link.springer.com/10.1007/978-1-4684-6424-5 Gilder 10.1007/978-1-4684-6424-5 fulltext Springer US monograph 1986 1986 1 P Computer-Aided Engineering for Manufacture 978-1-85091-093-0 978-1-4684-6912-7 https://link.springer.com/10.1007/978-1-4684-6912-7 Milner 10.1007/978-1-4684-6912-7 fulltext Springer US monograph 1986 1986 1 P Software Development Tools 978-3-540-10326-4 978-3-642-46430-0 https://link.springer.com/10.1007/978-3-642-46430-0 Riddle 10.1007/978-3-642-46430-0 fulltext Springer Berlin Heidelberg monograph 1980 1980 1 P The Intelligent Network 978-3-540-50897-7 978-3-642-46663-2 https://link.springer.com/10.1007/978-3-642-46663-2 10.1007/978-3-642-46663-2 fulltext Springer Berlin Heidelberg monograph 1989 1989 1 Ambrosch P A Flexible Efficient Computer System to Answer Human Questions 978-3-7643-0779-0 978-3-0348-5994-3 https://link.springer.com/10.1007/978-3-0348-5994-3 COMFORT 10.1007/978-3-0348-5994-3 fulltext Birkhäuser Basel monograph 1975 1975 1 10589 P Introduction to SIMULA 67 978-3-528-13340-5 978-3-322-89739-8 https://link.springer.com/10.1007/978-3-322-89739-8 Günther 10.1007/978-3-322-89739-8 fulltext Vieweg+Teubner Verlag monograph 1983 1983 2 P Computer-Based Automation 978-0-306-41903-4 978-1-4684-7559-3 https://link.springer.com/10.1007/978-1-4684-7559-3 Tou 10.1007/978-1-4684-7559-3 fulltext Springer US monograph 1985 1985 1 P The Application of Mathematics in Industry 978-90-247-2590-8 978-94-011-7834-1 https://link.springer.com/10.1007/978-94-011-7834-1 Anderssen 10.1007/978-94-011-7834-1 fulltext Springer Netherlands monograph 1982 1982 1 P Dealing with Complexity 978-0-306-42715-2 978-1-4684-7799-3 https://link.springer.com/10.1007/978-1-4684-7799-3 Flood 10.1007/978-1-4684-7799-3 fulltext Springer US monograph 1988 1988 1 P The Expression of Knowledge 978-0-306-40927-1 978-1-4684-7890-7 https://link.springer.com/10.1007/978-1-4684-7890-7 Isaacson 10.1007/978-1-4684-7890-7 fulltext Springer US monograph 1982 1982 1 P Curves and Surfaces in Computer Aided Geometric Design 978-3-540-17449-3 978-3-642-48952-5 https://link.springer.com/10.1007/978-3-642-48952-5 Yamaguchi 10.1007/978-3-642-48952-5 fulltext Springer Berlin Heidelberg monograph 1988 1988 1 P Automated Theorem Proving 978-3-528-18520-6 978-3-322-90102-6 https://link.springer.com/10.1007/978-3-322-90102-6 Bibel 10.1007/978-3-322-90102-6 fulltext Vieweg+Teubner Verlag monograph 1987 1987 2 10773 P Computer Graphics 978-0-306-20016-8 978-1-4684-8586-8 https://link.springer.com/10.1007/978-1-4684-8586-8 Parslow 10.1007/978-1-4684-8586-8 fulltext Springer US monograph 1969 1969 1 P Finite Element Methods in CAD 978-0-387-91293-6 978-1-4684-8739-8 https://link.springer.com/10.1007/978-1-4684-8739-8 Sabonnadiere 10.1007/978-1-4684-8739-8 fulltext Springer New York monograph 1987 1987 1 P Physics of Plasma-Wall Interactions in Controlled Fusion 978-0-306-42097-9 978-1-4757-0067-1 https://link.springer.com/10.1007/978-1-4757-0067-1 Post 10.1007/978-1-4757-0067-1 fulltext Springer US monograph 1986 1986 1 P Real-Time Medical Image Processing 978-0-306-40551-8 978-1-4757-0121-0 https://link.springer.com/10.1007/978-1-4757-0121-0 10.1007/978-1-4757-0121-0 fulltext Springer US monograph 1980 1980 1 Onoe P What is in a Name? 978-94-015-0452-2 978-94-015-1094-3 https://link.springer.com/10.1007/978-94-015-1094-3 Zabeeh 10.1007/978-94-015-1094-3 fulltext Springer Netherlands monograph 1968 1968 1 P Advances in Cryptology 978-0-306-41366-7 978-1-4757-0602-4 https://link.springer.com/10.1007/978-1-4757-0602-4 10.1007/978-1-4757-0602-4 fulltext Springer US monograph 1983 1983 1 Chaum P Social Science Research on CAD/CAM 978-3-7908-0392-1 978-3-642-52380-9 https://link.springer.com/10.1007/978-3-642-52380-9 10.1007/978-3-642-52380-9 fulltext Physica-Verlag HD monograph 1988 1988 1 Rader P Linear Programming in Industry 978-3-211-80857-3 978-3-7091-3453-5 https://link.springer.com/10.1007/978-3-7091-3453-5 Dano 10.1007/978-3-7091-3453-5 fulltext Springer Vienna monograph 1965 1965 3 P Linear Programming in Industry 978-3-7091-3649-2 978-3-7091-3647-8 https://link.springer.com/10.1007/978-3-7091-3647-8 Dano 10.1007/978-3-7091-3647-8 fulltext Springer Vienna monograph 1963 1963 2 P Linear Programming in Industry 978-3-7091-3646-1 978-3-7091-3644-7 https://link.springer.com/10.1007/978-3-7091-3644-7 Dano 10.1007/978-3-7091-3644-7 fulltext Springer Vienna monograph 1960 1960 1 P Architecture of Systems Problem Solving 978-0-306-41867-9 978-1-4757-1168-4 https://link.springer.com/10.1007/978-1-4757-1168-4 Klir 10.1007/978-1-4757-1168-4 fulltext Springer US monograph 1985 1985 1 P Computer Graphics 978-0-306-30393-7 978-1-4757-1320-6 https://link.springer.com/10.1007/978-1-4757-1320-6 Parslow 10.1007/978-1-4757-1320-6 fulltext Springer US monograph 1969 1969 1 P A Practical Introduction to Pascal 978-1-4757-1679-5 978-1-4757-1677-1 https://link.springer.com/10.1007/978-1-4757-1677-1 WILSON/ADDYMAN 10.1007/978-1-4757-1677-1 fulltext Springer New York monograph 1978 1978 1 P A Practical Introduction to Pascal 978-1-4757-1766-2 978-1-4757-1764-8 https://link.springer.com/10.1007/978-1-4757-1764-8 WILSON/ADDYMAN 10.1007/978-1-4757-1764-8 fulltext Springer New York monograph 1982 1982 2 P Computer Presentation of Data in Science 978-0-89838-415-4 978-94-015-7844-8 https://link.springer.com/10.1007/978-94-015-7844-8 Simmonds 10.1007/978-94-015-7844-8 fulltext Springer Netherlands monograph 1989 1989 1 P Robot Technology and Applications 978-3-540-13960-7 978-3-662-02440-9 https://link.springer.com/10.1007/978-3-662-02440-9 10.1007/978-3-662-02440-9 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Rathmill P Computer Chess Compendium 978-0-387-91331-5 978-1-4757-1968-0 https://link.springer.com/10.1007/978-1-4757-1968-0 LEVY 10.1007/978-1-4757-1968-0 fulltext Springer New York monograph 1988 1988 1 P Computer Communications 978-0-387-91306-3 978-1-4757-3915-2 https://link.springer.com/10.1007/978-1-4757-3915-2 COLE 10.1007/978-1-4757-3915-2 fulltext Springer New York monograph 1982 1982 1 P The Illiac IV 978-3-540-11765-0 978-3-662-10345-6 https://link.springer.com/10.1007/978-3-662-10345-6 Hord 10.1007/978-3-662-10345-6 fulltext Springer Berlin Heidelberg monograph 1982 1982 1 P Languages for Automation 978-0-306-42031-3 978-1-4757-1388-6 https://link.springer.com/10.1007/978-1-4757-1388-6 10.1007/978-1-4757-1388-6 fulltext Springer US monograph 1985 1985 1 Chang 11605 P Algorithms, Software and Hardware of Parallel Computers 978-3-540-13657-6 978-3-662-11106-2 https://link.springer.com/10.1007/978-3-662-11106-2 10.1007/978-3-662-11106-2 fulltext Springer Berlin Heidelberg monograph 1984 1984 1 Miklosko P Design of Arithmetic Units for Digital Computers 978-0-387-91171-7 978-1-4757-4938-0 https://link.springer.com/10.1007/978-1-4757-4938-0 GOSLING 10.1007/978-1-4757-4938-0 fulltext Springer New York monograph 1980 1980 1 P The Architecture of High Performance Computers 978-0-387-91215-8 978-1-4757-6715-5 https://link.springer.com/10.1007/978-1-4757-6715-5 IBBETT 10.1007/978-1-4757-6715-5 fulltext Springer New York monograph 1982 1982 1 P Lisp Lore: A Guide to Programming the Lisp Machine 978-0-89838-220-4 978-1-4757-5668-5 https://link.springer.com/10.1007/978-1-4757-5668-5 Bromley 10.1007/978-1-4757-5668-5 fulltext Springer US monograph 1986 1986 1 P Model Neural Networks and Behavior 978-0-306-41949-2 978-1-4757-5858-0 https://link.springer.com/10.1007/978-1-4757-5858-0 Selverston 10.1007/978-1-4757-5858-0 fulltext Springer US monograph 1985 1985 1 P Applications of Circularly Polarized Radiation Using Synchrotron and Ordinary Sources 978-0-306-42087-0 978-1-4757-9229-4 https://link.springer.com/10.1007/978-1-4757-9229-4 Allen 10.1007/978-1-4757-9229-4 fulltext Springer US monograph 1985 1985 1 P Applications of Human Performance Models to System Design 978-0-306-43242-2 978-1-4757-9244-7 https://link.springer.com/10.1007/978-1-4757-9244-7 McMillan 10.1007/978-1-4757-9244-7 fulltext Springer US monograph 1989 1989 2 1 5872 P Recognition of Patterns 978-3-211-81267-9 978-3-7091-4103-8 https://link.springer.com/10.1007/978-3-7091-4103-8 Becker 10.1007/978-3-7091-4103-8 fulltext Springer Vienna monograph 1974 1974 2 P Engineering Software IV 978-3-540-15493-8 978-3-662-21877-8 https://link.springer.com/10.1007/978-3-662-21877-8 10.1007/978-3-662-21877-8 fulltext Springer Berlin Heidelberg monograph 1985 1985 1 Adey P Advanced Computing Concepts and Techniques in Control Engineering 978-3-540-50037-7 978-3-642-83548-3 https://link.springer.com/10.1007/978-3-642-83548-3 10.1007/978-3-642-83548-3 fulltext Springer Berlin Heidelberg monograph 1988 1988 47 1 Denham 764 P Intelligent Decision Support in Process Environments 978-3-540-13922-5 978-3-642-50329-0 https://link.springer.com/10.1007/978-3-642-50329-0 10.1007/978-3-642-50329-0 fulltext Springer Berlin Heidelberg monograph 1986 1986 21 1 Hollnagel 764 P Fundamentals of Operating Systems 978-1-4899-2688-3 978-1-4899-2686-9 https://link.springer.com/10.1007/978-1-4899-2686-9 LISTER 10.1007/978-1-4899-2686-9 fulltext Springer New York monograph 1984 1984 3 P Flexible Assembly Systems 978-0-306-41527-2 978-1-4899-0493-5 https://link.springer.com/10.1007/978-1-4899-0493-5 Owen 10.1007/978-1-4899-0493-5 fulltext Springer US monograph 1984 1984 1 P Vision and Information Processing for Automation 978-0-306-42245-4 978-1-4899-2028-7 https://link.springer.com/10.1007/978-1-4899-2028-7 Browne 10.1007/978-1-4899-2028-7 fulltext Springer US monograph 1986 1986 1 P Pascal at Work and Play 978-0-412-23380-7 978-1-4899-3061-3 https://link.springer.com/10.1007/978-1-4899-3061-3 Forsyth 10.1007/978-1-4899-3061-3 fulltext Springer US monograph 1982 1982 1 P Aspects of the Theory of Artificial Intelligence 978-1-4899-6269-0 978-1-4899-6584-4 https://link.springer.com/10.1007/978-1-4899-6584-4 Musés 10.1007/978-1-4899-6584-4 fulltext Springer US monograph 1962 1962 1 P Architecture of High Performance Computers Volume II 978-0-387-91353-7 978-1-4899-6701-5 https://link.springer.com/10.1007/978-1-4899-6701-5 IBBETT 10.1007/978-1-4899-6701-5 fulltext Springer New York monograph 1989 1989 1 P Human-Computer Interface Design 978-0-387-91339-1 978-1-4899-6749-7 https://link.springer.com/10.1007/978-1-4899-6749-7 SUTCLIFFE 10.1007/978-1-4899-6749-7 fulltext Springer New York monograph 1989 1989 1 P DEMOS A System for Discrete Event Modelling on Simula 978-0-387-91301-8 978-1-4899-6685-8 https://link.springer.com/10.1007/978-1-4899-6685-8 BIRTWISTLE 10.1007/978-1-4899-6685-8 fulltext Springer New York monograph 1979 1979 1 P Architecture of High Performance Computers 978-0-387-91352-0 978-1-4899-6712-1 https://link.springer.com/10.1007/978-1-4899-6712-1 IBBETT 10.1007/978-1-4899-6712-1 fulltext Springer New York monograph 1989 1989 1 P Integrated Circuit Design 978-0-387-91303-2 978-1-4899-6675-9 https://link.springer.com/10.1007/978-1-4899-6675-9 MURRAY 10.1007/978-1-4899-6675-9 fulltext Springer New York monograph 1987 1987 1 P Microcomputer 978-3-662-37756-7 978-3-662-38578-4 https://link.springer.com/10.1007/978-3-662-38578-4 Bowles 10.1007/978-3-662-38578-4 fulltext Springer Berlin Heidelberg monograph 1977 1977 5 P Fundamentals of Digital Machine Computing 978-3-662-39160-0 978-3-662-40151-4 https://link.springer.com/10.1007/978-3-662-40151-4 Hintze 10.1007/978-3-662-40151-4 fulltext Springer Berlin Heidelberg monograph 1966 1966 1 P Applied Game Theory 978-3-7908-0208-5 978-3-662-41501-6 https://link.springer.com/10.1007/978-3-662-41501-6 10.1007/978-3-662-41501-6 fulltext Physica-Verlag HD monograph 1979 1979 1 Brams P Electronic Computers 978-3-7091-4622-4 978-3-7091-4772-6 https://link.springer.com/10.1007/978-3-7091-4772-6 10.1007/978-3-7091-4772-6 fulltext Springer Vienna monograph 1962 1962 2 Handel P Good BASIC Programming with the B. B. C. Microcomputer 978-0-333-36704-9 978-1-349-07195-1 https://link.springer.com/10.1007/978-1-349-07195-1 White 10.1007/978-1-349-07195-1 fulltext Palgrave Macmillan UK monograph 1985 1985 1 P The 'Orange Book' Series 978-0-333-53947-7 978-1-349-12020-8 https://link.springer.com/10.1007/978-1-349-12020-8 Defense 10.1007/978-1-349-12020-8 fulltext Palgrave Macmillan UK monograph 1985 1985 1 P Data And Computer Security 978-0-333-51178-7 978-1-349-11170-1 https://link.springer.com/10.1007/978-1-349-11170-1 Longley 10.1007/978-1-349-11170-1 fulltext Palgrave Macmillan UK monograph 1989 1989 1 P Computers and Computer Applications in Developing Countries 978-0-333-41383-8 978-1-349-08647-4 https://link.springer.com/10.1007/978-1-349-08647-4 10.1007/978-1-349-08647-4 fulltext Palgrave Macmillan UK monograph 1987 1987 1 Damachi P Information Security for Managers 978-0-333-46203-4 978-1-349-10137-5 https://link.springer.com/10.1007/978-1-349-10137-5 Caelli 10.1007/978-1-349-10137-5 fulltext Palgrave Macmillan UK monograph 1989 1989 1 P Expanding and Networking Microcomputers 978-0-333-38006-2 978-1-349-07625-3 https://link.springer.com/10.1007/978-1-349-07625-3 Longley 10.1007/978-1-349-07625-3 fulltext Palgrave Macmillan UK monograph 1985 1985 1 P How to Market Computers and Office Systems 978-0-333-37440-5 978-1-349-07498-3 https://link.springer.com/10.1007/978-1-349-07498-3 Stone 10.1007/978-1-349-07498-3 fulltext Palgrave Macmillan UK monograph 1984 1984 1 P Understanding Microcomputers 978-0-333-37573-0 978-1-349-07553-9 https://link.springer.com/10.1007/978-1-349-07553-9 Longley 10.1007/978-1-349-07553-9 fulltext Palgrave Macmillan UK monograph 1985 1985 1 P Introduction to occam 2 on the Transputer 978-0-333-45340-7 978-1-349-09877-4 https://link.springer.com/10.1007/978-1-349-09877-4 Brookes 10.1007/978-1-349-09877-4 fulltext Palgrave Macmillan UK monograph 1989 1989 1 13953 P Book on C 978-0-333-46529-5 978-1-349-10233-4 https://link.springer.com/10.1007/978-1-349-10233-4 Berry 10.1007/978-1-349-10233-4 fulltext Palgrave Macmillan UK monograph 1988 1988 1 13953 P COBOL From Pascal 978-0-333-48303-9 978-1-349-10594-6 https://link.springer.com/10.1007/978-1-349-10594-6 Tyrrell 10.1007/978-1-349-10594-6 fulltext Palgrave Macmillan UK monograph 1989 1989 1 Sumner 13953 P Fundamentals of Data Base Systems 978-0-333-19738-7 978-1-349-15843-0 https://link.springer.com/10.1007/978-1-349-15843-0 Deen 10.1007/978-1-349-15843-0 fulltext Palgrave Macmillan UK monograph 1977 1977 1 P Human-Computer Interface Design 978-0-333-42898-6 978-1-349-19618-0 https://link.springer.com/10.1007/978-1-349-19618-0 Sutcliffe 10.1007/978-1-349-19618-0 fulltext Palgrave Macmillan UK monograph 1988 1988 1 P Macmillan Dictionary of Information Technology 978-0-333-37260-9 978-1-349-17801-8 https://link.springer.com/10.1007/978-1-349-17801-8 10.1007/978-1-349-17801-8 fulltext Palgrave Macmillan UK monograph 1985 1985 2 Longley P Dictionary of Information Technology 978-0-333-32762-3 978-1-349-16907-8 https://link.springer.com/10.1007/978-1-349-16907-8 10.1007/978-1-349-16907-8 fulltext Palgrave Macmillan UK monograph 1982 1982 1 Longley P Making Computers Work 978-0-333-31483-8 978-1-349-17421-8 https://link.springer.com/10.1007/978-1-349-17421-8 Bentley 10.1007/978-1-349-17421-8 fulltext Palgrave Macmillan UK monograph 1984 1984 1 P Programming by Case Studies 978-0-333-10146-9 978-1-349-00700-4 https://link.springer.com/10.1007/978-1-349-00700-4 Chedzoy 10.1007/978-1-349-00700-4 fulltext Palgrave Macmillan UK monograph 1969 1969 1 P