Results 1 - 10 of 73 for General Search
Sorted by:
Sorted by:
Date-newestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
subject:
Congresses
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithmsACM Special Interest Group for Algorithms and Computation Theory ; SIAM Activity Group on Discrete MathematicsSociety for Industrial and Applied Mathematics 2008Full text available |
| 2 |
Material Type: Book
|
|
Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete AlgorithmsHarold GabowSociety for Industrial and Applied Mathematics 2007Full text available |
| 3 |
Material Type: Book
|
|
Proceedings of the seventeenth annual ACM-SIAM Symposium on Discrete AlgorithmsAssociation for Computing Machinery. Special Interest Group on Algorithms and Computation Theory ; Society for Industrial and Applied Mathematics. Activity Group on Discrete Mathematics ; ACM-SIAM Symposium on Discrete AlgorithmsSociety for Industrial and Applied Mathematics 2006Full text available |
| 4 |
Material Type: Book
|
|
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 ProceedingsBird, R. S ; Morgan, C. C ; Woodcock, J. C. P Woodcock, J. C. P. ; Morgan, C. C. ; Bird, R. S.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Full text available |
| 5 |
Material Type: Book
|
|
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, CanadaLauer, Peter E Lauer, Peter E.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Full text available |
| 6 |
Material Type: Book
|
|
ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 ProceedingsKrieg-Brückner, Bernd Krieg-Brückner, BerndBerlin, Heidelberg: Springer Berlin Heidelberg 1992Full text available |
| 7 |
Material Type: Book
|
|
Category Theory and Computer Science: Paris, France, September 3–6, 1991 ProceedingsPitt, David H ; Curien, Pierre-Louis ; Abramsky, Samson ; Pitts, Andrew M ; Poigné, Axel ; Rydeheard, David E Curien, Pierre-Louis ; Pitt, David H. ; Poigné, Axel ; Abramsky, Samson ; Pitts, Andrew M. ; Rydeheard, David E.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Full text available |
| 8 |
Material Type: Book
|
|
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 ProceedingsBook, Ronald V Book, Ronald V.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Full text available |
| 9 |
Material Type: Book
|
|
ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 ProceedingsJones, Neil Jones, NeilBerlin, Heidelberg: Springer Berlin Heidelberg 1990Full text available |
| 10 |
Material Type: Book
|
|
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 ProceedingsPitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Full text available |
Results 1 - 10 of 73 for General Search
Sorted by:
Sorted by:
Date-newestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Subject
- Computer Science (71)
- Computer Programming (71)
- Electronic Digital Computers -- Programming -- Congresses (68)
- Programmation (35)
- Programming Languages (35)
- Software Engineering (33)
- Logics And Meanings Of Programs (33)
- Logic Design (33)
- Computers (32)
- Mathematical Logic And Formal Languages (31)
- Programming Languages, Compilers, Interpreters (29)
- Computer Logic (29)
- Machine Theory (28)
- Compilers (28)
- Programming Techniques (27)
- Kongress (26)
- Computer Science Logic And Foundations Of Programming (24)
-
More options
Creation Date
- Before1980 (8)
- 1980To1986 (11)
- 1987To1994 (14)
- 1995To2001 (17)
- After 2001 (46)
-
More options
Database/Library
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (63)
- Springer Books (63)
- SpringerLink Books Lecture Notes in Computer Science Archive (63)
- Springer Books Online Archive (63)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (57)
- SpringerLINK Lecture Notes in Computer Science (2015) (57)
- ACM Digital Library Complete (6)
- ScienceDirect eBooks (3)
- eBook - All Access Books [EBAAB] (3)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 