|
|
|
The Design of Requirements Modelling Languages [electronic resource] : How to Make Formalisms for Problem Solving in Requirements Engineering / by Ivan Jureta.
by Jureta, Ivan [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by V�ictor Braberman, Laurent Fribourg.
by Braberman, V�ictor [editor.] | Fribourg, Laurent [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov.
by Abdulla, Parosh Aziz [editor.] | Potapov, Igor [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
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). Source: Springer eBooksMaterial 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
|
|
|
|
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou.
by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / edited by Veli M�akinen, Simon J. Puglisi, Leena Salmela.
by M�akinen, Veli [editor.] | Puglisi, Simon J [editor.] | Salmela, Leena [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa.
by Hasegawa, Masahito [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security [electronic resource] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt.
by Desmedt, Yvo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Symbolic Analysis for VLSI Systems [electronic resource] : Methods and Applications / by Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle.
by Shi, Guoyong [author.] | Tan, Sheldon X.-D [author.] | Tlelo Cuautle, Esteban [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / edited by Matthew Cook, Turlough Neary.
by Cook, Matthew [editor.] | Neary, Turlough [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / edited by Clarisse Dhaenens, Laetitia Jourdan, Marie-El�eonore Marmion.
by Dhaenens, Clarisse [editor.] | Jourdan, Laetitia [editor.] | Marmion, Marie-El�eonore [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII [electronic resource] / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
by Leucker, Martin [editor.] | Rueda, Camilo [editor.] | Valencia, Frank D [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang.
by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valpara�iso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barcel�o, Ruy de Queiroz.
by Kohlenbach, Ulrich [editor.] | Barcel�o, Pablo [editor.] | Queiroz, Ruy de [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Refinement in Z and Object-Z [electronic resource] : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten.
by Derrick, John [author.] | Boiten, Eerke A [author.] | SpringerLink (Online service). Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh - Volume 2 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini.
by Seising, Rudolf [editor.] | Trillas, Enric [editor.] | Moraga, Claudio [editor.] | Termini, Settimo [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / edited by Marcello M. Bonsangue.
by Bonsangue, Marcello M [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
A Polynomial Translation of Mobile Ambients into Safe Petri Nets [electronic resource] : Understanding a Calculus of Hierarchical Protection Domains / by Susanne G�obel.
by G�obel, Susanne [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
