Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
101 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
Author 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331853.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333675.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331002.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number 
ONLINE(331582.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332887.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330925.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331210.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332574.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332970.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332979.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332981.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334069.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334017.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(334041.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334626.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334630.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334634.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334771.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334774.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334778.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332107.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number 
ONLINE(334220.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334337.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334341.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334659.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334666.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334725.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334814.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334821.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334848.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334868.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334875.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334877.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334925.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334934.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334946.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334968.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334978.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number 
ONLINE(334979.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334985.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334987.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335030.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335031.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335034.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335040.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335644.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335196.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335202.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335941.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336496.1)
Format: 
Availability 
Online Library~1
Available:
Copies: