Limit Search Results
Author
SpringerLink (Online service)
(275)
Vorozhtsov, Evgenii V. editor.
(11)
Mayr, Ernst W. editor.
(8)
Gerdt, Vladimir P. editor.
(7)
Koepf, Wolfram. editor.
(7)
Language
Publication Date
-
Subject
Algebra -- Data processing.
(188)
Computational complexity.
(114)
Computer software.
(77)
Artificial intelligence.
(68)
Logic design.
(68)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
275 Results Found Subscribe to search results
000000000000DEFAULT
Print
241. 
Cover image for Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
Author 
Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73074-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
Author 
Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
Author 
Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73843-5
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Modelling Distributed Systems
Modelling Distributed Systems
Author 
Fokkink, Wan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Continuous System Simulation
Continuous System Simulation
Author 
Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for M-Solid Varieties of Algebras
M-Solid Varieties of Algebras
Author 
Koppitz, J. author. Denecke, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for The Mathematica GuideBook for Symbolics
The Mathematica GuideBook for Symbolics
Author 
Trott, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28815-5
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Quantum Computation and Quantum Communication Theory and Experiments
Quantum Computation and Quantum Communication Theory and Experiments
Author 
Pavičić, Mladen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-28900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation
Author 
Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31188-2
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Author 
Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11671404
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
Author 
Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11779148
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action