Refine your search

Your search returned 372 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
121.
Languages, design methods, and tools for electronic system design. Marie-Minerve Louërat; Torsten Maehne by
  • Louërat, Marie-Minerve
  • Maehne, Torsten
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york. : Springer, ©2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 LAN, ...

Place hold Add to cart
122.
Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev. by
  • Koutny, Maciej [editor.]
  • Aalst, Wil M. P. van der [editor.]
  • Yakovlev, Alex [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8100
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
123.
Pro Data Visualization using R and JavaScript [electronic resource] / by Tom Barker. by
  • Barker, Tom [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Online access:
Availability: No items available.

Add to cart
124.
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)
Series: Lecture Notes in Computer Science ; 8107
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
125.
Scala Design Patterns [electronic resource] : Patterns for Practical Reuse and Design / by John Hunt. by
  • Hunt, John [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
126.
Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by
  • Schirner, Gunar [editor.]
  • Götz, Marcelo [editor.]
  • Rettberg, Achim [editor.]
  • Zanella, Mauro C [editor.]
  • Rammig, Franz J [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 403
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
127.
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / Gregor Engels ... [et al.] (eds.). by
  • Lewerentz Claus
  • Scafer, Wilhelm
  • Schurr, Andy
  • Westfechtel, Bernhard
Series:
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Springer, 2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1028 GRA, ...

Place hold Add to cart
128.
Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings / edited by Selmin Nurcan, Henderik A. Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry Halpin, Ilia Bider. by
  • Nurcan, Selmin [editor.]
  • Proper, Henderik A [editor.]
  • Soffer, Pnina [editor.]
  • Krogstie, John [editor.]
  • Schmidt, Rainer [editor.]
  • Halpin, Terry [editor.]
  • Bider, Ilia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 147
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
129.
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by
  • Hinze, Ralf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8241
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
130.
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose. by
  • Gorp, Pieter Van [editor.]
  • Ritter, Tom [editor.]
  • Rose, Louis M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7949
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
131.
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings / edited by Hubert Baumeister, Barbara Weber. by
  • Baumeister, Hubert [editor.]
  • Weber, Barbara [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 149
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
132.
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8051
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
133.
Lean Enterprise Software and Systems [electronic resource] : 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings / edited by Brian Fitzgerald, Kieran Conboy, Ken Power, Ricardo Valerdi, Lorraine Morgan, Klaas-Jan Stol. by
  • Fitzgerald, Brian [editor.]
  • Conboy, Kieran [editor.]
  • Power, Ken [editor.]
  • Valerdi, Ricardo [editor.]
  • Morgan, Lorraine [editor.]
  • Stol, Klaas-Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 167
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
134.
Feature-Oriented Software Product Lines [electronic resource] : Concepts and Implementation / by Sven Apel, Don Batory, Christian Kästner, Gunter Saake. by
  • Apel, Sven [author.]
  • Batory, Don [author.]
  • Kästner, Christian [author.]
  • Saake, Gunter [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
135.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
  • Dastani, Mehdi [editor.]
  • Hübner, Jomi F [editor.]
  • Logan, Brian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
136.
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by
  • Duddy, Keith [editor.]
  • Kappel, Gerti [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7909
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
137.
Innovative Technologies for Dependable OTS-Based Critical Systems [electronic resource] : Challenges and Achievements of the CRITICAL STEP Project / edited by Domenico Cotroneo. by
  • Cotroneo, Domenico [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
138.
Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu. by
  • Basu, Samik [editor.]
  • Pautasso, Cesare [editor.]
  • Zhang, Liang [editor.]
  • Fu, Xiang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8274
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
139.
Ad-hoc, Mobile, and Wireless Network [electronic resource] : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings / edited by Jacek Cichoń, Maciej Gȩbala, Marek Klonowski. by
  • Cichoń, Jacek [editor.]
  • Gȩbala, Maciej [editor.]
  • Klonowski, Marek [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7960
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
140.
Middleware 2013 [electronic resource] : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings / edited by David Eyers, Karsten Schwan. by
  • Eyers, David [editor.]
  • Schwan, Karsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8275
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages