|
|
2781.
|
Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.
by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2782.
|
Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda.
by Ueda, Kazunori [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2783.
|
Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.
by Casimiro, Antonio [editor.] | Lemos, Rogério [editor.] | Gacek, Cristina [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2784.
|
Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel.
by Engels, Gregor [editor.] | Lewerentz, Claus [editor.] | Schäfer, Wilhelm [editor.] | Schürr, Andy [editor.] | Westfechtel, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2785.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov.
by Clarke, Edmund M [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2786.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Subhransu Sekhar Dash.
by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Dash, Subhransu Sekhar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2787.
|
Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Ślęzak.
by Kim, Tai-hoon [editor.] | Kim, Haeng-Kon [editor.] | Khan, Muhammad Khurram [editor.] | Kiumi, Akingbehin [editor.] | Fang, Wai-chi [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2788.
|
Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems / edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger.
by Papazoglou, Mike P [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2789.
|
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók.
by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2790.
|
Towards a Service-Based Internet [electronic resource] : Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings / edited by Elisabetta Nitto, Ramin Yahyapour.
by Nitto, Elisabetta [editor.] | Yahyapour, Ramin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2791.
|
A State Space Approach to Canonical Factorization with Applications [electronic resource] / by Harm Bart, Marinus A. Kaashoek, André C. M. Ran.
by Bart, Harm [author.] | Kaashoek, Marinus A [author.] | Ran, André C. M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2010Online access: Click here to access online Availability: No items available
|
|
|
2792.
|
Dynamically Reconfigurable Systems [electronic resource] : Architectures, Design Methods and Applications / edited by Marco Platzner, Jürgen Teich, Norbert Wehn.
by Platzner, Marco [editor.] | Teich, Jürgen [editor.] | Wehn, Norbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
2793.
|
Intelligent Automation and Computer Engineering [electronic resource] / edited by Xu Huang, Sio-Iong Ao, Oscar Castillo.
by Huang, Xu [editor.] | Ao, Sio-Iong [editor.] | Castillo, Oscar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
2794.
|
Quality-Driven SystemC Design [electronic resource] / by Daniel Große, Rolf Drechsler.
by Große, Daniel [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
2795.
|
Technological Developments in Education and Automation [electronic resource] / edited by Magued Iskander, Vikram Kapila, Mohammad A. Karim.
by Iskander, Magued [editor.] | Kapila, Vikram [editor.] | Karim, Mohammad A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
2796.
|
Innovations and Advances in Computer Sciences and Engineering [electronic resource] / edited by Tarek Sobh.
by Sobh, Tarek [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
2797.
|
Applied Time Series Analysis and Innovative Computing [electronic resource] / by Sio-Iong Ao.
by Ao, Sio-Iong [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
2798.
|
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione.
by Borrione, Dominique [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
2799.
|
Object-oriented design using Java / Dale Skrien.
by Skrien, Dale John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : McGraw-Hill Higher Education, c2009Online access: Table of contents only | Publisher description Availability: Items available for loan: [Call number: QA76.64 .S57 2009] (2).
|
|
|
2800.
|
The nonlinear workbook : chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden Markov models, Fuzzy logic with C++, Java and SymbolicC++ programs / Willi-Hans Steeb ; in collaboration with Yorick Hardy, Ruedi Stoop.
by Steeb, W.-H. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hackensack, NJ : World Scientific, c2005Availability: Items available for loan: [Call number: T57.8 .S74 2005] (1).
|
