Your search returned 816 results.

Results
	21.	Fast software encryption : 6th International Workshop, FSE'99 Rome, Italy, March 1999 : proceedings / Lars Knudsen, editor by FSE'99 (6th : 1999 : Rome, Italy) Knudsen, Lars Series: Lecture notes in computer science ; 1636 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany : Springer, 1999 Availability: Items available for loan: LIC(LABUAN INTERNATIONAL CAMPUS) (1)Location, call number: LIC Stack QA76.9 . A25F74 1999. Place hold Add to cart (remove)
	22.	Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.) by FMCAD '98 (1998 : Palo Alto, Calif.) Gopalakrishnan, Ganesh Windley, Phillip J, 1958- Series: Lecture notes in computer science ; 1522. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c1998 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection TK7874.65 . F53 1998. Place hold Add to cart (remove)
	23.	Advance in cryptology-Eurocrypt' 95 : International conference on the theory and applicational of cryptographic techniques, Saint Malo, France, May 1995 / Louis C. Guillou, Jean-Jacques Quisquater by Interantional Conference on the Theory and Application of Crytographic Techniques (1995 : Saint-Malo, France) Quisquater, Jean-Jacques Guillou, Louis C Series: Lecture notes in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer - Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA76.9 . A25I67 1995, ... Place hold Add to cart (remove)
	24.	Application and theory of Petri Nets 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings / Giorgio De Michelis, Michel Diaz, editors by International Conference on Applications and Theory of Petri Nets (16th : 1995 : Turin, Italy) De Michelis, Giorgio Diaz, Michel, 1945- Series: Lecture notes in computer science ; v. 935 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA267 . I674 1995, ... Place hold Add to cart (remove)
	25.	Artificial neural networks : an introduction to ANN theory and practice / P. J. Braspenning, F. Thuijsman, A. J. M. M. Weijters, editors. by Braspenning, P. J Thuijsman, F Weijters, A. J. M. M Series: Lecture notes in computer science ; 931 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76 . A77. Place hold Add to cart (remove)
	26.	TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds by International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark) Mosses, Peter Nielsen, M., (Mogens), 1949- Schwartzbach, Michael I Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark) Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus, Denmark) Series: Lecture notes in computer science ; 915 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, 1995 Other title: Theory and practice of software development Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA76.76 . D47I67 1995, ... Place hold Add to cart (remove)
	27.	Advanced information systems engineering : 7th international conference, CAiSE '95, Jyvaskyla, Finland, June 12-16, 1995 : proceedings / Juhani Iivari, Kalle Lyytinen, Matti Rossi, eds. by CAiSE '95 (1995 : Jyvaskyla, Findland) Iivari, Juhani, 1947- Lyytinen, Kalle, 1953- Rossi, Matti Series: Lecture notes in computer science ; 932 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA76.758 . C33 1995, ... Place hold Add to cart (remove)
	28.	Computer aided verification : 7th International Conference, CAV'95 Liege Belgium, July 3-5, 1995 : proceedings / Pierre Wolper. by Wolper, Pierre Conference on computer Aided Verification (CAV'95) (7th : 1995 : Liege, Belgium) Series: Lecture notes in computer science ; 939 Material type: Text; Format: print Publication details: Berlin : Springer- Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA76 . C65I43 1995, ... Place hold Add to cart (remove)
	29.	From natural to artificial neural computation : international workshop on artificial neural networks Malaga-Torremolinos, Spain, June 7-9, 1995, Proceedings / Jose Mira, Francisco Sandoval, eds by International Workshop on Artificial Neural Networks (1995 : Torremolinos, Spain) Mira, J., (Jose) Sandoval, Francisco Series: Lecture notes in computer science ; 930 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA76.87 . I67 1995, ... Place hold Add to cart (remove)
	30.	Constraint processing : selected papers / Manfred Meyer, eds. by Meyer, Manfred, 1963- Series: Lecture notes in computer science ; 923 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA76.612 . C68, ... Place hold Add to cart (remove)
	31.	Objective software quality : objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 28-30, 1995 : proceedings / Paolo Nesi, ed by Symposium on Software Quality Techniques and Acquisition Criteria (2nd : 1995 : Florence, Italy) Nesi, Paolo Series: Lecture notes in computer science ; 926 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA76.76 . Q35S95 1995, ... Place hold Add to cart (remove)
	32.	Artificial neural networks : an introduction to ANN theory and practice / P. J. Braspenning, F. Thuijsman, A. J. M. M. Weijters, eds. by Braspenning, P. J., (Petrus J.), 1949- Thuijsman F Weijters, A. J. M. M Series: Lecture notes in computer science ; 931 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.89 . A77. Place hold Add to cart (remove)
	33.	Advanced functional programming : first international spring school on advanced functional programming techniques Bastad, Sweden, May 1995, tutorial text / Johan Jeuring, Erik Meijer, eds. by International Spring School on Advanced Functional Programming Techniques (1st : 1995 : Bastad, Sweden) Jeuring, Johan, 1965- Meijer, Erik, 1963- Series: Lecture notes in computer science ; 925 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Material Disposal Room QA76.62 . I43 1995, ... Place hold Add to cart (remove)
	34.	Term rewriting : french spring school of theoretical computer science Font Romeux, France, May 1993, advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. by French Spring School of Theoretical Computer Science (1993 : Font-Romeu, France) Comon, Hubert Jouannaud, Jean-Pierre Series: Lecture notes in computer science ; 909 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA75.5 . F74 1993, ... Place hold Add to cart (remove)
	35.	Advances in cryptology - ASIACRYPT ' 94 : 4th International conference on the theory and applications of cryptology Wollongong, Australia, November 28-December 1, 1994, proceeding / Josef Pieprzyk, Reihanah Safavi-Naini, eds. by International Conference on the Theory and Applications of Cryptology (4th : 1994 : Wollongong, N. S. W.) Pieprzyk, Josef, 1949- Safavi-Naini, Reihanah Series: Lecture notes in computer science ; 917 Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, 1995 Availability: Not available: MAIN LIBRARY: Reserve Missing (2). Add to cart (remove)
	36.	Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hdhnle, Joachim Posegga, (eds.) by TABLEAUX '95 (1995 : Sankt Goar, Germany) Baumgartner, Peter Hahnle, Reiner Posegga, Joachim Series: Lecture notes in computer science ; 918 \| Lecture notes in computer science. Lecture notes in artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : New York : Springer, c1995 Other title: TABLEAUX '95: Theorem proving with analytic tableaux and related methods Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA76.9 . A96T33 1995, ... Place hold Add to cart (remove)
	37.	Advanced multimedia content processing : First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998 : proceedings / Shojiro, Nishio and Fumio Kishino, editors. by International Confernce on Advanced Multimedia Content Processing (1st : 1998 : Osaka, Japan) Nishio, Shojiro Kishino, Fumio, 1946- Series: Lecture notes in computer science ; 1554 Material type: Text; Format: print Publication details: Belin, NE : Springer, 1999 Availability: Not available: MAIN LIBRARY: In Cataloging (1). MAIN LIBRARY: Reserve Missing (1). Add to cart (remove)
	38.	Fundamental approaches to software engineering : second International Conference, FASE'99, held as part of the Joint Europaan Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / Jean-Pierre Finance, editor. by FASE'99 (1999 : Amsterdam, Netherlands) Finance, Jean Pierre ETAPS'99 (1999 : Amsterdam, Netherlands) Series: Lecture notes in computer science ; 1577 Material type: Text; Format: print Publication details: Germany : Springer, 1999 Availability: Not available: MAIN LIBRARY: Reserve Missing (1). Add to cart (remove)
	39.	Information hiding : Second International Workshop, IH '98 : Portland, Oregon, USA, April 14-17, 1998 : proceedings / David Aucsmith, editor. by IH '98 (1998 : Portland, Orlando) Aucsmith, David Series: Lecture notes in computer science ; 1525 Material type: Text; Format: print Publication details: Berlin, NE : Springer, 1998 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA76.9 . A25I48 1998, ... Place hold Add to cart (remove)
	40.	Progress in artificial intelligent : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings / Ernesto Costa, Amilcar Cardoso, editors. by Portuguese Conference on Artificial Intelligence (8th : 1997 : Coimbra, Portugal) Costa, Ernesto Cardodo, Amilcar Series: Lecture notes in computer science ; 1323 Material type: Text; Format: print Publication details: Berlin, NE : Springer, Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library Q334 . P67 1997. Place hold Add to cart (remove)