Loading…
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 /
Saved in:
| Corporate Authors: | , , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2006.
Berlin ; New York : [2006] |
| Series: | Lecture notes in computer science ;
3929. |
| Physical Description: |
1 online resource (viii, 262 pages) : illustrations. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Theory and applications of relational structures as knowledge instruments II : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (x, 371 pages) : illustrations.
eBook
Search Result 2
Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applic...
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (viii, 365 pages) : illustrations.
Conference Proceeding
eBook
Search Result 3
Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleen...
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (x, 396 pages) : illustrations.
Conference Proceeding
eBook
Search Result 4
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene A...
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (xi, 431 pages) : illustrations.
Conference Proceeding
eBook
Search Result 5
Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xiv, 323 pages) : illustrations.
Conference Proceeding
eBook
Search Result 6
Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 7
Relational and algebraic methods in computer science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (xvii, 499 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 8
Relational and algebraic methods in computer science : 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xviii, 293 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 9
Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (x, 395 pages) : illustrations.
Conference Proceeding
eBook
Search Result 10
Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xvi, 385 pages) : illustrations.
Conference Proceeding
eBook
Search Result 11
Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, Chin...
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (ix, 447 pages) : illustrations.
Conference Proceeding
eBook
Search Result 12
Computational methods for algebraic spline surfaces : ESF exploratory workshop
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (vi, 237 pages) : illustrations.
eBook
Search Result 13
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (xi, 455 pages) : illustrations.
Conference Proceeding
eBook
Search Result 14
The metaphysics of relations
Published: Oxford University Press, 2015
Oxford scholarship online - Click here for access
Description:
1 online resource.
eBook
Search Result 15
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (xi, 461 pages) : illustrations.
Conference Proceeding
eBook
Search Result 16
Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (xi, 456 pages) : illustrations.
Conference Proceeding
eBook
Search Result 17
Empowering novel geometric algebra for graphics and engineering : 7th International Workshop, ENGAGE 2022, Virtual event, September 12, 2022, Proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (x, 135 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 18
Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xiii, 419 pages) : illustrations.
Conference Proceeding
eBook
Search Result 19
International relations in a relational universe First edition.
Published: Oxford University Press, 2020
Oxford scholarship online - Click here for access
Description:
1 online resource : illustrations (black and white).
eBook
Search Result 20
Advances in combinatorial mathematics : proceedings of the Waterloo Workshop in Computer Algebra 2008
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (xi, 174 pages) : illustrations (some color)
Conference Proceeding
eBook
Search Result 21
Advances in algebra and analysis : International Conference on Advances in Mathematical Sciences, Vellore, India, December 2017. Volume I
Published: Birkhäuser, 2018
SpringerLink - Click here for access
Description:
1 online resource (xviii, 485 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 22
Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xiv, 359 pages) : illustrations.
Conference Proceeding
eBook
Search Result 23
Affine, vertex and W-algebras
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (ix, 218 pages) : illustrations.
Conference Proceeding
eBook
Search Result 24
Operator algebras, operator theory and applications : 18th International Workshop on Operator Theory and Applications, Potchefstroom, July 2007
Published: Birkhäuser, 2010
SpringerLink - Click here for access
Description:
1 online resource (xi, 294 pages).
Conference Proceeding
eBook
Search Result 25
Computer algebra and polynomials : applications of algebra and number theory
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (ix, 213 pages) : illustrations.
Conference Proceeding
eBook
Search Result 26
Advanced computational applications of geometric algebra : first International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
Published: Springer, 2024
SpringerLink - Click here for access
Description:
1 online resource (xxxix, 236 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 27
Cafe : an industrial-strength algebraic formal method 1st ed.
Published: Elsevier, 2000
Elsevier - Click here for access
Description:
1 online resource (xiv, 193 pages) : illustrations.
eBook
Search Result 28
Consequence relations: an introduction to the Lindenbaum-Tarski method
Published: Oxford University Press, 2022
Oxford Scholarship online - Click here for access
Description:
352 pages: illustrations(colour).
eBook
Search Result 29
Algebra and related topics with applications : ICARTA-2019, Aligarh, India, December 17-19
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (492 pages).
Electronic
Conference Proceeding
eBook
Search Result 30
Algebra, complex analysis, and pluripotential theory : 2 USUZCAMP, Urgench, Uzbekistan, August 8-12, 2017
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 31
Associative and non-associative algebras and applications : 3rd MAMAA, Chefchaouen, Morocco, April 12-14 2018
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (338 pages).
Conference Proceeding
eBook
Search Result 32
Non-associative and non-commutative algebra and operator theory : NANCAOT, Dakar, Senegal, May 23-25, 2014: Workshop in Honor of Professor Amin Kaidi
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (254 pages).
Conference Proceeding
eBook
Search Result 33
Advances in Algebra : SRAC 2017, Mobile, Alabama, USA, March 17-19
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 34
C*-algebras and elliptic theory II
Published: Birkhäuser, 2008
SpringerLink - Click here for access
Description:
1 online resource (ix, 309 pages) : illustrations.
eBook
Search Result 35
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (xxxviii, 642 pages) : illustrations.
eBook
Search Result 36
Software for algebraic geometry
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (ix, 172 pages) : illustrations.
eBook
Search Result 37
Computer algebra in scientific computing : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiv, 397 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 38
Combinatorial aspects of commutative algebra and algebraic geometry : the Abel Symposium 2009
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xiv, 174 pages).
Conference Proceeding
eBook
Search Result 39
Homological and combinatorial methods in algebra : SAA 4, Ardabil, Iran, August 2016
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (viii, 149 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 40
Applied mathematics and scientific computing : International Conference on Advances in Mathematical Sciences, Vellore, India, December 2017. Volume II
Published: Birkhäuser, 2019
SpringerLink - Click here for access
Description:
1 online resource (xvii, 632 pages) : illustrations (some color).
Conference Proceeding
eBook