Results
|
1.
|
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by
- Soloveichik, David [editor.]
- Yurke, Bernard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8141
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
2.
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
- Gonthier, Georges [editor.]
- Norrish, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
3.
|
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
- Baldoni, Roberto [editor.]
- Nisse, Nicolas [editor.]
- Steen, Maarten van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
4.
|
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by
- Pfeiffer, Heather D [editor.]
- Ignatov, Dmitry I [editor.]
- Poelmans, Jonas [editor.]
- Gadiraju, Nagarjuna [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7735
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
5.
|
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by
- Emde Boas, Peter van [editor.]
- Groen, Frans C. A [editor.]
- Italiano, Giuseppe F [editor.]
- Nawrocki, Jerzy [editor.]
- Sack, Harald [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7741
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
6.
|
|
|
7.
|
Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / edited by Amotz Bar-Noy, Magnús M. Halldórsson. by
- Bar-Noy, Amotz [editor.]
- Halldórsson, Magnús M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7718
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8.
|
|
|
9.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann. by
- Gomes, Carla [editor.]
- Sellmann, Meinolf [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7874
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
10.
|
|
|
11.
|
Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by
- Bonifaci, Vincenzo [editor.]
- Demetrescu, Camil [editor.]
- Marchetti-Spaccamela, Alberto [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7933
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
12.
|
Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by
- Tan, Ying [editor.]
- Shi, Yuhui [editor.]
- Mo, Hongwei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7928
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
13.
|
Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by
- Tan, Ying [editor.]
- Shi, Yuhui [editor.]
- Mo, Hongwei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7929
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
14.
|
Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / edited by Ding-Zhu Du, Guochuan Zhang. by
- Du, Ding-Zhu [editor.]
- Zhang, Guochuan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7936
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
15.
|
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
- Guo, Chengan [editor.]
- Hou, Zeng-Guang [editor.]
- Zeng, Zhigang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7951
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
16.
|
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by
- Guo, Chengan [editor.]
- Hou, Zeng-Guang [editor.]
- Zeng, Zhigang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7952
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
17.
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
- Carette, Jacques [editor.]
- Aspinall, David [editor.]
- Lange, Christoph [editor.]
- Sojka, Petr [editor.]
- Windsteiger, Wolfgang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
18.
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
- Libkin, Leonid [editor.]
- Kohlenbach, Ulrich [editor.]
- Queiroz, Ruy de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
19.
|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by
- Morrill, Glyn [editor.]
- Nederhof, Mark-Jan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8036
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
20.
|
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco. by
- Nielsen, Frank [editor.]
- Barbaresco, Frédéric [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8085
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|