Search Results for Computer science. - Narrowed by: E-Book - English - Online Library - 2011 - Algebra -- Data processing.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026qf$003dSUBJECT$002509Subject$002509Algebra$002b--$002bData$002bprocessing.$002509Algebra$002b--$002bData$002bprocessing.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-06T11:25:59Z
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195189
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22944-2">http://dx.doi.org/10.1007/978-3-642-22944-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193212
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Tannier, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16181-0">http://dx.doi.org/10.1007/978-3-642-16181-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193907
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Brandes, Ulrik. editor. Cornelsen, Sabine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18469-7">http://dx.doi.org/10.1007/978-3-642-18469-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193932
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Katoh, Naoki. editor. Kumar, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19094-0">http://dx.doi.org/10.1007/978-3-642-19094-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194060
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
ent://SD_ILS/0/SD_ILS:194531
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194718
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Winkler, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195380
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23568-9">http://dx.doi.org/10.1007/978-3-642-23568-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193973
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19222-7">http://dx.doi.org/10.1007/978-3-642-19222-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194281
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Groote, Philippe. editor. Egg, Markus. editor. Kallmeyer, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20169-1">http://dx.doi.org/10.1007/978-3-642-20169-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194483
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Mariño, Julio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194785
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194848
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Kuchen, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
ent://SD_ILS/0/SD_ILS:195145
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195834
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25070-5">http://dx.doi.org/10.1007/978-3-642-25070-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:196070
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25873-2">http://dx.doi.org/10.1007/978-3-642-25873-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195819
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25011-8">http://dx.doi.org/10.1007/978-3-642-25011-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195929
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Geometric Algebra in Practice
ent://SD_ILS/0/SD_ILS:168602
2024-09-06T11:25:59Z
2024-09-06T11:25:59Z
Author Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-811-9">http://dx.doi.org/10.1007/978-0-85729-811-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>