|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings / edited by Jose L. Ayala, Braulio Garcia-Camara, Manuel Prieto, Martino Ruggiero, Gilles Sicard.
by Ayala, Jose L [editor.] | Garcia-Camara, Braulio [editor.] | Prieto, Manuel [editor.] | Ruggiero, Martino [editor.] | Sicard, Gilles [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.
by Harju, Tero [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Algebraic Biology [electronic resource] : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida.
by Horimoto, Katsuhisa [editor.] | Regensburger, Georg [editor.] | Rosenkranz, Markus [editor.] | Yoshida, Hiroshi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke.
by Moreira, Ana [editor.] | Schätz, Bernhard [editor.] | Gray, Jeff [editor.] | Vallecillo, Antonio [editor.] | Clarke, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Symbol Grounding and Beyond [electronic resource] : Third International Workshop on the Emergence and Evolution of Linguistic Communications, EELC 2006, Rome, Italy, September 30-October 1, 2006, Proceedings / edited by Paul Vogt, Yuuya Sugita, Elio Tuci, Chrystopher Nehaniv.
by Vogt, Paul [editor.] | Sugita, Yuuya [editor.] | Tuci, Elio [editor.] | Nehaniv, Chrystopher [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / edited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella.
by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny De Schreye.
by De Schreye, Danny [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / edited by Rupak Majumdar, Paulo Tabuada.
by Majumdar, Rupak [editor.] | Tabuada, Paulo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings / edited by María Alpuente, Byron Cook, Christophe Joubert.
by Alpuente, María [editor.] | Cook, Byron [editor.] | Joubert, Christophe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / edited by Miki Hermann, Andrei Voronkov.
by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings / edited by Brian Nielsen, Carsten Weise.
by Nielsen, Brian [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings / edited by Moses Charikar, Klaus Jansen, Omer Reingold, José D.P. Rolim.
by Charikar, Moses [editor.] | Jansen, Klaus [editor.] | Reingold, Omer [editor.] | Rolim, José D.P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Conceptual Modeling - ER 2008 [electronic resource] : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings / edited by Qing Li, Stefano Spaccapietra, Eric Yu, Antoni Olivé.
by Li, Qing [editor.] | Spaccapietra, Stefano [editor.] | Yu, Eric [editor.] | Olivé, Antoni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings / edited by Byron Cook, Andreas Podelski.
by Cook, Byron [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir.
by Aceto, Luca [editor.] | Ingólfsdóttir, Anna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / edited by Maria Serna.
by Serna, Maria [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings / edited by Tu Bao Ho, David Cheung, Huan Liu.
by Ho, Tu Bao [editor.] | Cheung, David [editor.] | Liu, Huan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Techniques for Networked and Distributed Systems - FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih.
by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Yasumoto, Keiichi [editor.] | El-Fakih, Khaled [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán.
by Hage, Jurriaan [editor.] | Morazán, Marco T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings / edited by Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi.
by Gollmann, Dieter [editor.] | Miyaji, Atsuko [editor.] | Kikuchi, Hiroaki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
