Search Results for Data processing - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dData$002bprocessing$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-18T22:28:18Z
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484525
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20787-8">https://doi.org/10.1007/978-3-030-20787-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399961
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00129-2">https://doi.org/10.1007/978-3-030-00129-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401195
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401495
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399721
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401521
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III
ent://SD_ILS/0/SD_ILS:401990
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334354
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334904
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332982.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196418
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197246
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Ong, Luke. 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-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197402
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Milano, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196338
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197592
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193781
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</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-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
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-12-18T22:28:18Z
2024-12-18T22:28:18Z
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, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
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-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
ent://SD_ILS/0/SD_ILS:194531
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
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-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
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-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195929
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
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/>
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193048
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192603
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192614
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192461
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Dawar, Anuj. 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-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190857
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190925
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189848
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00982-2">http://dx.doi.org/10.1007/978-3-642-00982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190323
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Berardi, Stefano. editor. Damiani, Ferruccio. editor. de’Liguoro, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02444-3">http://dx.doi.org/10.1007/978-3-642-02444-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190633
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:190663
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Bozapalidis, Symeon. 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-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191011
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191428
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190272
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Curien, Pierre-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190296
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Treinen, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190568
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190723
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Kurz, Alexander. editor. Lenisa, Marina. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03741-2">http://dx.doi.org/10.1007/978-3-642-03741-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190727
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191634
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
ent://SD_ILS/0/SD_ILS:175672
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Simon, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186001
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185352
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68103-8">http://dx.doi.org/10.1007/978-3-540-68103-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:185554
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages An Active Learning Approach
ent://SD_ILS/0/SD_ILS:167677
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Lee, Kent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188237
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188592
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189027
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189340
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186775
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73208-2">http://dx.doi.org/10.1007/978-3-540-73208-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186428
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186850
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186856
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Baader, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73449-9">http://dx.doi.org/10.1007/978-3-540-73449-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187411
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Bozapalidis, Symeon. 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-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186979
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186991
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187166
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74464-1">http://dx.doi.org/10.1007/978-3-540-74464-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182627
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11617990">http://dx.doi.org/10.1007/11617990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
ent://SD_ILS/0/SD_ILS:183707
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184249
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:184259
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184283
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184447
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Algebraic Graph Transformation
ent://SD_ILS/0/SD_ILS:182540
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183496
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183971
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183031
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183098
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Giesl, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183106
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182962
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183239
2024-12-18T22:28:18Z
2024-12-18T22:28:18Z
Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>