|
|
12401.
|
Business Modeling and Software Design [electronic resource] : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers / edited by Boris Shishkov.
by Shishkov, Boris [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12402.
|
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann.
by Schrijvers, Tom [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12403.
|
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages [electronic resource] / by Brian Henderson-Sellers.
by Henderson-Sellers, Brian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12404.
|
Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers / edited by Marco Carbone, Jean-Marc Petit.
by Carbone, Marco [editor.] | Petit, Jean-Marc [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12405.
|
Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12406.
|
Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.
by Khurshid, Sarfraz [editor.] | Sen, Koushik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12407.
|
Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings / edited by Ken Peffers, Marcus Rothenberger, Bill Kuechler.
by Peffers, Ken [editor.] | Rothenberger, Marcus [editor.] | Kuechler, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12408.
|
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans.
by Domenach, Florent [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12409.
|
Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT´2012) - Volume 2 / edited by Junzo Watada, Toyohide Watanabe, Gloria Phillips-Wren, Robert J. Howlett, Lakhmi C. Jain.
by Watada, Junzo [editor.] | Watanabe, Toyohide [editor.] | Phillips-Wren, Gloria [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12410.
|
Intelligent Interactive Multimedia: Systems and Services [electronic resource] : Proceedings of the 5th International Conference on Intelligent Interactive Multimedia Systems and Services (IIMSS 2012) / edited by Toyohide Watanabe, Junzo Watada, Naohisa Takahashi, Robert J. Howlett, Lakhmi C. Jain.
by Watanabe, Toyohide [editor.] | Watada, Junzo [editor.] | Takahashi, Naohisa [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12411.
|
Enterprise Information Systems [electronic resource] : 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers / edited by Runtong Zhang, Juliang Zhang, Zhenji Zhang, Joaquim Filipe, José Cordeiro.
by Zhang, Runtong [editor.] | Zhang, Juliang [editor.] | Zhang, Zhenji [editor.] | Filipe, Joaquim [editor.] | Cordeiro, José [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12412.
|
Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT´2012) - Volume 1 / edited by Junzo Watada, Toyohide Watanabe, Gloria Phillips-Wren, Robert J. Howlett, Lakhmi C. Jain.
by Watada, Junzo [editor.] | Watanabe, Toyohide [editor.] | Phillips-Wren, Gloria [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12413.
|
Recent Advances in Algorithmic Differentiation [electronic resource] / edited by Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther.
by Forth, Shaun [editor.] | Hovland, Paul [editor.] | Phipps, Eric [editor.] | Utke, Jean [editor.] | Walther, Andrea [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12414.
|
NETWORKING 2012 Workshops [electronic resource] : International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings / edited by Zdenek Becvar, Robert Bestak, Lukas Kencl.
by Becvar, Zdenek [editor.] | Bestak, Robert [editor.] | Kencl, Lukas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12415.
|
Engineering Secure Two-Party Computation Protocols [electronic resource] : Design, Optimization, and Applications of Efficient Secure Function Evaluation / by Thomas Schneider.
by Schneider, Thomas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12416.
|
NETWORKING 2012 [electronic resource] : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I / edited by Robert Bestak, Lukas Kencl, Li Erran Li, Joerg Widmer, Hao Yin.
by Bestak, Robert [editor.] | Kencl, Lukas [editor.] | Li, Li Erran [editor.] | Widmer, Joerg [editor.] | Yin, Hao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12417.
|
NETWORKING 2012 [electronic resource] : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II / edited by Robert Bestak, Lukas Kencl, Li Erran Li, Joerg Widmer, Hao Yin.
by Bestak, Robert [editor.] | Kencl, Lukas [editor.] | Li, Li Erran [editor.] | Widmer, Joerg [editor.] | Yin, Hao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12418.
|
Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / edited by Roberto Bruni, Vladimiro Sassone.
by Bruni, Roberto [editor.] | Sassone, Vladimiro [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
12419.
|
Advances in Computer Science, Engineering & Applications [electronic resource] : Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2 / edited by David C. Wyld, Jan Zizka, Dhinaharan Nagamalai.
by Wyld, David C [editor.] | Zizka, Jan [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
12420.
|
Advances in Computer Science and Information Engineering [electronic resource] : Volume 1 / edited by David Jin, Sally Lin.
by Jin, David [editor.] | Lin, Sally [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
