Results of search for 'su:{Computation by Abstract Devices.}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	1.	OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller. by Rendell, Alistair P [editor.] Chapman, Barbara M [editor.] Müller, Matthias S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8122 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by Jensen, Kurt [editor.] Aalst, Wil M. P. van der [editor.] Balbo, Gianfranco [editor.] Koutny, Maciej [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7480 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Multi-Agent-Based Simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers / edited by Francesca Giardini, Frédéric Amblard. by Giardini, Francesca [editor.] Amblard, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7838 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Model-Driven Dependability Assessment of Software Systems [electronic resource] / by Simona Bernardi, José Merseguer, Dorina Corina Petriu. by Bernardi, Simona [author.] Merseguer, José [author.] Petriu, Dorina Corina [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Time and Petri Nets [electronic resource] / by Louchka Popova-Zeugmann. by Popova-Zeugmann, Louchka [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Hybrid Metaheuristics [electronic resource] : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings / edited by María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels. by Blesa, María J [editor.] Blum, Christian [editor.] Festa, Paola [editor.] Roli, Andrea [editor.] Sampels, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7919 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Genetic Programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Şima Etaner-Uyar, Bin Hu. by Krawiec, Krzysztof [editor.] Moraglio, Alberto [editor.] Hu, Ting [editor.] Etaner-Uyar, A. Şima [editor.] Hu, Bin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7831 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by Bernardo, Marco [editor.] Vink, Erik de [editor.] Pierro, Alessandra Di [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7938 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini. by Vanneschi, Leonardo [editor.] Bush, William S [editor.] Giacobini, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7833 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Martin Middendorf, Christian Blum. by Middendorf, Martin [editor.] Blum, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7832 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Theory of Cryptography [electronic resource] : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / edited by Amit Sahai. by Sahai, Amit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7785 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings / edited by Davide Ciucci, Masahiro Inuiguchi, Yiyu Yao, Dominik Ślęzak, Guoyin Wang. by Ciucci, Davide [editor.] Inuiguchi, Masahiro [editor.] Yao, Yiyu [editor.] Ślęzak, Dominik [editor.] Wang, Guoyin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8170 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by Beyer, Dirk [editor.] Boreale, Michele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7892 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Adaptive and Natural Computing Algorithms [electronic resource] : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser. by Tomassini, Marco [editor.] Antonioni, Alberto [editor.] Daolio, Fabio [editor.] Buesser, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7824 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by Dueck, Gerhard W [editor.] Miller, D. Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7948 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Progress in Cryptology – AFRICACRYPT 2013 [electronic resource] : 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings / edited by Amr Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien. by Youssef, Amr [editor.] Nitaj, Abderrahmane [editor.] Hassanien, Aboul Ella [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7918 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by Béal, Marie-Pierre [editor.] Carton, Olivier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7907 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by Glück, Robert [editor.] Yokoyama, Tetsuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7581 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Transactions on Computational Collective Intelligence XI [electronic resource] / edited by Ngoc Thanh Nguyen. by Nguyen, Ngoc Thanh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8065 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil. by Csuhaj-Varjú, Erzsébet [editor.] Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7762 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Languages

Your search returned 84 results.