Associative digital network theory an associative algebra approach to logic, arithmetic and state machines /

Associative digital network theory an associative algebra approach to logic, arithmetic and state machines /

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Benschop, Nico F. (Tekijä)
Aineistotyyppi:	E-kirja
Kieli:	English
Julkaistu:	Dordrecht Springer Netherlands 2009.
Aiheet:	Telecommunication Computer science Computational complexity Logic design Algebra Computer Communication Networks
Linkit:	Click here to view the full text content
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Julkaistu: (2005)

Logic, language, information and computation 17th international workshop, woLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
Julkaistu: (2010)

Logic, language, information and computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. proceedings /
Julkaistu: (2012)

Network analysis methodological foundations
Julkaistu: (2005)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Julkaistu: (2013)

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Julkaistu: (2010)

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Julkaistu: (2013)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Julkaistu: (2012)

Logic and the foundations of game and decision theory LOFT 8 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
Julkaistu: (2010)

Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers /
Julkaistu: (2013)

Developments in language theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
Julkaistu: (2012)

Mathematical theories of distributed sensor networks /
Tekijä: Iyengar, Sitharama S.
Julkaistu: (2014)

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 /
Julkaistu: (2010)

Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /
Julkaistu: (2009)

Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Julkaistu: (2010)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Julkaistu: (2012)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Julkaistu: (2012)

Modelling computing systems : mathematics for computer science /
Tekijä: Moller, Faron
Julkaistu: (2013)

Logic functions and equations examples and exercises /
Tekijä: Steinbach, Bernd
Julkaistu: (2009)

Sets, logic and maths for computing /
Tekijä: Makinson, David
Julkaistu: (2012)

Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /
Julkaistu: (2014)

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
Julkaistu: (2013)

Computing and combinatorics : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
Julkaistu: (2014)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Julkaistu: (2012)

Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Julkaistu: (2014)

Arithmetic of finite fields third international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings /
Julkaistu: (2010)

Arithmetic of finite fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings /
Julkaistu: (2012)

The pillars of computation theory State, encoding, nondeterminism /
Tekijä: Rosenberg, Arnold L.
Julkaistu: (2010)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Julkaistu: (2013)

Autonomic cooperative networking/
Tekijä: Wódczak, Michał
Julkaistu: (2012)

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Julkaistu: (2010)

Cylindric-like Algebras and Algebraic Logic
Julkaistu: (2013)

Cryptology and network security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings /
Julkaistu: (2010)

Complex-valued neural networks : theories and applications /
Julkaistu: (2003)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Julkaistu: (2010)

Nonblocking Electronic and Photonic Switching Fabrics
Tekijä: KabaciÅ"ski, Wojciech
Julkaistu: (2005)

CONCUR 2005 - concurrency theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Julkaistu: (2005)

Routing for wireless multi-hop networks /
Tekijä: Abdel Hamid, Sherin
Julkaistu: (2013)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Julkaistu: (2007)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Julkaistu: (2013)